Journals

2014

  • B. D. Smet, L. Lempereur, Z. Sharafi, Y. Guéhéneuc, G. Antoniol, and N. Habra, “Taupe: visualizing and analyzing eye-tracking data,” Sci. comput. program., vol. 79, pp. 260-278, 2014.
    [Bibtex]
    @article{journals/scp/SmetLSGAH14,
    author = {Beno\^{\i}t De Smet and
    Lorent Lempereur and
    Zohreh Sharafi and
    Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc and
    Giuliano Antoniol and
    Naji Habra},
    title = {Taupe: Visualizing and analyzing eye-tracking data},
    journal = {Sci. Comput. Program.},
    volume = {79},
    year = {2014},
    pages = {260-278},
    ee = {http://dx.doi.org/10.1016/j.scico.2012.01.004}
    }

2013

  • L. Barbour, F. Khomh, and Y. Zou, “An empirical study of faults in late propagation clone genealogies,” Journal of software: evolution and process, vol. 25, iss. 11, pp. 1139-1165, 2013.
    [Bibtex]
    @article{BarbourKZ13,
    author = {Liliane Barbour and
    Foutse Khomh and
    Ying Zou},
    title = {An empirical study of faults in late propagation clone genealogies},
    journal = {Journal of Software: Evolution and Process},
    volume = {25},
    number = {11},
    year = {2013},
    pages = {1139-1165},
    ee = {http://dx.doi.org/10.1002/smr.1597},
    }
  • Y. Kamei, E. Shihab, B. Adams, A. E. Hassan, A. Mockus, A. Sinha, and N. Ubayashi, “A large-scale empirical study of just-in-time quality assurance,” Ieee trans. software eng., vol. 39, iss. 6, pp. 757-773, 2013.
    [Bibtex]
    @article{journals/tse/KameiSAHMSU13,
    author = {Yasutaka Kamei and
    Emad Shihab and
    Bram Adams and
    Ahmed E. Hassan and
    Audris Mockus and
    Anand Sinha and
    Naoyasu Ubayashi},
    title = {A Large-Scale Empirical Study of Just-in-Time Quality Assurance},
    journal = {IEEE Trans. Software Eng.},
    volume = {39},
    number = {6},
    year = {2013},
    pages = {757-773},
    ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2012.70}
    }
  • B. Bérard, J. Mullins, and M. Sassolas, “Quantifying opacity,” Corr, vol. abs/1301.6799, 2013.
    [Bibtex]
    @article{journals/corr/abs-1301-6799,
    author = {B{\'e}atrice B{\'e}rard and
    John Mullins and
    Mathieu Sassolas},
    title = {Quantifying Opacity},
    journal = {CoRR},
    volume = {abs/1301.6799},
    year = {2013},
    ee = {http://arxiv.org/abs/1301.6799}
    }
  • N. Ali, Y. Guéhéneuc, and G. Antoniol, “Trustrace: mining software repositories to improve the accuracy of requirement traceability links,” Ieee trans. software eng., vol. 39, iss. 5, pp. 725-741, 2013.
    [Bibtex]
    @article{journals/tse/AliGA13,
    author = {Nasir Ali and
    Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc and
    Giuliano Antoniol},
    title = {Trustrace: Mining Software Repositories to Improve the Accuracy
    of Requirement Traceability Links},
    journal = {IEEE Trans. Software Eng.},
    volume = {39},
    number = {5},
    year = {2013},
    pages = {725-741},
    ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2012.71}
    }
  • H. Boucheneb and K. Barkaoui, “Reducing interleaving semantics redundancy in reachability analysis of time petri nets,” Acm trans. embedded comput. syst., vol. 12, iss. 1, p. 7, 2013.
    [Bibtex]
    @article{journals/tecs/BouchenebB13,
    author = {Hanifa Boucheneb and
    Kamel Barkaoui},
    title = {Reducing Interleaving Semantics Redundancy in Reachability
    Analysis of Time Petri Nets},
    journal = {ACM Trans. Embedded Comput. Syst.},
    volume = {12},
    number = {1},
    year = {2013},
    pages = {7},
    ee = {http://doi.acm.org/10.1145/2406336.2406343}
    }
  • L. Jean-Louis, M. Gagnon, and E. Charton, “El enfoque basado en conocimiento para la extracción automática de palabras clave,” Computación y sistemas, vol. 17, iss. 2, 2013.
    [Bibtex]
    @article{journals/cys/Jean-LouisGC13,
    author = {Ludovic Jean-Louis and
    Michel Gagnon and
    Eric Charton},
    title = {El enfoque basado en conocimiento para la extracci{\'o}n
    autom{\'a}tica de palabras clave},
    journal = {Computaci{\'o}n y Sistemas},
    volume = {17},
    number = {2},
    year = {2013},
    ee = {http://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/1523}
    }
  • S. Kpodjedo, F. Ricca, P. Galinier, G. Antoniol, and Y. Guéhéneuc, “Madmatch: many-to-many approximate diagram matching for design comparison,” Ieee trans. software eng., vol. 39, iss. 8, pp. 1090-1111, 2013.
    [Bibtex]
    @article{journals/tse/KpodjedoRGAG13,
    author = {Segla Kpodjedo and
    Filippo Ricca and
    Philippe Galinier and
    Giuliano Antoniol and
    Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc},
    title = {MADMatch: Many-to-Many Approximate Diagram Matching for
    Design Comparison},
    journal = {IEEE Trans. Software Eng.},
    volume = {39},
    number = {8},
    year = {2013},
    pages = {1090-1111},
    ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2013.9}
    }
  • L. Guerrouj, M. D. Penta, G. Antoniol, and Y. Guéhéneuc, “Tidier: an identifier splitting approach using speech recognition techniques,” Journal of software: evolution and process, vol. 25, iss. 6, pp. 575-599, 2013.
    [Bibtex]
    @article{journals/smr/GuerroujPAG13,
    author = {Latifa Guerrouj and
    Massimiliano Di Penta and
    Giuliano Antoniol and
    Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc},
    title = {TIDIER: an identifier splitting approach using speech recognition
    techniques},
    journal = {Journal of Software: Evolution and Process},
    volume = {25},
    number = {6},
    year = {2013},
    pages = {575-599},
    ee = {http://dx.doi.org/10.1002/smr.539}
    }
  • E. Shihab, A. Ihara, Y. Kamei, W. M. Ibrahim, M. Ohira, B. Adams, A. E. Hassan, and K. Matsumoto, “Studying re-opened bugs in open source software,” Empirical software engineering, vol. 18, iss. 5, pp. 1005-1042, 2013.
    [Bibtex]
    @article{journals/ese/ShihabIKIOAHM13,
    author = {Emad Shihab and
    Akinori Ihara and
    Yasutaka Kamei and
    Walid M. Ibrahim and
    Masao Ohira and
    Bram Adams and
    Ahmed E. Hassan and
    Ken-ichi Matsumoto},
    title = {Studying re-opened bugs in open source software},
    journal = {Empirical Software Engineering},
    volume = {18},
    number = {5},
    year = {2013},
    pages = {1005-1042},
    ee = {http://dx.doi.org/10.1007/s10664-012-9228-6}
    }
  • F. Abouzaid, M. Mazzara, J. Mullins, and N. Qamar, “Towards a formal analysis of dynamic reconfiguration in ws-bpel,” Intelligent decision technologies, vol. 7, iss. 3, pp. 213-224, 2013.
    [Bibtex]
    @article{journals/idt/AbouzaidMMQ13,
    author = {Faisal Abouzaid and
    Manuel Mazzara and
    John Mullins and
    Nafees Qamar},
    title = {Towards a formal analysis of dynamic reconfiguration in
    WS-BPEL},
    journal = {Intelligent Decision Technologies},
    volume = {7},
    number = {3},
    year = {2013},
    pages = {213-224},
    ee = {http://dx.doi.org/10.3233/IDT-130164}
    }
  • G. Antoniol and K. B. Gallagher, “Preface to the special issue on program comprehension,” Empirical software engineering, vol. 18, iss. 2, pp. 177-180, 2013.
    [Bibtex]
    @article{journals/ese/AntoniolG13,
    author = {Giuliano Antoniol and
    Keith B. Gallagher},
    title = {Preface to the special issue on program comprehension},
    journal = {Empirical Software Engineering},
    volume = {18},
    number = {2},
    year = {2013},
    pages = {177-180},
    ee = {http://dx.doi.org/10.1007/s10664-012-9212-1}
    }
  • S. Kpodjedo, F. Ricca, P. Galinier, G. Antoniol, and Y. Guéhéneuc, “Studying software evolution of large object-oriented software systems using an etgm algorithm,” Journal of software: evolution and process, vol. 25, iss. 2, pp. 139-163, 2013.
    [Bibtex]
    @article{journals/smr/KpodjedoRGAG13,
    author = {Segla Kpodjedo and
    Filippo Ricca and
    Philippe Galinier and
    Giuliano Antoniol and
    Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc},
    title = {Studying software evolution of large object-oriented software
    systems using an ETGM algorithm},
    journal = {Journal of Software: Evolution and Process},
    volume = {25},
    number = {2},
    year = {2013},
    pages = {139-163},
    ee = {http://dx.doi.org/10.1002/smr.519}
    }
  • E. Shihab, Y. Kamei, B. Adams, and A. E. Hassan, “Is lines of code a good measure of effort in effort-aware models?,” Information & software technology, vol. 55, iss. 11, pp. 1981-1993, 2013.
    [Bibtex]
    @article{journals/infsof/ShihabKAH13,
    author = {Emad Shihab and
    Yasutaka Kamei and
    Bram Adams and
    Ahmed E. Hassan},
    title = {Is lines of code a good measure of effort in effort-aware
    models?},
    journal = {Information {\&} Software Technology},
    volume = {55},
    number = {11},
    year = {2013},
    pages = {1981-1993},
    ee = {http://dx.doi.org/10.1016/j.infsof.2013.06.002}
    }
  • M. Pinzger and G. Antoniol, “Guest editorial: reverse engineering,” Empirical software engineering, vol. 18, iss. 5, pp. 857-858, 2013.
    [Bibtex]
    @article{journals/ese/PinzgerA13,
    author = {Martin Pinzger and
    Giuliano Antoniol},
    title = {Guest editorial: reverse engineering},
    journal = {Empirical Software Engineering},
    volume = {18},
    number = {5},
    year = {2013},
    pages = {857-858},
    ee = {http://dx.doi.org/10.1007/s10664-012-9237-5}
    }

2012

  • [DOI] S. Kpodjedo, P. Galinier, and G. Antoniol, “Using local similarity measures to efficiently address approximate graph matching,” Discrete applied mathematics, p. -, 2012.
    [Bibtex]
    @article{Kpodjedo2012,
    title = "Using local similarity measures to efficiently address approximate graph matching ",
    journal = "Discrete Applied Mathematics ",
    volume = "",
    number = "0",
    pages = " - ",
    year = "2012",
    note = "",
    issn = "0166-218X",
    doi = "http://dx.doi.org/10.1016/j.dam.2012.01.019",
    url = "http://www.sciencedirect.com/science/article/pii/S0166218X12000273",
    author = "Segla Kpodjedo and Philippe Galinier and Giulio Antoniol",
    keywords = "Approximate graph matching",
    keywords = "Local similarity measure",
    keywords = "Local search "
    }
  • W. Shang, B. Adams, and A. E. Hassan, “Using pig as a data preparation language for large-scale mining software repositories studies: an experience report,” Journal of systems and software, vol. 85, iss. 10, pp. 2195-2204, 2012.
    [Bibtex]
    @article{journals/jss/ShangAH12,
    author = {Weiyi Shang and
    Bram Adams and
    Ahmed E. Hassan},
    title = {Using Pig as a data preparation language for large-scale
    mining software repositories studies: An experience report},
    journal = {Journal of Systems and Software},
    volume = {85},
    number = {10},
    year = {2012},
    pages = {2195-2204},
    ee = {http://dx.doi.org/10.1016/j.jss.2011.07.034}
    }
  • M. C. Desmarais and R. S. J. de Baker, “A review of recent advances in learner and skill modeling in intelligent learning environments,” User model. user-adapt. interact., vol. 22, iss. 1-2, pp. 9-38, 2012.
    [Bibtex]
    @article{journals/umuai/DesmaraisB12,
    author = {Michel C. Desmarais and
    Ryan Shaun Joazeiro de Baker},
    title = {A review of recent advances in learner and skill modeling
    in intelligent learning environments},
    journal = {User Model. User-Adapt. Interact.},
    volume = {22},
    number = {1-2},
    year = {2012},
    pages = {9-38},
    ee = {http://dx.doi.org/10.1007/s11257-011-9106-8}
    }
  • A. Zaidman and G. Antoniol, “Preface to the special issue on reverse engineering (featuring selected papers from wcre 2009),” Sci. comput. program., vol. 77, iss. 6, pp. 741-742, 2012.
    [Bibtex]
    @article{journals/scp/ZaidmanA12,
    author = {Andy Zaidman and
    Giuliano Antoniol},
    title = {Preface to the special issue on reverse engineering (featuring
    selected papers from WCRE 2009)},
    journal = {Sci. Comput. Program.},
    volume = {77},
    number = {6},
    year = {2012},
    pages = {741-742},
    ee = {http://dx.doi.org/10.1016/j.scico.2011.01.008}
    }
  • G. Benattar, B. Bérard, D. Lime, J. Mullins, O. H. Roux, and M. Sassolas, “Channel synthesis for finite transducers,” Int. j. found. comput. sci., vol. 23, iss. 6, pp. 1241-1260, 2012.
    [Bibtex]
    @article{journals/ijfcs/BenattarBLMRS12,
    author = {Gilles Benattar and
    B{\'e}atrice B{\'e}rard and
    Didier Lime and
    John Mullins and
    Olivier H. Roux and
    Mathieu Sassolas},
    title = {Channel Synthesis for Finite Transducers},
    journal = {Int. J. Found. Comput. Sci.},
    volume = {23},
    number = {6},
    year = {2012},
    pages = {1241-1260},
    ee = {http://dx.doi.org/10.1142/S0129054112400503}
    }
  • O. Alam, B. Adams, and A. E. Hassan, “Preserving knowledge in software projects,” Journal of systems and software, vol. 85, iss. 10, pp. 2318-2330, 2012.
    [Bibtex]
    @article{journals/jss/AlamAH12,
    author = {Omar Alam and
    Bram Adams and
    Ahmed E. Hassan},
    title = {Preserving knowledge in software projects},
    journal = {Journal of Systems and Software},
    volume = {85},
    number = {10},
    year = {2012},
    pages = {2318-2330},
    ee = {http://dx.doi.org/10.1016/j.jss.2012.03.028}
    }
  • N. Bettenburg, W. Shang, W. M. Ibrahim, B. Adams, Y. Zou, and A. E. Hassan, “An empirical study on inconsistent changes to code clones at the release level,” Sci. comput. program., vol. 77, iss. 6, pp. 760-776, 2012.
    [Bibtex]
    @article{journals/scp/BettenburgSIAZH12,
    author = {Nicolas Bettenburg and
    Weiyi Shang and
    Walid M. Ibrahim and
    Bram Adams and
    Ying Zou and
    Ahmed E. Hassan},
    title = {An empirical study on inconsistent changes to code clones
    at the release level},
    journal = {Sci. Comput. Program.},
    volume = {77},
    number = {6},
    year = {2012},
    pages = {760-776},
    ee = {http://dx.doi.org/10.1016/j.scico.2010.11.010}
    }
  • W. M. Ibrahim, N. Bettenburg, B. Adams, and A. E. Hassan, “On the relationship between comment update practices and software bugs,” Journal of systems and software, vol. 85, iss. 10, pp. 2293-2304, 2012.
    [Bibtex]
    @article{journals/jss/IbrahimBAH12,
    author = {Walid M. Ibrahim and
    Nicolas Bettenburg and
    Bram Adams and
    Ahmed E. Hassan},
    title = {On the relationship between comment update practices and
    Software Bugs},
    journal = {Journal of Systems and Software},
    volume = {85},
    number = {10},
    year = {2012},
    pages = {2293-2304},
    ee = {http://dx.doi.org/10.1016/j.jss.2011.09.019}
    }
  • S. McIntosh, B. Adams, and A. E. Hassan, “The evolution of java build systems,” Empirical software engineering, vol. 17, iss. 4-5, pp. 578-608, 2012.
    [Bibtex]
    @article{journals/ese/McIntoshAH12,
    author = {Shane McIntosh and
    Bram Adams and
    Ahmed E. Hassan},
    title = {The evolution of Java build systems},
    journal = {Empirical Software Engineering},
    volume = {17},
    number = {4-5},
    year = {2012},
    pages = {578-608},
    ee = {http://dx.doi.org/10.1007/s10664-011-9169-5}
    }
  • F. Khomh, M. D. Penta, Y. Guéhéneuc, and G. Antoniol, “An exploratory study of the impact of antipatterns on class change- and fault-proneness,” Empirical software engineering, vol. 17, iss. 3, pp. 243-275, 2012.
    [Bibtex]
    @article{journals/ese/KhomhPGA12,
    author = {Foutse Khomh and
    Massimiliano Di Penta and
    Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc and
    Giuliano Antoniol},
    title = {An exploratory study of the impact of antipatterns on class
    change- and fault-proneness},
    journal = {Empirical Software Engineering},
    volume = {17},
    number = {3},
    year = {2012},
    pages = {243-275},
    ee = {http://dx.doi.org/10.1007/s10664-011-9171-y}
    }

2011

  • S. Bouktif, F. Ahmed, I. Khalil, and G. Antoniol, “Corrigendum to "a novel composite model approach to improve software quality prediction" [information and software technology 52 (12) (2010) 1298-1311],” Information & software technology, vol. 53, iss. 3, p. 291, 2011.
    [Bibtex]
    @article{journals/infsof/BouktifAKA11,
    author = {Salah Bouktif and
    Faheem Ahmed and
    Issa Khalil and
    Giuliano Antoniol},
    title = {Corrigendum to "A novel composite model approach to improve
    software quality prediction" [Information and Software Technology
    52 (12) (2010) 1298-1311]},
    journal = {Information {\&} Software Technology},
    volume = {53},
    number = {3},
    year = {2011},
    pages = {291},
    ee = {http://dx.doi.org/10.1016/j.infsof.2010.12.004}
    }
  • M. D. Penta, M. Harman, and G. Antoniol, “The use of search-based optimization techniques to schedule and staff software projects: an approach and an empirical study,” Softw., pract. exper., vol. 41, iss. 5, pp. 495-519, 2011.
    [Bibtex]
    @article{journals/spe/PentaHA11,
    author = {Massimiliano Di Penta and
    Mark Harman and
    Giuliano Antoniol},
    title = {The use of search-based optimization techniques to schedule
    and staff software projects: an approach and an empirical
    study},
    journal = {Softw., Pract. Exper.},
    volume = {41},
    number = {5},
    year = {2011},
    pages = {495-519},
    ee = {http://dx.doi.org/10.1002/spe.1001}
    }
  • F. Khomh, S. Vaucher, Y. Guéhéneuc, and H. A. Sahraoui, “Bdtex: a gqm-based bayesian approach for the detection of antipatterns,” Journal of systems and software, vol. 84, iss. 4, pp. 559-572, 2011.
    [Bibtex]
    @article{journals/jss/KhomhVGS11,
    author = {Foutse Khomh and
    St{\'e}phane Vaucher and
    Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc and
    Houari A. Sahraoui},
    title = {BDTEX: A GQM-based Bayesian approach for the detection of
    antipatterns},
    journal = {Journal of Systems and Software},
    volume = {84},
    number = {4},
    year = {2011},
    pages = {559-572},
    ee = {http://dx.doi.org/10.1016/j.jss.2010.11.921}
    }
  • S. Kpodjedo, F. Ricca, P. Galinier, Y. Guéhéneuc, and G. Antoniol, “Design evolution metrics for defect prediction in object oriented systems,” Empirical software engineering, vol. 16, iss. 1, pp. 141-175, 2011.
    [Bibtex]
    @article{journals/ese/KpodjedoRGGA11,
    author = {Segla Kpodjedo and
    Filippo Ricca and
    Philippe Galinier and
    Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc and
    Giuliano Antoniol},
    title = {Design evolution metrics for defect prediction in object
    oriented systems},
    journal = {Empirical Software Engineering},
    volume = {16},
    number = {1},
    year = {2011},
    pages = {141-175},
    ee = {http://dx.doi.org/10.1007/s10664-010-9151-7}
    }
  • R. Hadjidj and H. Boucheneb, “Efficient reachability analysis for time petri nets,” Ieee trans. computers, vol. 60, iss. 8, pp. 1085-1099, 2011.
    [Bibtex]
    @article{journals/tc/HadjidjB11,
    author = {Rachid Hadjidj and
    Hanifa Boucheneb},
    title = {Efficient Reachability Analysis for Time Petri Nets},
    journal = {IEEE Trans. Computers},
    volume = {60},
    number = {8},
    year = {2011},
    pages = {1085-1099},
    ee = {http://doi.ieeecomputersociety.org/10.1109/TC.2010.195}
    }
  • E. Shihab, Z. M. Jiang, B. Adams, A. E. Hassan, and R. Bowerman, “Prioritizing the creation of unit tests in legacy software systems,” Softw., pract. exper., vol. 41, iss. 10, pp. 1027-1048, 2011.
    [Bibtex]
    @article{journals/spe/ShihabJAHB11,
    author = {Emad Shihab and
    Zhen Ming Jiang and
    Bram Adams and
    Ahmed E. Hassan and
    Robert Bowerman},
    title = {Prioritizing the creation of unit tests in legacy software
    systems},
    journal = {Softw., Pract. Exper.},
    volume = {41},
    number = {10},
    year = {2011},
    pages = {1027-1048},
    ee = {http://dx.doi.org/10.1002/spe.1053}
    }
  • H. Boucheneb and K. Barkaoui, “Relevant timed schedules/clock vectors for constructing time petri net reachability graphs,” Discrete event dynamic systems, vol. 21, iss. 2, pp. 171-204, 2011.
    [Bibtex]
    @article{journals/deds/BouchenebB11,
    author = {Hanifa Boucheneb and
    Kamel Barkaoui},
    title = {Relevant Timed Schedules/Clock Vectors for Constructing
    Time Petri Net Reachability Graphs},
    journal = {Discrete Event Dynamic Systems},
    volume = {21},
    number = {2},
    year = {2011},
    pages = {171-204},
    ee = {http://dx.doi.org/10.1007/s10626-011-0100-4}
    }
  • M. C. Desmarais, “Mapping question items to skills with non-negative matrix factorization,” Sigkdd explorations, vol. 13, iss. 2, pp. 30-36, 2011.
    [Bibtex]
    @article{journals/sigkdd/Desmarais11,
    author = {Michel C. Desmarais},
    title = {Mapping question items to skills with non-negative matrix
    factorization},
    journal = {SIGKDD Explorations},
    volume = {13},
    number = {2},
    year = {2011},
    pages = {30-36},
    ee = {http://doi.acm.org/10.1145/2207243.2207248}
    }

2010

  • O. Kaczor, Y. Guéhéneuc, and S. Hamel, “Identification of design motifs with pattern matching algorithms,” Information & software technology, vol. 52, iss. 2, pp. 152-168, 2010.
    [Bibtex]
    @article{journals/infsof/KaczorGH10,
    author = {Olivier Kaczor and
    Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc and
    Sylvie Hamel},
    title = {Identification of design motifs with pattern matching algorithms},
    journal = {Information {\&} Software Technology},
    volume = {52},
    number = {2},
    year = {2010},
    pages = {152-168},
    ee = {http://dx.doi.org/10.1016/j.infsof.2009.08.006}
    }
  • S. Hamadou and J. Mullins, “Calibrating the power of schedulers for probabilistic polynomial-time calculus,” Journal of computer security, vol. 18, iss. 2, pp. 265-316, 2010.
    [Bibtex]
    @article{journals/jcs/HamadouM10,
    author = {Sardaouna Hamadou and
    John Mullins},
    title = {Calibrating the power of schedulers for probabilistic polynomial-time
    calculus},
    journal = {Journal of Computer Security},
    volume = {18},
    number = {2},
    year = {2010},
    pages = {265-316},
    ee = {http://dx.doi.org/10.3233/JCS-2010-0362}
    }
  • J. K. Ng, Y. Guéhéneuc, and G. Antoniol, “Identification of behavioural and creational design motifs through dynamic analysis,” Journal of software maintenance, vol. 22, iss. 8, pp. 597-627, 2010.
    [Bibtex]
    @article{journals/smr/NgGA10,
    author = {Janice Ka-Yee Ng and
    Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc and
    Giuliano Antoniol},
    title = {Identification of behavioural and creational design motifs
    through dynamic analysis},
    journal = {Journal of Software Maintenance},
    volume = {22},
    number = {8},
    year = {2010},
    pages = {597-627},
    ee = {http://dx.doi.org/10.1002/smr.421}
    }
  • Y. Guéhéneuc, J. Guyomarc’h, and H. A. Sahraoui, “Improving design-pattern identification: a new approach and an exploratory study,” Software quality journal, vol. 18, iss. 1, pp. 145-174, 2010.
    [Bibtex]
    @article{journals/sqj/GueheneucGS10,
    author = {Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc and
    Jean-Yves Guyomarc'h and
    Houari A. Sahraoui},
    title = {Improving design-pattern identification: a new approach
    and an exploratory study},
    journal = {Software Quality Journal},
    volume = {18},
    number = {1},
    year = {2010},
    pages = {145-174},
    ee = {http://dx.doi.org/10.1007/s11219-009-9082-y}
    }
  • N. Moha, Y. Guéhéneuc, L. Duchien, and A. L. Meur, “Decor: a method for the specification and detection of code and design smells,” Ieee trans. software eng., vol. 36, iss. 1, pp. 20-36, 2010.
    [Bibtex]
    @article{journals/tse/MohaGDM10,
    author = {Naouel Moha and
    Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc and
    Laurence Duchien and
    Anne-Fran\c{c}oise Le Meur},
    title = {DECOR: A Method for the Specification and Detection of Code
    and Design Smells},
    journal = {IEEE Trans. Software Eng.},
    volume = {36},
    number = {1},
    year = {2010},
    pages = {20-36},
    ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2009.50}
    }
  • S. Bouktif, F. Ahmed, I. Khalil, and G. Antoniol, “A novel composite model approach to improve software quality prediction,” Information & software technology, vol. 52, iss. 12, pp. 1298-1311, 2010.
    [Bibtex]
    @article{journals/infsof/BouktifAKA10,
    author = {Salah Bouktif and
    Faheem Ahmed and
    Issa Khalil and
    Giuliano Antoniol},
    title = {A novel composite model approach to improve software quality
    prediction},
    journal = {Information {\&} Software Technology},
    volume = {52},
    number = {12},
    year = {2010},
    pages = {1298-1311},
    ee = {http://dx.doi.org/10.1016/j.infsof.2010.07.003}
    }
  • G. C. Porras and Y. Guéhéneuc, “An empirical study on the efficiency of different design pattern representations in uml class diagrams,” Empirical software engineering, vol. 15, iss. 5, pp. 493-522, 2010.
    [Bibtex]
    @article{journals/ese/PorrasG10,
    author = {Gerardo Cepeda Porras and
    Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc},
    title = {An empirical study on the efficiency of different design
    pattern representations in UML class diagrams},
    journal = {Empirical Software Engineering},
    volume = {15},
    number = {5},
    year = {2010},
    pages = {493-522},
    ee = {http://dx.doi.org/10.1007/s10664-009-9125-9}
    }
  • S. Kpodjedo, P. Galinier, and G. Antoniol, “On the use of similarity metrics for approximate graph matching,” Electronic notes in discrete mathematics, vol. 36, pp. 687-694, 2010.
    [Bibtex]
    @article{journals/endm/KpodjedoGA10,
    author = {Segla Kpodjedo and
    Philippe Galinier and
    Giuliano Antoniol},
    title = {On the use of similarity metrics for approximate graph matching},
    journal = {Electronic Notes in Discrete Mathematics},
    volume = {36},
    year = {2010},
    pages = {687-694},
    ee = {http://dx.doi.org/10.1016/j.endm.2010.05.087}
    }
  • N. Moha, Y. Guéhéneuc, A. L. Meur, L. Duchien, and A. Tiberghien, “From a domain analysis to the specification and detection of code and design smells,” Formal asp. comput., vol. 22, iss. 3-4, pp. 345-361, 2010.
    [Bibtex]
    @article{journals/fac/MohaGMDT10,
    author = {Naouel Moha and
    Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc and
    Anne-Fran\c{c}oise Le Meur and
    Laurence Duchien and
    Alban Tiberghien},
    title = {From a domain analysis to the specification and detection
    of code and design smells},
    journal = {Formal Asp. Comput.},
    volume = {22},
    number = {3-4},
    year = {2010},
    pages = {345-361},
    ee = {http://dx.doi.org/10.1007/s00165-009-0115-x}
    }
  • T. Mens, Y. Guéhéneuc, J. Fernández-Ramil, and M. D’Hondt, “Guest editors’ introduction: software evolution,” Ieee software, vol. 27, iss. 4, pp. 22-25, 2010.
    [Bibtex]
    @article{journals/software/MensGFD10,
    author = {Tom Mens and
    Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc and
    Juan Fern{\'a}ndez-Ramil and
    Maja D'Hondt},
    title = {Guest Editors' Introduction: Software Evolution},
    journal = {IEEE Software},
    volume = {27},
    number = {4},
    year = {2010},
    pages = {22-25},
    ee = {http://doi.ieeecomputersociety.org/10.1109/MS.2010.100}
    }
  • F. Abouzaid and J. Mullins, “Formal specification of correlation in ws orchestrations using bp-calculus,” Electr. notes theor. comput. sci., vol. 260, pp. 3-24, 2010.
    [Bibtex]
    @article{journals/entcs/AbouzaidM10,
    author = {Faisal Abouzaid and
    John Mullins},
    title = {Formal Specification of Correlation in WS Orchestrations
    Using BP-calculus},
    journal = {Electr. Notes Theor. Comput. Sci.},
    volume = {260},
    year = {2010},
    pages = {3-24},
    ee = {http://dx.doi.org/10.1016/j.entcs.2009.12.029}
    }
  • G. Beltrame, L. Fossati, and D. Sciuto, “Decision-theoretic design space exploration of multiprocessor platforms,” Ieee trans. on cad of integrated circuits and systems, vol. 29, iss. 7, pp. 1083-1095, 2010.
    [Bibtex]
    @article{journals/tcad/BeltrameFS10,
    author = {Giovanni Beltrame and
    Luca Fossati and
    Donatella Sciuto},
    title = {Decision-Theoretic Design Space Exploration of Multiprocessor
    Platforms},
    journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
    volume = {29},
    number = {7},
    year = {2010},
    pages = {1083-1095},
    ee = {http://dx.doi.org/10.1109/TCAD.2010.2049053}
    }
  • H. A. Sahraoui, L. C. Briand, Y. Guéhéneuc, and O. Beaurepaire, “Investigating the impact of a measurement program on software quality,” Information & software technology, vol. 52, iss. 9, pp. 923-933, 2010.
    [Bibtex]
    @article{journals/infsof/SahraouiBGB10,
    author = {Houari A. Sahraoui and
    Lionel C. Briand and
    Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc and
    Olivier Beaurepaire},
    title = {Investigating the impact of a measurement program on software
    quality},
    journal = {Information {\&} Software Technology},
    volume = {52},
    number = {9},
    year = {2010},
    pages = {923-933},
    ee = {http://dx.doi.org/10.1016/j.infsof.2010.03.013}
    }

2009

  • H. Boucheneb, G. Gardey, and O. H. Roux, “Tctl model checking of time petri nets,” J. log. comput., vol. 19, iss. 6, pp. 1509-1540, 2009.
    [Bibtex]
    @article{journals/logcom/BouchenebGR09,
    author = {Hanifa Boucheneb and
    Guillaume Gardey and
    Olivier H. Roux},
    title = {TCTL Model Checking of Time Petri Nets},
    journal = {J. Log. Comput.},
    volume = {19},
    number = {6},
    year = {2009},
    pages = {1509-1540},
    ee = {http://dx.doi.org/10.1093/logcom/exp036}
    }
  • M. Haupt, C. Gibbs, B. Adams, S. Timbermont, Y. Coady, and R. Hirschfeld, “Disentangling virtual machine architecture,” Iet software, vol. 3, iss. 3, pp. 201-218, 2009.
    [Bibtex]
    @article{journals/iee/HauptGATCH09,
    author = {Michael Haupt and
    Celina Gibbs and
    Bram Adams and
    Stijn Timbermont and
    Yvonne Coady and
    Robert Hirschfeld},
    title = {Disentangling virtual machine architecture},
    journal = {IET Software},
    volume = {3},
    number = {3},
    year = {2009},
    pages = {201-218},
    ee = {http://dx.doi.org/10.1049/iet-sen.2007.0121}
    }
  • G. Beltrame, L. Fossati, and D. Sciuto, “Resp: a nonintrusive transaction-level reflective mpsoc simulation platform for design space exploration,” Ieee trans. on cad of integrated circuits and systems, vol. 28, iss. 12, pp. 1857-1869, 2009.
    [Bibtex]
    @article{journals/tcad/BeltrameFS09,
    author = {Giovanni Beltrame and
    Luca Fossati and
    Donatella Sciuto},
    title = {ReSP: A Nonintrusive Transaction-Level Reflective MPSoC
    Simulation Platform for Design Space Exploration},
    journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
    volume = {28},
    number = {12},
    year = {2009},
    pages = {1857-1869},
    ee = {http://dx.doi.org/10.1109/TCAD.2009.2030268}
    }
  • R. Hadjidj and H. Boucheneb, “On-the-fly tctl model checking for time petri nets,” Theor. comput. sci., vol. 410, iss. 42, pp. 4241-4261, 2009.
    [Bibtex]
    @article{journals/tcs/HadjidjB09,
    author = {Rachid Hadjidj and
    Hanifa Boucheneb},
    title = {On-the-fly TCTL model checking for time Petri nets},
    journal = {Theor. Comput. Sci.},
    volume = {410},
    number = {42},
    year = {2009},
    pages = {4241-4261},
    ee = {http://dx.doi.org/10.1016/j.tcs.2009.06.019}
    }
  • F. Abouzaid and J. Mullins, “Model-checking web services orchestrations using bp-calculus,” Electr. notes theor. comput. sci., vol. 255, pp. 3-21, 2009.
    [Bibtex]
    @article{journals/entcs/AbouzaidM09,
    author = {Faisal Abouzaid and
    John Mullins},
    title = {Model-checking Web Services Orchestrations using BP-calculus},
    journal = {Electr. Notes Theor. Comput. Sci.},
    volume = {255},
    year = {2009},
    pages = {3-21},
    ee = {http://dx.doi.org/10.1016/j.entcs.2009.10.022}
    }
  • Y. Guéhéneuc, “A theory of program comprehension: joining vision science and program comprehension,” Ijssci, vol. 1, iss. 2, pp. 54-72, 2009.
    [Bibtex]
    @article{journals/ijssci/Gueheneuc09,
    author = {Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc},
    title = {A Theory of Program Comprehension: Joining Vision Science
    and Program Comprehension},
    journal = {IJSSCI},
    volume = {1},
    number = {2},
    year = {2009},
    pages = {54-72},
    ee = {http://dx.doi.org/10.4018/jssci.2009040104}
    }
  • H. Rakkay and H. Boucheneb, “Security analysis of role based access control models using colored petri nets and cpntools,” Transactions on computational science, vol. 4, pp. 149-176, 2009.
    [Bibtex]
    @article{journals/tcos/RakkayB09,
    author = {Hind Rakkay and
    Hanifa Boucheneb},
    title = {Security Analysis of Role Based Access Control Models Using
    Colored Petri Nets and CPNtools},
    journal = {Transactions on Computational Science},
    volume = {4},
    year = {2009},
    pages = {149-176},
    ee = {http://dx.doi.org/10.1007/978-3-642-01004-0_9},
    crossref = {DBLP:journals/tcos/2009-4}
    }
  • D. Hernon, T. Salamon, R. Kempers, S. Krishnan, A. Lyons, M. Hodes, P. Kolodner, J. Mullins, and L. McGarry, “Thermal management: enabling enhanced functionality and reduced carbon footprint,” Bell labs technical journal, vol. 14, iss. 3, pp. 7-19, 2009.
    [Bibtex]
    @article{journals/bell/HernonSKKLHKMM09,
    author = {Domhnaill Hernon and
    Todd Salamon and
    Roger Kempers and
    Shankar Krishnan and
    Alan Lyons and
    Marc Hodes and
    Paul Kolodner and
    John Mullins and
    Liam McGarry},
    title = {Thermal management: Enabling enhanced functionality and
    reduced carbon footprint},
    journal = {Bell Labs Technical Journal},
    volume = {14},
    number = {3},
    year = {2009},
    pages = {7-19},
    ee = {http://dx.doi.org/10.1002/bltj.20385}
    }
  • J. M. T. Moreno, P. St-Onge, M. Gagnon, M. El-Bèze, and P. Bellot, “Automatic summarization system coupled with a question-answering system (qaas),” Corr, vol. abs/0905.2990, 2009.
    [Bibtex]
    @article{journals/corr/abs-0905-2990,
    author = {Juan Manuel Torres Moreno and
    Pier-Luc St-Onge and
    Michel Gagnon and
    Marc El-B{\`e}ze and
    Patrice Bellot},
    title = {Automatic Summarization System coupled with a Question-Answering
    System (QAAS)},
    journal = {CoRR},
    volume = {abs/0905.2990},
    year = {2009},
    ee = {http://arxiv.org/abs/0905.2990}
    }
  • B. Adams, K. D. Schutter, A. Zaidman, S. Demeyer, H. Tromp, and W. D. Meuter, “Using aspect orientation in legacy environments for reverse engineering using dynamic analysis – an industrial experience report,” Journal of systems and software, vol. 82, iss. 4, pp. 668-684, 2009.
    [Bibtex]
    @article{journals/jss/AdamsSZDTM09,
    author = {Bram Adams and
    Kris De Schutter and
    Andy Zaidman and
    Serge Demeyer and
    Herman Tromp and
    Wolfgang De Meuter},
    title = {Using aspect orientation in legacy environments for reverse
    engineering using dynamic analysis - An industrial experience
    report},
    journal = {Journal of Systems and Software},
    volume = {82},
    number = {4},
    year = {2009},
    pages = {668-684},
    ee = {http://dx.doi.org/10.1016/j.jss.2008.09.031}
    }
  • H. Boucheneb and K. Barkaoui, “Covering steps graphs of time petri nets,” Electr. notes theor. comput. sci., vol. 239, pp. 155-165, 2009.
    [Bibtex]
    @article{journals/entcs/BouchenebB09,
    author = {Hanifa Boucheneb and
    Kamel Barkaoui},
    title = {Covering Steps Graphs of Time Petri Nets},
    journal = {Electr. Notes Theor. Comput. Sci.},
    volume = {239},
    year = {2009},
    pages = {155-165},
    ee = {http://dx.doi.org/10.1016/j.entcs.2009.05.037}
    }

2008

  • C. D. Grosso, G. Antoniol, E. Merlo, and P. Galinier, “Detecting buffer overflow via automatic test input data generation,” Computers & or, vol. 35, iss. 10, pp. 3125-3143, 2008.
    [Bibtex]
    @article{journals/cor/GrossoAMG08,
    author = {Concettina Del Grosso and
    Giuliano Antoniol and
    Ettore Merlo and
    Philippe Galinier},
    title = {Detecting buffer overflow via automatic test input data
    generation},
    journal = {Computers {\&} OR},
    volume = {35},
    number = {10},
    year = {2008},
    pages = {3125-3143},
    ee = {http://dx.doi.org/10.1016/j.cor.2007.01.013}
    }
  • M. D. Penta, G. Antoniol, and M. Harman, “Special issue on search-based software maintenance,” Journal of software maintenance, vol. 20, iss. 5, pp. 317-319, 2008.
    [Bibtex]
    @article{journals/smr/PentaAH08,
    author = {Massimiliano Di Penta and
    Giuliano Antoniol and
    Mark Harman},
    title = {Special Issue on Search-Based Software Maintenance},
    journal = {Journal of Software Maintenance},
    volume = {20},
    number = {5},
    year = {2008},
    pages = {317-319},
    ee = {http://dx.doi.org/10.1002/smr.395}
    }
  • F. Abouzaid and J. Mullins, “A calculus for generation, verification and refinement of bpel specifications,” Electr. notes theor. comput. sci., vol. 200, iss. 3, pp. 43-65, 2008.
    [Bibtex]
    @article{journals/entcs/AbouzaidM08,
    author = {Faisal Abouzaid and
    John Mullins},
    title = {A Calculus for Generation, Verification and Refinement of
    BPEL Specifications},
    journal = {Electr. Notes Theor. Comput. Sci.},
    volume = {200},
    number = {3},
    year = {2008},
    pages = {43-65},
    ee = {http://dx.doi.org/10.1016/j.entcs.2008.04.092}
    }
  • S. Cherry and P. N. Robillard, “The social side of software engineering – a real ad hoc collaboration network,” Int. j. hum.-comput. stud., vol. 66, iss. 7, pp. 495-505, 2008.
    [Bibtex]
    @article{journals/ijmms/CherryR08,
    author = {S{\'e}bastien Cherry and
    Pierre N. Robillard},
    title = {The social side of software engineering - A real ad hoc
    collaboration network},
    journal = {Int. J. Hum.-Comput. Stud.},
    volume = {66},
    number = {7},
    year = {2008},
    pages = {495-505},
    ee = {http://dx.doi.org/10.1016/j.ijhcs.2008.01.002}
    }
  • Y. Guéhéneuc and G. Antoniol, “Demima: a multilayered approach for design pattern identification,” Ieee trans. software eng., vol. 34, iss. 5, pp. 667-684, 2008.
    [Bibtex]
    @article{journals/tse/GueheneucA08,
    author = {Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc and
    Giuliano Antoniol},
    title = {DeMIMA: A Multilayered Approach for Design Pattern Identification},
    journal = {IEEE Trans. Software Eng.},
    volume = {34},
    number = {5},
    year = {2008},
    pages = {667-684},
    ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2008.48}
    }
  • H. Boucheneb and A. Imine, “Experiments in model-checking optimistic replication algorithms,” Corr, vol. abs/0804.3023, 2008.
    [Bibtex]
    @article{journals/corr/abs-0804-3023,
    author = {Hanifa Boucheneb and
    Abdessamad Imine},
    title = {Experiments in Model-Checking Optimistic Replication Algorithms},
    journal = {CoRR},
    volume = {abs/0804.3023},
    year = {2008},
    ee = {http://arxiv.org/abs/0804.3023}
    }
  • H. Boucheneb, “Interval timed coloured petri net: efficient construction of its state class space preserving linear properties,” Formal asp. comput., vol. 20, iss. 2, pp. 225-238, 2008.
    [Bibtex]
    @article{journals/fac/Boucheneb08,
    author = {Hanifa Boucheneb},
    title = {Interval timed coloured Petri net: efficient construction
    of its state class space preserving linear properties},
    journal = {Formal Asp. Comput.},
    volume = {20},
    number = {2},
    year = {2008},
    pages = {225-238},
    ee = {http://dx.doi.org/10.1007/s00165-007-0050-7}
    }
  • R. Hadjidj and H. Boucheneb, “Improving state class constructions for ctl* model checking of time petri nets,” Sttt, vol. 10, iss. 2, pp. 167-184, 2008.
    [Bibtex]
    @article{journals/sttt/HadjidjB08,
    author = {Rachid Hadjidj and
    Hanifa Boucheneb},
    title = {Improving state class constructions for CTL* model checking
    of time Petri nets},
    journal = {STTT},
    volume = {10},
    number = {2},
    year = {2008},
    pages = {167-184},
    ee = {http://dx.doi.org/10.1007/s10009-007-0040-3}
    }
  • É. Germain and P. N. Robillard, “Towards software process patterns: an empirical analysis of the behavior of student teams,” Information & software technology, vol. 50, iss. 11, pp. 1088-1097, 2008.
    [Bibtex]
    @article{journals/infsof/GermainR08,
    author = {{\'E}ric Germain and
    Pierre N. Robillard},
    title = {Towards software process patterns: An empirical analysis
    of the behavior of student teams},
    journal = {Information {\&} Software Technology},
    volume = {50},
    number = {11},
    year = {2008},
    pages = {1088-1097},
    ee = {http://dx.doi.org/10.1016/j.infsof.2007.10.018}
    }
  • H. Boucheneb and H. Rakkay, “A more efficient time petri net state space abstraction useful to model checking timed linear properties,” Fundam. inform., vol. 88, iss. 4, pp. 469-495, 2008.
    [Bibtex]
    @article{journals/fuin/BouchenebR08,
    author = {Hanifa Boucheneb and
    Hind Rakkay},
    title = {A More Efficient Time Petri Net State Space Abstraction
    Useful to Model Checking Timed Linear Properties},
    journal = {Fundam. Inform.},
    volume = {88},
    number = {4},
    year = {2008},
    pages = {469-495},
    ee = {http://iospress.metapress.com/content/b760h3603l550564/}
    }
  • S. Hardy and P. N. Robillard, “Petri net-based method for the analysis of the dynamics of signal propagation in signaling pathways,” Bioinformatics, vol. 24, iss. 2, pp. 209-217, 2008.
    [Bibtex]
    @article{journals/bioinformatics/HardyR08,
    author = {Simon Hardy and
    Pierre N. Robillard},
    title = {Petri net-based method for the analysis of the dynamics
    of signal propagation in signaling pathways},
    journal = {Bioinformatics},
    volume = {24},
    number = {2},
    year = {2008},
    pages = {209-217},
    ee = {http://dx.doi.org/10.1093/bioinformatics/btm560}
    }

2007

  • S. Brlek, S. Hamadou, and J. Mullins, “A probabilistic scheduler for the analysis of cryptographic protocols,” Electr. notes theor. comput. sci., vol. 194, iss. 1, pp. 61-83, 2007.
    [Bibtex]
    @article{journals/entcs/BrlekHM07,
    author = {Srecko Brlek and
    Sardaouna Hamadou and
    John Mullins},
    title = {A Probabilistic Scheduler for the Analysis of Cryptographic
    Protocols},
    journal = {Electr. Notes Theor. Comput. Sci.},
    volume = {194},
    number = {1},
    year = {2007},
    pages = {61-83},
    ee = {http://dx.doi.org/10.1016/j.entcs.2007.10.009}
    }
  • G. Gardey, J. Mullins, and O. H. Roux, “Non-interference control synthesis for security timed automata,” Electr. notes theor. comput. sci., vol. 180, iss. 1, pp. 35-53, 2007.
    [Bibtex]
    @article{journals/entcs/GardeyMR07,
    author = {Guillaume Gardey and
    John Mullins and
    Olivier H. Roux},
    title = {Non-Interference Control Synthesis for Security Timed Automata},
    journal = {Electr. Notes Theor. Comput. Sci.},
    volume = {180},
    number = {1},
    year = {2007},
    pages = {35-53},
    ee = {http://dx.doi.org/10.1016/j.entcs.2005.05.046}
    }
  • B. Adams, K. D. Schutter, H. Tromp, and W. D. Meuter, “The evolution of the linux build system,” Eceasst, vol. 8, 2007.
    [Bibtex]
    @article{journals/eceasst/AdamsSTM07,
    author = {Bram Adams and
    Kris De Schutter and
    Herman Tromp and
    Wolfgang De Meuter},
    title = {The Evolution of the Linux Build System},
    journal = {ECEASST},
    volume = {8},
    year = {2007},
    ee = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/115}
    }
  • P. N. Robillard, P. d’Astous, F. Détienne, and W. Visser, “Measuring cognitive activities in software engineering,” Corr, vol. abs/cs/0702001, 2007.
    [Bibtex]
    @article{journals/corr/abs-cs-0702001,
    author = {Pierre N. Robillard and
    Patrick d'Astous and
    Fran\c{c}oise D{\'e}tienne and
    Willemien Visser},
    title = {Measuring Cognitive Activities in Software Engineering},
    journal = {CoRR},
    volume = {abs/cs/0702001},
    year = {2007},
    ee = {http://arxiv.org/abs/cs/0702001}
    }
  • G. Antoniol and M. Ceccarelli, “Microarray image gridding with stochastic search based approaches,” Image vision comput., vol. 25, iss. 2, pp. 155-163, 2007.
    [Bibtex]
    @article{journals/ivc/AntoniolC07,
    author = {Giuliano Antoniol and
    Michele Ceccarelli},
    title = {Microarray image gridding with stochastic search based approaches},
    journal = {Image Vision Comput.},
    volume = {25},
    number = {2},
    year = {2007},
    pages = {155-163},
    ee = {http://dx.doi.org/10.1016/j.imavis.2006.01.023}
    }
  • A. Ouardani, S. Pierre, and H. Boucheneb, “A security protocol for mobile agents based upon the cooperation of sedentary agents,” J. network and computer applications, vol. 30, iss. 3, pp. 1228-1243, 2007.
    [Bibtex]
    @article{journals/jnca/OuardaniPB07,
    author = {Abdelhamid Ouardani and
    Samuel Pierre and
    Hanifa Boucheneb},
    title = {A security protocol for mobile agents based upon the cooperation
    of sedentary agents},
    journal = {J. Network and Computer Applications},
    volume = {30},
    number = {3},
    year = {2007},
    pages = {1228-1243},
    ee = {http://dx.doi.org/10.1016/j.jnca.2006.04.008}
    }
  • D. Poshyvanyk, Y. Guéhéneuc, A. Marcus, G. Antoniol, and V. Rajlich, “Feature location using probabilistic ranking of methods based on execution scenarios and information retrieval,” Ieee trans. software eng., vol. 33, iss. 6, pp. 420-432, 2007.
    [Bibtex]
    @article{journals/tse/PoshyvanykGMAR07,
    author = {Denys Poshyvanyk and
    Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc and
    Andrian Marcus and
    Giuliano Antoniol and
    V{\'a}clav Rajlich},
    title = {Feature Location Using Probabilistic Ranking of Methods
    Based on Execution Scenarios and Information Retrieval},
    journal = {IEEE Trans. Software Eng.},
    volume = {33},
    number = {6},
    year = {2007},
    pages = {420-432},
    ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2007.1016}
    }
  • S. Bellon, R. Koschke, G. Antoniol, J. Krinke, and E. Merlo, “Comparison and evaluation of clone detection tools,” Ieee trans. software eng., vol. 33, iss. 9, pp. 577-591, 2007.
    [Bibtex]
    @article{journals/tse/BellonKAKM07,
    author = {Stefan Bellon and
    Rainer Koschke and
    Giuliano Antoniol and
    Jens Krinke and
    Ettore Merlo},
    title = {Comparison and Evaluation of Clone Detection Tools},
    journal = {IEEE Trans. Software Eng.},
    volume = {33},
    number = {9},
    year = {2007},
    pages = {577-591},
    ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70725}
    }
  • F. Lemieux and M. C. Desmarais, “Conception centrée sur l’utilisateur lors de la définition des exigences en rup\copyright. une étude de cas,” Ingénierie des systèmes d’information, vol. 12, iss. 6, pp. 9-37, 2007.
    [Bibtex]
    @article{journals/isi/LemieuxD07,
    author = {Fran\c{c}ois Lemieux and
    Michel C. Desmarais},
    title = {Conception centr{\'e}e sur l'utilisateur lors de la d{\'e}finition
    des exigences en RUP{\copyright}. Une {\'e}tude de cas},
    journal = {Ing{\'e}nierie des Syst{\`e}mes d'Information},
    volume = {12},
    number = {6},
    year = {2007},
    pages = {9-37},
    ee = {http://dx.doi.org/10.3166/isi.12.6.9-37}
    }
  • K. D. Schutter and B. Adams, “Aspect-orientation for revitalising legacy business software,” Electr. notes theor. comput. sci., vol. 166, pp. 63-80, 2007.
    [Bibtex]
    @article{journals/entcs/SchutterA07,
    author = {Kris De Schutter and
    Bram Adams},
    title = {Aspect-orientation For Revitalising Legacy Business Software},
    journal = {Electr. Notes Theor. Comput. Sci.},
    volume = {166},
    year = {2007},
    pages = {63-80},
    ee = {http://dx.doi.org/10.1016/j.entcs.2006.08.002}
    }
  • G. Beltrame, D. Sciuto, and C. Silvano, “Multi-accuracy power and performance transaction-level modeling,” Ieee trans. on cad of integrated circuits and systems, vol. 26, iss. 10, pp. 1830-1842, 2007.
    [Bibtex]
    @article{journals/tcad/BeltrameSS07,
    author = {Giovanni Beltrame and
    Donatella Sciuto and
    Cristina Silvano},
    title = {Multi-Accuracy Power and Performance Transaction-Level Modeling},
    journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
    volume = {26},
    number = {10},
    year = {2007},
    pages = {1830-1842},
    ee = {http://dx.doi.org/10.1109/TCAD.2007.895790}
    }
  • T. Rafla, P. N. Robillard, and M. Desmarais, “A method to elicit architecturally sensitive usability requirements: its integration into a software development process,” Software quality journal, vol. 15, iss. 2, pp. 117-133, 2007.
    [Bibtex]
    @article{journals/sqj/RaflaRD07,
    author = {Tamer Rafla and
    Pierre N. Robillard and
    Michel Desmarais},
    title = {A method to elicit architecturally sensitive usability requirements:
    its integration into a software development process},
    journal = {Software Quality Journal},
    volume = {15},
    number = {2},
    year = {2007},
    pages = {117-133},
    ee = {http://dx.doi.org/10.1007/s11219-006-9009-9}
    }

2006

  • G. Antoniol and Y. Guéhéneuc, “Feature identification: an epidemiological metaphor,” Ieee trans. software eng., vol. 32, iss. 9, pp. 627-641, 2006.
    [Bibtex]
    @article{journals/tse/AntoniolG06,
    author = {Giuliano Antoniol and
    Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc},
    title = {Feature Identification: An Epidemiological Metaphor},
    journal = {IEEE Trans. Software Eng.},
    volume = {32},
    number = {9},
    year = {2006},
    pages = {627-641},
    ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2006.88}
    }
  • L. Lepanto, G. Paré, D. Aubry, P. N. Robillard, and J. Lesage, “Impact of pacs on dictation turnaround time and productivity,” J. digital imaging, vol. 19, iss. 1, pp. 92-97, 2006.
    [Bibtex]
    @article{journals/jdi/LepantoPARL06,
    author = {Luigi Lepanto and
    Guy Par{\'e} and
    David Aubry and
    Pierre N. Robillard and
    Jacques Lesage},
    title = {Impact of PACS on Dictation Turnaround Time and Productivity},
    journal = {J. Digital Imaging},
    volume = {19},
    number = {1},
    year = {2006},
    pages = {92-97},
    ee = {http://dx.doi.org/10.1007/s10278-005-9245-8}
    }
  • M. Desmarais, P. Meshkinfam, and M. Gagnon, “Learned student models with item to item knowledge structures,” User model. user-adapt. interact., vol. 16, iss. 5, pp. 403-434, 2006.
    [Bibtex]
    @article{journals/umuai/DesmaraisMG06,
    author = {Michel Desmarais and
    Peyman Meshkinfam and
    Michel Gagnon},
    title = {Learned student models with item to item knowledge structures},
    journal = {User Model. User-Adapt. Interact.},
    volume = {16},
    number = {5},
    year = {2006},
    pages = {403-434},
    ee = {http://dx.doi.org/10.1007/s11257-006-9016-3}
    }
  • H. Boucheneb and R. Hadjidj, “\it CTL$^{\mbox{*}}$ model checking for time petri nets,” Theor. comput. sci., vol. 353, iss. 1-3, pp. 208-227, 2006.
    [Bibtex]
    @article{journals/tcs/BouchenebH06,
    author = {Hanifa Boucheneb and
    Rachid Hadjidj},
    title = {{\it CTL}$^{\mbox{*}}$ model checking for time Petri nets},
    journal = {Theor. Comput. Sci.},
    volume = {353},
    number = {1-3},
    year = {2006},
    pages = {208-227},
    ee = {http://dx.doi.org/10.1016/j.tcs.2005.11.002}
    }
  • S. Brlek, S. Hamadou, and J. Mullins, “A flaw in the electronic commerce protocol set,” Inf. process. lett., vol. 97, iss. 3, pp. 104-108, 2006.
    [Bibtex]
    @article{journals/ipl/BrlekHM06,
    author = {Srecko Brlek and
    Sardaouna Hamadou and
    John Mullins},
    title = {A flaw in the electronic commerce protocol SET},
    journal = {Inf. Process. Lett.},
    volume = {97},
    number = {3},
    year = {2006},
    pages = {104-108},
    ee = {http://dx.doi.org/10.1016/j.ipl.2005.10.002}
    }
  • T. Rafla, P. N. Robillard, and M. Desmarais, “Investigating the impact of usability on software architecture through scenarios: a case study on web systems,” Journal of systems and software, vol. 79, iss. 3, pp. 415-426, 2006.
    [Bibtex]
    @article{journals/jss/RaflaRD06,
    author = {Tamer Rafla and
    Pierre N. Robillard and
    Michel Desmarais},
    title = {Investigating the impact of usability on software architecture
    through scenarios: A case study on Web systems},
    journal = {Journal of Systems and Software},
    volume = {79},
    number = {3},
    year = {2006},
    pages = {415-426},
    ee = {http://dx.doi.org/10.1016/j.jss.2005.10.014}
    }
  • H. Boucheneb and R. Hadjidj, “Using inclusion abstraction to construct atomic state class graphs for time petri nets,” Ijes, vol. 2, iss. 1/2, pp. 128-139, 2006.
    [Bibtex]
    @article{journals/ijes/BouchenebH06,
    author = {Hanifa Boucheneb and
    Rachid Hadjidj},
    title = {Using inclusion abstraction to construct Atomic State Class
    Graphs for Time Petri Nets},
    journal = {IJES},
    volume = {2},
    number = {1/2},
    year = {2006},
    pages = {128-139},
    ee = {http://dx.doi.org/10.1504/IJES.2006.010171}
    }
  • G. Antoniol, J. Krinke, and P. Tonella, “Special issue on source code analysis and manipulation,” Sci. comput. program., vol. 62, iss. 3, pp. 205-208, 2006.
    [Bibtex]
    @article{journals/scp/AntoniolKT06,
    author = {Giuliano Antoniol and
    Jens Krinke and
    Paolo Tonella},
    title = {Special issue on Source code analysis and manipulation},
    journal = {Sci. Comput. Program.},
    volume = {62},
    number = {3},
    year = {2006},
    pages = {205-208},
    ee = {http://dx.doi.org/10.1016/j.scico.2006.04.009}
    }
  • H. Rakkay and H. Boucheneb, “Timed secure colored petri net based analysis of information flow,” Annales des télécommunications, vol. 61, iss. 11-12, pp. 1314-1346, 2006.
    [Bibtex]
    @article{journals/adt/RakkayB06,
    author = {Hind Rakkay and
    Hanifa Boucheneb},
    title = {Timed secure colored Petri net based analysis of information
    flow},
    journal = {Annales des T{\'e}l{\'e}communications},
    volume = {61},
    number = {11-12},
    year = {2006},
    pages = {1314-1346},
    ee = {http://dx.doi.org/10.1007/BF03219899}
    }
  • P. d’Astous, F. Détienne, W. Visser, and P. N. Robillard, “Changing our view on design evaluation meetings methodology: a study of software technical review meetings,” Corr, vol. abs/cs/0611153, 2006.
    [Bibtex]
    @article{journals/corr/abs-cs-0611153,
    author = {Patrick d'Astous and
    Fran\c{c}oise D{\'e}tienne and
    Willemien Visser and
    Pierre N. Robillard},
    title = {Changing our view on design evaluation meetings methodology:
    a study of software technical review meetings},
    journal = {CoRR},
    volume = {abs/cs/0611153},
    year = {2006},
    ee = {http://arxiv.org/abs/cs/0611153}
    }
  • S. Galice, V. Legrand, M. Minier, J. Mullins, and S. Ubéda, “The kaa project: a trust policy point of view,” Corr, vol. abs/cs/0606005, 2006.
    [Bibtex]
    @article{journals/corr/abs-cs-0606005,
    author = {Samuel Galice and
    V{\'e}ronique Legrand and
    Marine Minier and
    John Mullins and
    St{\'e}phane Ub{\'e}da},
    title = {The KAA project: a trust policy point of view},
    journal = {CoRR},
    volume = {abs/cs/0606005},
    year = {2006},
    ee = {http://arxiv.org/abs/cs/0606005}
    }
  • H. Boucheneb, “Checking untimed and timed linear properties of the interval timed colored petri net model,” Computación y sistemas, vol. 10, iss. 2, 2006.
    [Bibtex]
    @article{journals/cys/Boucheneb06,
    author = {Hanifa Boucheneb},
    title = {Checking Untimed and Timed Linear Properties of the Interval
    Timed Colored Petri Net Model},
    journal = {Computaci{\'o}n y Sistemas},
    volume = {10},
    number = {2},
    year = {2006},
    ee = {http://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/1137}
    }
  • M. Ceccarelli and G. Antoniol, “A deformable grid-matching approach for microarray images,” Ieee transactions on image processing, vol. 15, iss. 10, pp. 3178-3188, 2006.
    [Bibtex]
    @article{journals/tip/CeccarelliA06,
    author = {Michele Ceccarelli and
    Giuliano Antoniol},
    title = {A Deformable Grid-Matching Approach for Microarray Images},
    journal = {IEEE Transactions on Image Processing},
    volume = {15},
    number = {10},
    year = {2006},
    pages = {3178-3188},
    ee = {http://dx.doi.org/10.1109/TIP.2006.877488}
    }
  • P. d’Astous, P. N. Robillard, F. Détienne, and W. Visser, “Quantitative measurements of the influence of participant roles during peer review meetings,” Corr, vol. abs/cs/0612005, 2006.
    [Bibtex]
    @article{journals/corr/abs-cs-0612005,
    author = {Patrick d'Astous and
    Pierre N. Robillard and
    Fran\c{c}oise D{\'e}tienne and
    Willemien Visser},
    title = {Quantitative Measurements of the Influence of Participant
    Roles during Peer Review Meetings},
    journal = {CoRR},
    volume = {abs/cs/0612005},
    year = {2006},
    ee = {http://arxiv.org/abs/cs/0612005}
    }
  • P. G. Paulin, C. Pilkington, M. Langevin, E. Bensoudane, D. Lyonnard, O. Benny, B. Lavigueur, D. Lo, G. Beltrame, V. Gagné, and G. Nicolescu, “Parallel programming models for a multiprocessor soc platform applied to networking and multimedia,” Ieee trans. vlsi syst., vol. 14, iss. 7, pp. 667-680, 2006.
    [Bibtex]
    @article{journals/tvlsi/PaulinPLBLBLLBGN06,
    author = {Pierre G. Paulin and
    Chuck Pilkington and
    Michel Langevin and
    Essaid Bensoudane and
    Damien Lyonnard and
    Olivier Benny and
    Bruno Lavigueur and
    David Lo and
    Giovanni Beltrame and
    Vincent Gagn{\'e} and
    Gabriela Nicolescu},
    title = {Parallel programming models for a multiprocessor SoC platform
    applied to networking and multimedia},
    journal = {IEEE Trans. VLSI Syst.},
    volume = {14},
    number = {7},
    year = {2006},
    pages = {667-680},
    ee = {http://doi.ieeecomputersociety.org/10.1109/TVLSI.2006.878259}
    }

2005

  • P. N. Robillard, “Opportunistic problem solving in software engineering,” Ieee software, vol. 22, iss. 6, pp. 60-67, 2005.
    [Bibtex]
    @article{journals/software/Robillard05,
    author = {Pierre N. Robillard},
    title = {Opportunistic Problem Solving in Software Engineering},
    journal = {IEEE Software},
    volume = {22},
    number = {6},
    year = {2005},
    pages = {60-67},
    ee = {http://doi.ieeecomputersociety.org/10.1109/MS.2005.161}
    }
  • G. Antoniol, V. F. Rollo, and G. Venturi, “Linear predictive coding and cepstrum coefficients for mining time variant information from software repositories,” Acm sigsoft software engineering notes, vol. 30, iss. 4, pp. 1-5, 2005.
    [Bibtex]
    @article{journals/sigsoft/AntoniolRV05,
    author = {Giuliano Antoniol and
    Vincenzo Fabio Rollo and
    Gabriele Venturi},
    title = {Linear predictive coding and cepstrum coefficients for mining
    time variant information from software repositories},
    journal = {ACM SIGSOFT Software Engineering Notes},
    volume = {30},
    number = {4},
    year = {2005},
    pages = {1-5},
    ee = {http://doi.acm.org/10.1145/1082983.1083156}
    }
  • M. D. Penta, M. Neteler, G. Antoniol, and E. Merlo, “A language-independent software renovation framework,” Journal of systems and software, vol. 77, iss. 3, pp. 225-240, 2005.
    [Bibtex]
    @article{journals/jss/PentaNAM05,
    author = {Massimiliano Di Penta and
    Markus Neteler and
    Giuliano Antoniol and
    Ettore Merlo},
    title = {A language-independent software renovation framework},
    journal = {Journal of Systems and Software},
    volume = {77},
    number = {3},
    year = {2005},
    pages = {225-240},
    ee = {http://dx.doi.org/10.1016/j.jss.2004.03.033}
    }
  • M. C. Desmarais and X. Pu, “A bayesian student model without hidden nodes and its comparison with item response theory,” I. j. artificial intelligence in education, vol. 15, iss. 4, pp. 291-323, 2005.
    [Bibtex]
    @article{journals/aiedu/DesmaraisP05,
    author = {Michel C. Desmarais and
    Xiaoming Pu},
    title = {A Bayesian Student Model without Hidden Nodes and its Comparison
    with Item Response Theory},
    journal = {I. J. Artificial Intelligence in Education},
    volume = {15},
    number = {4},
    year = {2005},
    pages = {291-323},
    ee = {http://iospress.metapress.com/content/22n7l4e8hub714yv/}
    }
  • N. B. Hadj-Alouane, S. Lafrance, F. Lin, J. Mullins, and M. Yeddes, “Characterizing intransitive noninterference for 3-domain security policies with observability,” Ieee trans. automat. contr., vol. 50, iss. 6, pp. 920-925, 2005.
    [Bibtex]
    @article{journals/tac/Hadj-AlouaneLLMY05,
    author = {Nejib Ben Hadj-Alouane and
    St{\'e}phane Lafrance and
    Feng Lin and
    John Mullins and
    Moez Yeddes},
    title = {Characterizing intransitive noninterference for 3-domain
    security policies with observability},
    journal = {IEEE Trans. Automat. Contr.},
    volume = {50},
    number = {6},
    year = {2005},
    pages = {920-925},
    ee = {http://dx.doi.org/10.1109/TAC.2005.850643}
    }
  • É. Germain and P. N. Robillard, “Engineering-based processes and agile methodologies for software development: a comparative case study,” Journal of systems and software, vol. 75, iss. 1-2, pp. 17-27, 2005.
    [Bibtex]
    @article{journals/jss/GermainR05,
    author = {{\'E}ric Germain and
    Pierre N. Robillard},
    title = {Engineering-based processes and agile methodologies for
    software development: a comparative case study},
    journal = {Journal of Systems and Software},
    volume = {75},
    number = {1-2},
    year = {2005},
    pages = {17-27},
    ee = {http://dx.doi.org/10.1016/j.jss.2004.02.022}
    }
  • Y. Guéhéneuc and H. A. Sahraoui, “Des signatures numériques pour améliorer la recherche structurelle de patrons,” L’objet, vol. 11, iss. 1-2, pp. 97-112, 2005.
    [Bibtex]
    @article{journals/Lobjet/GueheneucS05,
    author = {Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc and
    Houari A. Sahraoui},
    title = {Des signatures num{\'e}riques pour am{\'e}liorer la
    recherche structurelle de patrons},
    journal = {L'OBJET},
    volume = {11},
    number = {1-2},
    year = {2005},
    pages = {97-112},
    ee = {http://dx.doi.org/10.3166/objet.11.1-2.97-112}
    }
  • S. Brlek, S. Hamadou, and J. Mullins, “Anonymous and secure electronic transaction protocol,” Annales des télécommunications, vol. 60, iss. 5-6, pp. 530-557, 2005.
    [Bibtex]
    @article{journals/adt/BrlekHM05,
    author = {Srecko Brlek and
    Sardaouna Hamadou and
    John Mullins},
    title = {Anonymous and Secure Electronic Transaction protocol},
    journal = {Annales des T{\'e}l{\'e}communications},
    volume = {60},
    number = {5-6},
    year = {2005},
    pages = {530-557},
    ee = {http://dx.doi.org/10.1007/BF03219936}
    }
  • G. Antoniol, M. D. Penta, H. Gall, and M. Pinzger, “Towards the integration of versioning systems, bug reports and source code meta-models,” Electr. notes theor. comput. sci., vol. 127, iss. 3, pp. 87-99, 2005.
    [Bibtex]
    @article{journals/entcs/AntoniolPGP05,
    author = {Giuliano Antoniol and
    Massimiliano Di Penta and
    Harald Gall and
    Martin Pinzger},
    title = {Towards the Integration of Versioning Systems, Bug Reports
    and Source Code Meta-Models},
    journal = {Electr. Notes Theor. Comput. Sci.},
    volume = {127},
    number = {3},
    year = {2005},
    pages = {87-99},
    ee = {http://dx.doi.org/10.1016/j.entcs.2004.08.036}
    }
  • N. B. Hadj-Alouane, S. Lafrance, F. Lin, J. Mullins, and M. M. Yeddes, “On the verification of intransitive noninterference in multilevel security,” Ieee transactions on systems, man, and cybernetics, part b, vol. 35, iss. 5, pp. 948-958, 2005.
    [Bibtex]
    @article{journals/tsmc/Hadj-AlouaneLLMY05,
    author = {Nejib Ben Hadj-Alouane and
    St{\'e}phane Lafrance and
    Feng Lin and
    John Mullins and
    Mohamed Moez Yeddes},
    title = {On the verification of intransitive noninterference in multilevel
    security},
    journal = {IEEE Transactions on Systems, Man, and Cybernetics, Part
    B},
    volume = {35},
    number = {5},
    year = {2005},
    pages = {948-958},
    ee = {http://dx.doi.org/10.1109/TSMCB.2005.847749}
    }

Recent Tweets