If you made any changes in Pure these will be visible here soon.

Research Output 1986 2019

Filter
Chapter
2013

Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems

Kang, E-Y. & Schobbens, P-Y., 1 Jan 2013, IEEE International Conference on Control and Automation, ICCA. p. 1890-1895 6 p.

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

Real time systems
Telecommunication systems
Brakes
Semantics
Wire
45 Downloads (Pure)

Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques

De Nizza, D., Ortiz Vega, J. J., Meurisse, H. & Schobbens, P-Y., 2013, PFIA 2013: French Symposium of Artificial Intelligence. Lille, 10 p.

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

File
187 Downloads (Pure)

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
Adaptive systems
Model checking
Failure modes
Costs
Modeling languages
2012
115 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
Model checking
Formal methods
Software engineering

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

Model checking
Software engineering
69 Downloads (Pure)

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
Model checking
Temporal logic
Automata theory
Software engineering
2004

La rédaction du Cahier des Charges : pour une méthodologie pluridisciplinaire et participative d'élicitation des exigences : chapitre 3

Petit, M., Rousseau, A., Schobbens, P-Y. & Lobet-Maris, C., 2004, Urgence aux urgences: L'informatique, une solution. Dumont, V., Cl., L. M. & Rousseau, A. (eds.). Namur: Presses universitaires de Namur, p. 53-74

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

2003

Analyse organisationnelle et ingénierie des exigences: préalables à l'informatisation des services des urgences

Petit, M., Rousseau, A., Schobbens, P-Y. & Lobet-Maris, C., 2003, ARTHUR - Manuel d'informatisation des urgences hospitalières, ISBN 2-930344-32-6. Herveg, J. & Rousseau, A. (eds.). Louvain-la-Neuve: Presses universitaires de Louvain, p. 13-53 41 p.

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

1998

ALBERT at the age of five: a progress report

Schobbens, P., 1998, Proc. Dagsthul Seminar on Object-Oriented Software Development. Ehrich, H. D., Feng, Y. & Kung, D. (eds.). Dagstuhl Bericht, Vol. 174.

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

1992

Higher-order proof rules for algebraic specifications

Schobbens, P-Y., 1992, Recent Trends in Data Type Specification: Proceedings of the 5th Workshop on Abstract Data Types (WADT). Orejas, F. (ed.). Vol. 785.

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