Model checking lots of systems: efficient verification of temporal properties in software product lines
Classen, Andreas, Heymans, Patrick, Schobbens, Pierre-Yves, Legay, Axel, Raskin, Jean-François
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Get full text
Conference Proceeding
Symbolic model checking of software product lines
Classen, Andreas, Heymans, Patrick, Schobbens, Pierre-Yves, Legay, Axel
Published in 2011 33rd International Conference on Software Engineering (ICSE) (21.05.2011)
Published in 2011 33rd International Conference on Software Engineering (ICSE) (21.05.2011)
Get full text
Conference Proceeding
Simulation-based abstractions for software product-line model checking
Cordy, M., Classen, A., Perrouin, G., Schobbens, P., Heymans, P., Legay, A.
Published in 2012 34th International Conference on Software Engineering (ICSE) (01.06.2012)
Published in 2012 34th International Conference on Software Engineering (ICSE) (01.06.2012)
Get full text
Conference Proceeding
New product introduction between two geographically dispersed entities
Classen, A., Lopez, L.A.
Published in IEMC '98 Proceedings. International Conference on Engineering and Technology Management. Pioneering New Technologies: Management Issues and Challenges in the Third Millennium (Cat. No.98CH36266) (1998)
Published in IEMC '98 Proceedings. International Conference on Engineering and Technology Management. Pioneering New Technologies: Management Issues and Challenges in the Third Millennium (Cat. No.98CH36266) (1998)
Get full text
Conference Proceeding
Analysis of Feature Configuration Workflows
Classen, A., Hubaux, A., Heymans, P.
Published in 2009 17th IEEE International Requirements Engineering Conference (01.08.2009)
Published in 2009 17th IEEE International Requirements Engineering Conference (01.08.2009)
Get full text
Conference Proceeding