Displaying 1 - 30 of 152 results.

Pages

    • Speech
    Efficient quality assurance of variability-intensive systems
    Heymans, Patrick Legay, Axel Cordy, Maxime (2013) 2013 35th International Conference on Software Engineering, ICSE 2013 —
    • BookChapter
    Model checking adaptive software with featured transition systems
    Cordy, Maxime Classen, Andreas Heymans, Patrick Legay, Axel Schobbens, Pierre Cámara, Javier de Lemos, Rogério Ghezzi, Carlo Lopes, Antónia (2013) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) : Principles, Models, and Techniques — [ISBN : 978-3-642-36248-4]
    • Speech
    Reverse engineering web sales configurators
    Abbasi, Ebrahim Khalil Heymans, Patrick (2013) 29th IEEE International Conference on Software Maintenance, ICSM 2013 —
    • Speech
    Feature model extraction from large collections of informal product descriptions
    Davril, Jean-Marc Delfosse, Edouard Hariri, Negar Acher, Mathieu Cleland-Huang, Jane Heymans, Patrick (2013) 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 —
    • Speech
    State machine flattening, a mapping study and tools assessment
    Devroey, Xavier Cordy, Maxime Schobbens, Pierre Yves Legay, Axel Heymans, Patrick (2015) 2015 8th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 —
    • Speech
    University meets industry : Calling in real stakeholders
    Penzenstadler, Birgit Mahaux, Martin Heymans, Patrick (2013) 2013 26th International Conference on Software Engineering Education and Training, CSEE and T 2013 —
    • BookChapter
    Towards an incremental automata-based approach for software product-line model checking
    Cordy, Maxime Schobbens, Pierre Heymans, Patrick Legay, Axel (2012) ACM International Conference Proceeding Series : — [ISBN : 9781450310956]
    • Speech
    Support for reverse engineering and maintaining feature models
    Acher, Mathieu Baudry, Benoit Heymans, Patrick Cleve, Anthony Hainaut, Jean Luc (2013) 7th International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2013 —
    • Speech
    Poster: VIBeS, Transition System Mutation Made Easy
    Devroey, Xavier Perrouin, Gilles Schobbens, Pierre Heymans, Patrick (2015) 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015 —
    • Speech
    Incrementally synthesizing controllers from scenario-based product line specifications
    Greenyer, Joel Brenner, Christian Cordy, Maxime Heymans, Patrick Gressi, Erika (2013) 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 —

Pages