Patrick Heymans

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
29Symbolic model checking of software product lines. Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay. ICSE 2011, 321-330. Web SearchBibTeXDownload
28Eight Deadly Sins of GRL. Gunter Mussbacher, Daniel Amyot, Patrick Heymans. iStar 2011, 2-7. Web SearchBibTeXDownload
2010
27Model checking <u>lots</u> of systems: efficient verification of temporal properties in software product lines. Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin. ICSE (1) 2010, 335-344. Web SearchBibTeXDownload
26Model checking lots of systems: efficient verification of temporal properties in software product lines. Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin. ICSE (1) 2010, 335-344. Web SearchBibTeXDownload
25Making It all Up: Getting in on the Act to Improvise Creative Requirements. Martin Mahaux, Patrick Heymans, Neil A. M. Maiden. RE 2010, 375-376. Web SearchBibTeXDownload
24Towards Multi-view Feature-Based Configuration. Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder. REFSQ 2010, 106-112. Web SearchBibTeXDownload
23Analysing the Cognitive Effectiveness of the UCM Visual Notation. Nicolas Genon, Daniel Amyot, Patrick Heymans. SAM 2010, 221-240. Web SearchBibTeXDownload
22Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation. Nicolas Genon, Patrick Heymans, Daniel Amyot. SLE 2010, 377-396. Web SearchBibTeXDownload
2009
21Report on the working conference on requirements engineering: foundation for software quality (REFSQ'09). Martin Glinz, Patrick Heymans, Anne Persson, Guttorm Sindre, Aybüke Aurum, Nazim H. Madhavji, Barbara Paech, Gil Regev, Roel Wieringa. ACM SIGSOFT Software Engineering Notes (34): 40-45 (2009). Web SearchBibTeXDownload
2008
20Report working conference on requirements engineering: foundation for software quality (REFSQ'08). Barbara Paech, Patrick Heymans, Anne Persson. ACM SIGSOFT Software Engineering Notes (33) (2008). Web SearchBibTeXDownload
19Adapting Secure Tropos for Security Risk Management in the Early Phases of Information Systems Development. Raimundas Matulevicius, Nicolas Mayer, Haralambos Mouratidis, Eric Dubois, Patrick Heymans, Nicolas Genon. CAiSE 2008, 541-555. Web SearchBibTeXDownload
18Positioning Map: a Visual Technique to Improve the Layout of Diagram Contextual Information. Nicolas Genon, Raimundas Matulevicius, Vincent Englebert, Patrick Heymans. ECEASST (13) (2008). Web SearchBibTeXDownload
17What's in a Feature: A Requirements Engineering Perspective. Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens. FASE 2008, 16-30. Web SearchBibTeXDownload
16Evaluating formal properties of feature diagram languages. Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen. IET Software (2): 281-302 (2008). Web SearchBibTeXDownload
15Défis de la sécurité de l'information. Support à la gestion des risques de sécurité par les modèles. Nicolas Mayer, Eric Dubois, Patrick Heymans, Raimundas Matulevicius. Ing&eacute;nierie des Syst&egrave;mes d'Information (13): 37-74 (2008). Web SearchBibTeXDownload
14First International Workshop on Analysis of Software Product Lines (ASPL'08). David Benavides, Antonio Ruiz Cortés, Don S. Batory, Patrick Heymans. SPLC 2008, 385. Web SearchBibTeXDownload
2007
13Working conference on requirements engineering: foundation for software quality (REFSQ'07). Peter Sawyer, Barbara Paech, Patrick Heymans. ACM SIGSOFT Software Engineering Notes (32): 47-53 (2007). Web SearchBibTeXDownload
12Towards More Extensible MetaCASE Tools. Vincent Englebert, Patrick Heymans. CAiSE 2007, 454-468. Web SearchBibTeXDownload
11Generic semantics of feature diagrams. Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps. Computer Networks (51): 456-479 (2007). Web SearchBibTeXDownload
10Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis. Andreas Metzger, Patrick Heymans, Klaus Pohl, Pierre-Yves Schobbens, Germain Saval. RE 2007, 243-253. Web SearchBibTeXDownload
9REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software Quality. Peter Sawyer, Barbara Paech, Patrick Heymans. REFSQ 2007, 1-17. Web SearchBibTeXDownload
8Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence. Yves Bontemps, Germain Saval, Pierre-Yves Schobbens, Patrick Heymans. Technique et Science Informatiques (26): 797-817 (2007). Web SearchBibTeXDownload
7On the Structure of Problem Variability: From Feature Diagrams to Problem Frames. Andreas Classen, Patrick Heymans, Robin C. Laney, Bashar Nuseibeh, Thein Than Tun. VaMoS 2007, 109-117. Web SearchBibTeXDownload
2006
6Feature Diagrams: A Survey and a Formal Semantics. Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux. RE 2006, 136-145. Web SearchBibTeXDownload
2005
5Generic Semantics of Feature Diagrams Variants. Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux. FIW 2005, 58-77. Web SearchBibTeX
4From Live Sequence Charts to State Machines and Back: A Guided Tour. Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens. IEEE Trans. Software Eng. (31): 999-1014 (2005). Web SearchBibTeXDownload
2003
3Lightweight Formal Methods for Scenario-Based Software Engineering. Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens. Scenarios: Models, Transformations and Tools 2003, 174-192. Web SearchBibTeXDownload
1999
2Bridging the Gap Between Past and Future in RE: A Scenario-Based Approach. Peter Haumer, Matthias Jarke, Klaus Pohl, Patrick Heymans. RE 1999, 66-73. Cited by 25Web SearchBibTeXDownload
1998
1Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements. Patrick Heymans, Eric Dubois. Requir. Eng. (3): 202-218 (1998). Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research