Follow
Pierre Yves Schobbens
Title
Cited by
Cited by
Year
: A Distributed Real-Time Modal Logic
J Ortiz, M Amrani, PY Schobbens
NASA Formal Methods Symposium, 19-35, 2019
32019
18th Belgium-Netherlands Conference on Artificial Intelligence
PY Schobbens, W Vanhoof, G Schwanen
2006
A comparative logic for preferences
PY Schobbens
Working Notes of 3rd ModelAge Workshop: Formal Models of Agents, Sesimbra …, 1996
51996
A Context-Aware Chatbot for Student Assistance Services in Higher Education.
A Ouared, M Amrani, PY Schobbens
Proceedings of the 16th International Conference on Computer Supported …, 2024
2024
A decade of featured transition systems
M Cordy, X Devroey, A Legay, G Perrouin, A Classen, P Heymans, ...
From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019
202019
A Framework for Medical Image Annotations
C Peeters, PY Schobbens
Liliana Cabral (Open University, UK) Tania Tudorache (Stanford University, USA), 0
A framework for the rigorous design of highly adaptive timed systems
M Cordy, A Legay, PY Schobbens, LM Traonouez
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE …, 2013
132013
A General Approach to the Specification and Analysis of Nonfunctional Characteristics and their Relationships
IJ Jureta, S Faulkner, PY Schobbens, J Mylopoulos
2007
A lightweight data sharing system based on bidirectional transformations
A Duchêne, H Marchal, Z Hu, PY Schobbens
Companion Proceedings of the 2nd International Conference on the Art …, 2018
2018
A logic for legal hierarchies
PY Schobbens
Proceedings of the 4th international conference on Artificial intelligence …, 1993
71993
A methodology for formal analysis and verification of EAST-ADL models
EY Kang, EP Enoiu, R Marinescu, C Seceleanu, PY Schobbens, ...
Reliability Engineering & System Safety 120, 127-138, 2013
472013
A more expressive softgoal conceptualization for quality requirements analysis
IJ Jureta, S Faulkner, PY Schobbens
Conceptual Modeling-ER 2006: 25th International Conference on Conceptual …, 2006
712006
A new algorithm for strategy synthesis in LTL games
A Harding, M Ryan, PY Schobbens
Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005
492005
A note on Robinson consistency lemma
M Aiguier, PY Schobbens
12006
A Pattern-Driven Methodology for the Specification and Verification of Component-Based Embedded Systems
EY Kang, PY Schobbens, A Legay
2011
A preliminary review on the application of feature diagrams in practice
A Hubaux, A Classen, M Mendonça, P Heymans
Proceedings of the Fourth Workshop on Variability Modelling of Software …, 2010
682010
A primer on counterexample guided abstraction refinement of product-line behavioural models
M Cordy, B Dawagne, P Heymans, A Legay, M Leucker, PY Schobbens
Gesellschaft für Informatik eV (GI) publishes this series in order to make …, 2016
2016
A two-level temporal logic for evolving specifications
PY Schobbens, G Saake, A Sernadas, C Sernadas
Information Processing Letters 83 (3), 167-172, 2002
42002
A variability perspective of mutation analysis
X Devroey, G Perrouin, M Cordy, M Papadakis, A Legay, PY Schobbens
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
202014
A Variability Perspective of Mutation Analysis Technical Report
X Devroey, G Perrouin, M Cordy, M Papadakis, A Legay, PY Schobbens
2014
The system can't perform the operation now. Try again later.
Articles 1–20