Travelled to:1 × Australia
1 × China
1 × France
1 × Hungary
1 × India
1 × Poland
1 × Russia
1 × South Africa
1 × Spain
1 × The Netherlands
1 × United Kingdom
2 × Belgium
2 × Brazil
2 × Ireland
2 × Norway
2 × Switzerland
4 × Germany
8 × USA
Collaborated with:A.Hubaux P.Schobbens A.Claßen M.Mahaux M.Cordy A.Legay R.Matulevicius M.Acher Q.Boucher E.K.Abbasi N.Genon D.L.Moody J.Greenyer R.Michel G.Saval ∅ V.Englebert J.Trigaux P.Caire K.Pohl E.Gressi J.Davril P.Collet C.Quinton P.Lahire B.Penzenstadler G.Perrouin A.Mavin N.A.M.Maiden D.Amyot D.Benavides P.Sawyer B.Paech A.Cleve A.M.Sharifloo V.Ganesh D.Deridder P.Haumer M.Jarke C.Brenner L.Duchien S.Mouton E.Charlier H.Toussaint J.Gillain S.Faulkner I.Jureta M.Snoeck A.Bourdoux L.Demonceau J.Raskin H.Hartmann T.T.Tun A.Metzger B.Dawagne M.Leucker E.Delfosse N.Hariri J.Cleland-Huang P.Merle N.Mayer H.Mouratidis E.Dubois Y.Bontemps
Talks about:featur (16) product (14) model (14) line (12) base (10) configur (9) requir (8) engin (8) softwar (7) visual (5)
♂ Person: Patrick Heymans
DBLP: Heymans:Patrick
Facilitated 5 volumes:
Ed
Ed
PrCo
EdEdContributed to:
2015
2014
2014
2013
20132013
2013
201320122012
201220122012
20122012201120112011
2010201020102010
2010200920092008
20082008200720072007
200820061999Wrote 46 papers:
- SPLC-2015-CordyDGGH #product line #specification
- All-at-once-synthesis of controllers from scenario-based product line specifications (MC, JMD, JG, EG, PH), pp. 26–35.
- CSMR-WCRE-2014-AbbasiAHC #reverse engineering #web
- Reverse engineering web configurators (EKA, MA, PH, AC), pp. 264–273.
- FSE-2014-CordyHLSDL #abstraction #behaviour #modelling #product line #refinement
- Counterexample guided abstraction refinement of product-line behavioural models (MC, PH, AL, PYS, BD, ML), pp. 190–201.
- CAiSE-2013-AbbasiHABH #empirical
- The Anatomy of a Sales Configurator: An Empirical Study of 111 Cases (EKA, AH, MA, QB, PH), pp. 162–177.
- CSEET-2013-PenzenstadlerMH #industrial
- University meets industry: Calling in real stakeholders (BP, MM, PH), pp. 1–10.
- ESEC-FSE-2013-DavrilDHACH #feature model #scalability
- Feature model extraction from large collections of informal product descriptions (JMD, ED, NH, MA, JCH, PH), pp. 290–300.
- ESEC-FSE-2013-GreenyerBCHG #incremental #product line #specification
- Incrementally synthesizing controllers from scenario-based product line specifications (JG, CB, MC, PH, EG), pp. 433–443.
- ICSE-2013-CordySHL #model checking #multi #product line
- Beyond boolean product-line model checking: dealing with feature attributes and multi-features (MC, PYS, PH, AL), pp. 472–481.
- ICSE-2013-HeymansLC #assurance #performance #quality #variability
- Efficient quality assurance of variability-intensive systems (PH, AL, MC), pp. 1496–1498.
- RE-2013-CaireGHM #design #requirements #towards #visual notation
- Visual notation design 2.0: Towards user comprehensible requirements engineering notations (PC, NG, PH, DLM), pp. 115–124.
- CAiSE-2012-AcherHCQLM #difference #feature model
- Feature Model Differences (MA, PH, PC, CQ, PL, PM), pp. 629–645.
- CAiSE-2012-MahauxH #agile #information management #prototype
- Improvisational Theater for Information Systems: An Agile, Experience-Based, Prototyping Technique (MM, PH), pp. 699–700.
- ICSE-2012-CordyCPSHL #abstraction #model checking #product line
- Simulation-based abstractions for software product-line model checking (MC, AC, GP, PYS, PH, AL), pp. 672–682.
- PLEASE-2012-AcherMHCL #feature model #modelling #tool support
- Languages and tools for managing feature models (MA, RM, PH, PC, PL), pp. 25–28.
- PLEASE-2012-BoucherAHPAH #perspective #re-engineering #reliability #towards
- Towards more reliable configurators: a re-engineering perspective (QB, EKA, AH, GP, MA, PH), pp. 29–32.
- PLEASE-2012-QuintonDHMC #feature model #modelling #using
- Using feature modelling and automations to select among cloud solutions (CQ, LD, PH, SM, EC), pp. 17–20.
- RE-2012-GreenyerSCH #consistency #performance #product line #specification
- Efficient consistency checking of scenario-based product-line specifications (JG, AMS, MC, PH), pp. 161–170.
- REFSQ-2012-GenonCTHM #semantics #syntax #towards #visual notation
- Towards a More Semantically Transparent i* Visual Syntax (NG, PC, HT, PH, DLM), pp. 140–146.
- REFSQ-2012-MahauxMH #how #people #requirements #why
- Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People (MM, AM, PH), pp. 101–116.
- SMT-2012-MichelHGH #approach #automation #smt
- An SMT-based approach to automated configuration (RM, AH, VG, PH), pp. 109–119.
- SPLC-2012-CordySHL #behaviour #modelling #product line #realtime #verification
- Behavioural modelling and verification of real-time software product lines (MC, PYS, PH, AL), pp. 66–75.
- SPLC-2012-GillainFHJS #optimisation
- Product portfolio scope optimization based on features and goals (JG, SF, PH, IJ, MS), pp. 161–170.
- SPLC-2012-Heymans #formal method
- Formal methods for the masses (PH), p. 4.
- ICSE-2011-ClassenHSL #model checking #product line
- Symbolic model checking of software product lines (AC, PH, PYS, AL), pp. 321–330.
- REFSQ-2011-MahauxHS #case study #experience #requirements
- Discovering Sustainability Requirements: An Experience Report (MM, PH, GS), pp. 19–33.
- SPLC-2011-AbbasiHH11a #tool support #workflow
- A Toolset for Feature-Based Configuration Workflows (EKA, AH, PH), pp. 65–69.
- ASE-2010-BoucherCHBD #approach #implementation #product line
- Tag and prune: a pragmatic approach to software product line implementation (QB, AC, PH, AB, LD), pp. 333–336.
- ICSE-2010-ClassenHSLR #model checking #performance #product line #verification
- Model checking lots of systems: efficient verification of temporal properties in software product lines (AC, PH, PYS, AL, JFR), pp. 335–344.
- RE-2010-MahauxHM #requirements
- Making It all Up: Getting in on the Act to Improvise Creative Requirements (MM, PH, NAMM), pp. 375–376.
- REFSQ-2010-HubauxHSD #multi #towards
- Towards Multi-view Feature-Based Configuration (AH, PH, PYS, DD), pp. 106–112.
- SLE-2010-GenonHA #effectiveness
- Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation (NG, PH, DA), pp. 377–396.
- SLE-2010-HubauxBHMH #case study #feature model #industrial #modelling
- Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies (AH, QB, HH, RM, PH), pp. 337–356.
- RE-2009-ClassenHH #analysis #feature model #workflow
- Analysis of Feature Configuration Workflows (AC, AH, PH), pp. 381–382.
- RE-2009-MoodyHM #effectiveness #evaluation #requirements #syntax #visual notation
- Improving the Effectiveness of Visual Representations in Requirements Engineering: An Evaluation of i* Visual Syntax (DLM, PH, RM), pp. 171–180.
- SPLC-2009-HubauxCH #feature model #formal method #modelling #workflow
- Formal modelling of feature configuration workflows (AH, AC, PH), pp. 221–230.
- SPLC-2009-TunBCHH #approach #feature model #requirements
- Relating requirements and feature configurations: a systematic approach (TTT, QB, AC, AH, PH), pp. 201–210.
- CAiSE-2008-MatuleviciusMMDHG #adaptation #development #information management #risk management #security
- Adapting Secure Tropos for Security Risk Management in the Early Phases of Information Systems Development (RM, NM, HM, ED, PH, NG), pp. 541–555.
- FASE-2008-ClassenHS #perspective #requirements #what
- What’s in a Feature: A Requirements Engineering Perspective (AC, PH, PYS), pp. 16–30.
- SPLC-2008-HubauxHB #challenge #modelling #open source #product line #re-engineering #variability
- Variability Modeling Challenges from the Trenches of an Open Source Product Line Re-engineering Project (AH, PH, DB), pp. 55–64.
- CAiSE-2007-EnglebertH #automation #tool support #towards
- Towards More Extensible MetaCASE Tools (VE, PH), pp. 454–468.
- RE-2007-MetzgerHPSS #analysis #automation #documentation #formal method #product line #variability
- Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis (AM, PH, KP, PYS, GS), pp. 243–253.
- REFSQ-2007-MatuleviciusH #empirical #modelling
- Comparing Goal Modelling Languages: An Experiment (RM, PH), pp. 18–32.
- REFSQ-2007-SawyerPH #quality #requirements
- REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software Quality (PS, BP, PH), pp. 1–17.
- ATEM-J-2006-HeymansSTBMC #diagrams #feature model
- Evaluating formal properties of feature diagram languages (PH, PYS, JCT, YB, RM, AC), pp. 281–302.
- RE-2006-SchobbensHT #diagrams #feature model #overview #semantics
- Feature Diagrams: A Survey and a Formal Semantics (PYS, PH, JCT), pp. 136–145.
- RE-1999-HaumerJPH #approach #past present future
- Bridging the Gap Between Past and Future in RE: A Scenario-Based Approach (PH, MJ, KP, PH), pp. 66–73.