Find Research Outputs

Search in all content

Filters for Research Output

Search concepts
Selected filters

Publication Year

  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011

Author

  • Patrick HEYMANS
2011

An Interactive Multi-perspective Toolset for Non-linear Product Configuration Processes (tool demo)

Abbasi, E. K., Hubaux, A. & Heymans, P., 2011, Proceedings of the 15th International Software Product Lines Conference (SPLC'11), Munich, Germany. Schaefer, I., John, I. & Schmid, K. (eds.). ACM Press, Vol. 2. p. 50-50 1 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
24 Downloads (Pure)

A Text-based Approach to Feature Modelling: Syntax and Semantics of TVL

Classen, A., Boucher, Q. & Heymans, P., 2011, In : Science of Computer Programming. 76, 12, p. 1130-1143 14 p.

Research output: Contribution to journalArticle

File
251 Downloads (Pure)

A Toolset for Feature-based Configuration Workflows

Abbasi, E. K., Hubaux, A. & Heymans, P., 2011, (Unpublished) Proceedings of the 15th International Software Product Lines Conference (SPLC'11), Munich, Germany. Santana, E., Almeida, D., Kishi, T., Schwanninger, C., John, I. & Schmid, K. (eds.). IEEE, Vol. 1. p. 65-69 5 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
103 Downloads (Pure)

Discovering Sustainability Requirements: an Experience Report

Mahaux, M., Saval, G. & Heymans, P., 2011, Proceedings of the 17th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2011, Essen, Germany, March 28-30, 2011.. Vol. 6606. p. 19-33 15 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Eight Deadly Sins of GRL

MUSSBACHER, G., AMYOT, D. & Heymans, P., 2011, Proceedings of the 5th International i* Workshop (iStar 2011), Trento, Italy, August 28-29, 2011. Brelaz, J., Castro, D., Franch, X., Mylopoulos, J. & Eric, S. K. (eds.). Vol. 766. p. 2-7 6 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Proceedings of the 19th IEEE International Requirements Engineering Conference

Heymans, P., Mylopoulos, J. & Fricker, S., 2011

Research output: Other contribution

Proceedings of the 1st International Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST)

Perrouin, G. (ed.), Metzger, A. (ed.), Heymans, P. (ed.) & Le Traon, Y. (ed.), 2011, Software Testing, Verification, and Validation Workshops (ICSTW).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

62 Downloads (Pure)
259 Downloads (Pure)

Symbolic Model Checking of Software Product Lines

Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., 2011, 33rd International Conference on Software Engineering, ICSE 2011, May 21-28, 2011, Waikiki, Honolulu, Hawaii, Proceedings. ACM Press, p. 321-330 10 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
166 Downloads (Pure)

VAST 2011 workshop summary

Perrouin, G., Metzger, A., Heymans, P. & Le Traon, Y., 2011, In : ACM SIGSOFT Software Engineering Notes. 36, 4, p. 24-25 2 p.

Research output: Contribution to journalArticle

2012
File
120 Downloads (Pure)

An SMT-based Approach to Automated Configuration

Michel, R., Hubaux, A., Ganesh, V. & Heymans, P., 1 Jan 2012, p. 107-117. 11 p.

Research output: Contribution to conferencePaper

A vision for behavioural model-driven validation of software product lines

Devroey, X., Cordy, M., Perrouin, G., Kang, E-Y., Schobbens, P-Y., Heymans, P., Legay, A. & Baudry, B., 15 Oct 2012, Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Vol. 7609 LNCS. p. 208-222 15 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
114 Downloads (Pure)

Behavioural Model-Driven Validation of Software Product Lines

Devroey, X., Perrouin, G., Schobbens, P., Heymans, P. & Baudry, B., 24 Apr 2012.

Research output: Contribution to conferencePoster

Open Access
File
22 Downloads (Pure)

Behavioural modelling and verification of real-time software product lines

Cordy, M., Schobbens, P-Y., Heymans, P. & Legay, A., 2012, Proceedings of the 16th International Software Product Line Conference (SPLC '12), Salvador, Brazil, September 2-7. Vol. 1. p. 66-75 10 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

File
121 Downloads (Pure)

Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People

Mahaux, M., Mavin, A. & Heymans, P., 2012, Proceedings of the 18th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'12). Regnell, B. & Damian, D. (eds.). Springer, Vol. 7195. p. 101-116 16 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Deriving Configuration Interfaces from Feature Models : A Vision Paper

Boucher, Q., Perrouin, G. & Heymans, P., 2012, Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27,. p. 37-44

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
154 Downloads (Pure)

Efficient Consistency Checking of Scenario-Based Product Line Specifications [Best paper award]

Greenyer, J., Molzam Sharifloo, A., Cordy, M. & Heymans, P., 1 Jan 2012.

Research output: Contribution to conferencePaper

Open Access
File
303 Downloads (Pure)
66 Downloads (Pure)

Feature Model Differences (To appear)

Acher, M., Heymans, P., Collet, P., Quinton, C., Lahire, P. & Merle, P., 2012, (Unpublished) Proceedings of the 24th International Conference on Advanced Information Systems Engineering (CAiSE'12).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Improvisational Theater for Information Systems: an Agile, Experience-Based, Prototyping Technique

Mahaux, M. & Heymans, P., 1 Jan 2012, (Unpublished).

Research output: Contribution to conferencePaper

Languages and Tools for Managing Feature Models (To appear)

Acher, M., Michel, R., Heymans, P., Collet, P. & Lahire, P., 2012, (Unpublished) Proceedings of the 3rd International Workshop on Product LinE Approaches in Software Engineering co-located with ICSE'12.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Managing evolution in Software Product Lines: A model-checking perspective

Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., 2012, Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27. Ulrich, W., Sven, E. & Stefania, A. (eds.). ACM Press, p. 183-191 9 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

File
117 Downloads (Pure)

Model checking software product lines with SNIP

Classen, A., Cordy, M., Heymans, P., Schobbens, P-Y. & Legay, A., 1 Jan 2012, In : International Journal on Software Tools for Technology Transfer (STTT). 14, 5, p. 589-612 24 p.

Research output: Contribution to journalArticle

Next-Generation Model-based Variability Management: Languages and Tools (Tutorial)

Acher, M., Heymans, P., Collet, P. & Lahire, P., 1 Jan 2012.

Research output: Contribution to conferencePaper

Next-Generation Model-based Variability Management: Languages and Tools (Tutorial)

Acher, M., Michel, R. & Heymans, P., 2012, (Unpublished) Proceedings of the 16th International Software Product Line Conference (SPLC'12).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Next-Generation Model-based Variability Management: Languages and Tools (Tutorial)

Acher, M., Heymans, P., Collet, P. & Lahire, P., 2012, 15th International Conference on Model Driven Engineering Languages & Systems (MODELS'12).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

On Extracting Feature Models From Product Descriptions

Acher, M., Cleve, A., Perrouin, G., Heymans, P., Collet, P., Lahire, P. & Vanbeneden, C., 2012, Proceedings of the 6th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2012). Ulrich, W., Sven, E. & Stefania, A. (eds.). ACM Press, p. 45-54 10 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Product portfolio scope optimization based on features and goals

Gillain, J., Faulkner, S., Heymans, P., Jureta, I. & Snoeck, M., 2012, Proceedings - 16th International Software Product Line Conference, SPLC 2012. Vol. 1. p. 161-170 10 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Promoting Sustainability, Collaboration and Creativity in Requirements Engineering Education

Mahaux, M. & Heymans, P., 2012, (Unpublished) Proceedings of the 1st International Conference on Requirements Engineering for Sustainable Systems. Salinesi, C. (ed.).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Simulation-Based Abstractions for Software Product-Line Model Checking

Cordy, M., Classen, A., Perrouin, G., Heymans, P., Schobbens, P-Y. & Legay, A., 2012, Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9. IEEE, Vol. 672-682.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
29 Downloads (Pure)

Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management

Matulevicius, R., Mouratidis, H., Mayer, N., Dubois, E. & Heymans, P., 1 Jan 2012, In : Journal of Universal Computer Science. 6, p. 816-844 29 p.

Research output: Contribution to journalArticle

Towards a More Semantically Transparent i* Visual Syntax

Genon, N., Caire, P. P., Toussaint, H., Heymans, P. & Moody, D., 2012, (Unpublished) Proceedings of the 18th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'12). Regnell, B. & Damian, D. (eds.). Springer, Vol. 7195. p. 140-146 7 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Towards an incremental automata-based approach for software product-line model checking

Cordy, M., Schobbens, P., Heymans, P. & Legay, A., 1 Jan 2012, ACM International Conference Proceeding Series. Vol. 2. p. 74-81 8 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Open Access
File
70 Downloads (Pure)

Towards Configurable ISO 29110-compliant Software Development Processes for Very Small Entities

Boucher, Q., Perrouin, G., Deprez, J-C. & Heymans, P., 2012, Proceedings of the 19th European System, Software & Service Process Improvement & Innovation Conference (EuroSPI'12), Vienna, Austria. Springer, p. 169-180 12 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
227 Downloads (Pure)

Towards More Reliable Configurators: A Re-engineering Perspective

Boucher, Q., Abbasi, E. K., Hubaux, A., Perrouin, G., Acher, M. & Heymans, P., 2012, (Unpublished) Proceedings of the 3rd Product LinE Approaches in Software Engineering (PLEASE'12), co-located with ICSE'12, Zurich, Switzeland. p. 29-32

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
86 Downloads (Pure)

Unifying Software and Product Configuration: A Research Roadmap (to appear)

Hubaux, A., Dietmar, J., Drescher, C., Murta, L., Mannisto, T., Czarnecki, K., Heymans, P., Nguyen, T. & Zanker, M., 1 Jan 2012.

Research output: Contribution to conferencePaper

Visual Notation Design 2.0: Involving Naive Users in Designing RE Notations

Caire, P. P., Genon, N., Heymans, P. & Moody, D., 2012, (Unpublished) Proceedings of the 20th IEEE International Requirements Engineering Conference (RE'12) [submitted].

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

2013

Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features

Cordy, M., Schobbens, P. Y., Heymans, P. & Legay, A., 30 Oct 2013, Proceedings - International Conference on Software Engineering. p. 472-481 10 p. 6606593

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
80 Downloads (Pure)

Efficient quality assurance of variability-intensive systems

Heymans, P., Legay, A. & Cordy, M., 30 Oct 2013, Proceedings - International Conference on Software Engineering. p. 1496-1498 3 p. 6606757

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Feature model extraction from large collections of informal product descriptions

Davril, J-M., Delfosse, E., Hariri, N., Acher, M., Cleland-Huang, J. & Heymans, P., 16 Sep 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 - Proceedings. p. 290-300 11 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Features meet scenarios: Modeling and consistency-checking scenario-based product line specifications

Greenyer, J., Molzam Sharifloo, A., Cordy, M. & Heymans, P., 1 Jun 2013, In : Requirements Engineering. 18, 2, p. 175-198 24 p.

Research output: Contribution to journalArticle

Incrementally synthesizing controllers from scenario-based product line specifications

Greenyer, J., Brenner, C., Cordy, M., Heymans, P. & Gressi, E., 16 Sep 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 - Proceedings. p. 433-443 11 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Model checking adaptive software with featured transition systems

Cordy, M., Classen, A., Heymans, P., Legay, A. & Schobbens, P., 1 Jan 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Principles, Models, and Techniques. Cámara, J., de Lemos, R., Ghezzi, C. & Lopes, A. (eds.). Heidelberg Dordrecht London New York: Springer, Vol. 7740. p. 1-29 29 p. (Lecture Notes in Computer Science).

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

Open Access
File
189 Downloads (Pure)

ProVeLines: A Product Line of Verifiers for Software Product Lines

Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y. & Legay, A., Aug 2013, p. 141 - 146. 6 p.

Research output: Contribution to conferencePaper