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

Research Output 1986 2019

Filter
Paper
2019
83 Downloads (Pure)
Open Access
File
2018
16 Downloads (Pure)

Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda

Ortiz Vega, J. J., Perrouin, G., Amrani, M. & Schobbens, P-Y., 2 Aug 2018, p. 325-332. 8 p.

Research output: Contribution to conferencePaper

Open Access
File
Taxonomies
Testing
Specifications
Costs
2013

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

Translated title of the contribution: Formalization and construction of an ontology in the field of orthopedic infectionsDe Nizza, D., Ortiz, J., Meurisse, H. & Schobbens, P. Y., 1 Jan 2013.

Research output: Contribution to conferencePaper

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

Model checking
Mathematical models
Formal verification