Pierre-Yves Schobbens

151 papers A* 7A 9B 12C 9Misc 1Journal 36Unranked 71

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Extending Timed Automata with Clock Derivatives. iFM David Cortés, Jean Leneutre, Vadim Malvone, James Jerson Ortiz, Pierre-Yves Schobbens
2025	J	`jnl`	MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-Based Systems. Softw. Test. Verification Reliab. Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens
2024	—	`conf`	A Context-Aware Chatbot for Student Assistance Services in Higher Education. CSEDU (1) Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens
2024	B	`conf`	CNNGen: A Generator and a Dataset for Energy-Aware Neural Architecture Search. ESANN Antoine Gratia, Hong Liu, Shin'ichi Satoh, Paul Temple, Pierre-Yves Schobbens, Gilles Perrouin
2024	J	`jnl`	Deep variability modeling to enhance reproducibility of database performance testing. Clust. Comput. Abdelkader Ouared, Moussa Amrani, Abdelhafid Chadli, Pierre-Yves Schobbens
2024	—	`conf`	Energy-Aware Neural Architecture Search: Leveraging Genetic Algorithms for Balancing Performance and Consumption. WIVACE Antoine Gratia, Paul Temple, Pierre-Yves Schobbens, Gilles Perrouin
2024	—	`conf`	Time for Networks: Mutation Testing for Timed Automata Networks. FormaliSE@ICSE David Cortés, James Ortiz, Davide Basile, Jesús Aranda, Gilles Perrouin, Pierre-Yves Schobbens
2024	J	`jnl`	You Can REST Now: Automated Specification Inference and Black-Box Testing of RESTful APIs with Large Language Models. CoRR Alix Decrop, Gilles Perrouin, Mike Papadakis, Xavier Devroey, Pierre-Yves Schobbens
2023	—	`conf`	Architectural Bad Smells for Self-Adaptive Systems: Go Runtime! VaMoS Edilton Lima dos Santos, Pierre-Yves Schobbens, Ivan Machado, Gilles Perrouin
2023	C	`conf`	Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts. VECoS Moussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens
2023	J	`jnl`	Explainable AI for DBA: Bridging the DBA's experience and machine learning in tuning database systems. Concurr. Comput. Pract. Exp. Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens
2023	—	`conf`	Generating Custom Learned Cost Model for Query Optimizer of DBMS. MODELSWARD (Revised Selected Papers) Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens
2023	C	`conf`	Go Meta of Learned Cost Models: On the Power of Abstraction. MODELSWARD Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens
2023	—	`conf`	Learning Analytics Solution for Monitoring and Analyzing the Students' Behavior in SQL Lab Work. CSEDU (2) Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens
2023	—	`conf`	MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL. ICSTW Jaime Cuartas, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens
2023	J	`jnl`	Providing command and control agility: A software product line approach. Expert Syst. Appl. Junier Caminha Amorim, Eduardo Lemos Rocha, Luigi Minardi, Vander Alves, Edison Pignaton de Freitas, Thiago M. Castro, Moussa Amrani, James Ortiz, Pierre-Yves Schobbens, Gilles Perrouin
2023	—	`conf`	Towards Strengthening Formal Specifications with Mutation Model Checking. ESEC/SIGSOFT FSE Maxime Cordy, Sami Lazreg, Axel Legay, Pierre-Yves Schobbens
2022	J	`jnl`	COMORP: Rapid prototyping for mathematical database cost models development. J. Comput. Lang. Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens
2022	—	`conf`	Featured Scents: Towards Assessing Architectural Smells for Self-Adaptive Systems at Runtime. ICSA Companion Edilton Lima dos Santos, Pierre-Yves Schobbens, Gilles Perrouin
2022	—	`conf`	Towards the systematic design of model animation: key ingredients and general guidelines. MoDELS (Companion) Moussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens
2021	—	`conf`	A Vision to identify Architectural Smells in Self-Adaptive Systems using Behavioral Maps (short paper). ECSA (Companion) Edilton Lima dos Santos, Sophie Fortz, Gilles Perrouin, Pierre-Yves Schobbens
2021	—	`conf`	Behavioral Maps: Identifying Architectural Smells in Self-adaptive Systems at Runtime. ECSA (Tracks and Workshops) Edilton Lima dos Santos, Sophie Fortz, Pierre-Yves Schobbens, Gilles Perrouin
2021	—	`ed.`	SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kindom, September 6-11, 2021, Volume B SPLC (B) Mohammad Reza Mousavi, Pierre-Yves Schobbens
2021	—	`ed.`	SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kingdom, September 6-11, 2021, Volume A SPLC (A) Mohammad Reza Mousavi, Pierre-Yves Schobbens
2020	—	`conf`	InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics. MECO Eun-Young Kang, Pierre-Yves Schobbens
2020	—	`conf`	STARS: software technology for adaptable and reusable systems PhD research project. VaMoS Edilton Lima dos Santos, Gilles Perrouin, Pierre-Yves Schobbens
2019	—	`conf`	A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin
2019	—	`conf`	Feature-family-based reliability analysis of software product lines. SPLC (A) André Lanna, Thiago M. Castro, Vander Alves, Genaína Nunes Rodrigues, Pierre-Yves Schobbens, Sven Apel
2019	—	`conf`	ML NFM James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens
2018	—	`conf`	A lightweight data sharing system based on bidirectional transformations. Programming Adrien Duchêne, Hugues Marchal, Zhenjiang Hu, Pierre-Yves Schobbens
2018	J	`jnl`	All roads lead to Rome: Commuting strategies for product-line reliability analysis. Sci. Comput. Program. Thiago M. Castro, André Lanna, Vander Alves, Leopoldo Teixeira, Sven Apel, Pierre-Yves Schobbens
2018	J	`jnl`	Feature interaction in software product line engineering: A systematic mapping study. Inf. Softw. Technol. Larissa Rocha Soares, Pierre-Yves Schobbens, Ivan do Carmo Machado, Eduardo Santana de Almeida
2018	J	`jnl`	Feature-family-based reliability analysis of software product lines. Inf. Softw. Technol. André Lanna, Thiago M. Castro, Vander Alves, Genaína Nunes Rodrigues, Pierre-Yves Schobbens, Sven Apel
2018	C	`conf`	Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda. QRS James Jerson Ortiz Vega, Gilles Perrouin, Moussa Amrani, Pierre-Yves Schobbens
2018	J	`jnl`	Model-based mutant equivalence detection using automata language equivalence and simulations. J. Syst. Softw. Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2017	A	`conf`	Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. ICST Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2017	—	`conf`	Formal Analysis of Object-Oriented Mograms. FTfJP@ECOOP Moussa Amrani, Pierre-Yves Schobbens
2017	—	`conf`	Multi-timed Bisimulation for Distributed Timed Automata. NFM James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens
2017	B	`conf`	On Featured Transition Systems. SOFSEM Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans
2017	B	`conf`	Public Debates on the Web. ICWE Fabian Gilson, André Bittar, Pierre-Yves Schobbens
2017	J	`jnl`	Statistical prioritization for software product line testing: an experience report. Softw. Syst. Model. Xavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2016	C	`conf`	Counterexample guided abstraction refinement of product-line behavioural models. Software Engineering Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker
2016	—	`conf`	Featured model types: towards systematic reuse in modelling language engineering. MiSE@ICSE Gilles Perrouin, Moussa Amrani, Mathieu Acher, Benoît Combemale, Axel Legay, Pierre-Yves Schobbens
2016	A*	`conf`	Featured model-based mutation analysis. ICSE Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2016	—	`conf`	Real-time model-driven engineering: an overview. PAME/VOLT@MoDELS Moussa Amrani, Pierre-Yves Schobbens
2016	—	`conf`	Reusable self-adaptation through bidirectional programming. SEAMS@ICSE Kevin Colson, Robin Dupuis, Lionel Montrieux, Zhenjiang Hu, Sebastián Uchitel, Pierre-Yves Schobbens
2016	—	`conf`	Search-based Similarity-driven Behavioural SPL Testing. VaMoS Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2015	—	`conf`	Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. VaMoS Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2015	—	`conf`	Modeling and Verification for Probabilistic Properties in Software Product Lines. HASE Genaína Nunes Rodrigues, Vander Alves, Vinicius Nunes, André Lanna, Maxime Cordy, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Axel Legay
2015	—	`conf`	Poster: VIBeS, Transition System Mutation Made Easy. ICSE (2) Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans
2015	—	`conf`	State machine flattening, a mapping study and tools assessment. ICST Workshops Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
2014	—	`conf`	A variability perspective of mutation analysis. SIGSOFT FSE Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens
2014	—	`conf`	Abstract test case generation for behavioural testing of software product lines. SPLC Workshops Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens
2014	—	`conf`	An extensible platform for product-line behavioural analysis. SPLC Workshops Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens
2014	—	`conf`	ArThUR: A Tool for Markov Logic Network. OTM Workshops Axel Bodart, Keyvin Evrard, James Jerson Ortiz, Pierre-Yves Schobbens
2014	—	`conf`	Counterexample guided abstraction refinement of product-line behavioural models. SIGSOFT FSE Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker
2014	—	`conf`	Coverage Criteria for Behavioural Testing of Software Product Lines. ISoLA (1) Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans
2014	J	`jnl`	Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
2014	Misc	`conf`	Schedulability analysis support for automotive systems: from requirement to implementation. SAC Eun-Young Kang, Pierre-Yves Schobbens
2014	J	`jnl`	State Machine Flattening: Mapping Study and Assessment. CoRR Xavier Devroey, Gilles Perrouin, Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
2014	—	`conf`	Towards statistical prioritization for software product lines testing. VaMoS Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
2013	—	`conf`	A framework for the rigorous design of highly adaptive timed systems. FormaliSE@ICSE Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez
2013	J	`jnl`	A methodology for formal analysis and verification of EAST-ADL models. Reliab. Eng. Syst. Saf. Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Pierre-Yves Schobbens, Paul Pettersson
2013	A*	`conf`	Beyond boolean product-line model checking: dealing with feature attributes and multi-features. ICSE Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2013	—	`conf`	Enabling formal analysis of energy-aware automotive embedded systems in East-adl. SpringSim (TMS-DEVS) Eun-Young Kang, Pierre-Yves Schobbens
2013	—	`conf`	Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems. ICCA Eun-Young Kang, Pierre-Yves Schobbens
2013	J	`jnl`	Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Trans. Software Eng. Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin
2013	—	`conf`	Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques. IC Damien De Nizza, James Jerson Ortiz, Hubert Meurisse, Pierre-Yves Schobbens
2013	—	`ch.`	Model Checking Adaptive Software with Featured Transition Systems. Assurances for Self-Adaptive Systems Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
2013	B	`conf`	Model-Based Verification of Energy-Aware Real-Time Automotive Systems. ICECCS Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens
2013	—	`conf`	ORTHOGEN : Système d'information intégré pour la traçabilité et la Gestion Multi-Paramètres des Infections Orthopédiques. INFORSID Damien De Nizza, James Jerson Ortiz, Hubert Meurisse, Pierre-Yves Schobbens
2013	—	`conf`	ProVeLines: a product line of verifiers for software product lines. SPLC Workshops Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
2013	J	`jnl`	Supporting multiple perspectives in feature-based configuration. Softw. Syst. Model. Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder, Ebrahim Khalil Abbasi
2013	J	`jnl`	Towards Statistical Prioritization for Software Product Lines Testing. CoRR Xavier Devroey, Maxime Cordy, Gilles Perrouin, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
2013	J	`jnl`	Verification for Reliable Product Lines. CoRR Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay
2012	—	`conf`	A Vision for Behavioural Model-Driven Validation of Software Product Lines. ISoLA (1) Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry
2012	—	`conf`	Behavioural modelling and verification of real-time software product lines. SPLC (1) Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2012	—	`conf`	Managing evolution in software product lines: a model-checking perspective. VaMoS Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2012	J	`jnl`	Model checking software product lines with SNIP. Int. J. Softw. Tools Technol. Transf. Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
2012	A*	`conf`	Simulation-based abstractions for software product-line model checking. ICSE Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2012	—	`conf`	Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach. QSIC Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens
2012	—	`conf`	Towards an incremental automata-based approach for software product-line model checking. SPLC (2) Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
2011	C	`conf`	Distributed Event Clock Automata - Extended Abstract. CIAA James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens
2011	A*	`conf`	Symbolic model checking of software product lines. ICSE Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
2011	B	`conf`	Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. SAFECOMP Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson
2010	—	`conf`	Memory Event Clocks. FORMATS James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens
2010	—	`conf`	Model checking lots of systems: efficient verification of temporal properties in software product lines. ICSE (1) Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin
2010	A*	`conf`	Tool support for code generation from a UMLsec property. ASE Lionel Montrieux, Jan Jürjens, Charles B. Haley, Yijun Yu, Pierre-Yves Schobbens, Hubert Toussaint
2010	B	`conf`	Towards Multi-view Feature-Based Configuration. REFSQ Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder
2008	J	`jnl`	Clear justification of modeling decisions for goal-oriented requirements engineering. Requir. Eng. Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
2008	J	`jnl`	Evaluating formal properties of feature diagram languages. IET Softw. Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen
2008	—	`conf`	Model Co-evolution and Consistency Management (MCCM'08). MoDELS (Workshops) Dirk Deridder, Jeff Gray, Alfonso Pierantonio, Pierre-Yves Schobbens
2008	B	`conf`	What's in a Feature: A Requirements Engineering Perspective. FASE Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens
2007	—	`conf`	Achieving, Satisficing, and Excelling. ER Workshops Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
2007	A	`conf`	Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis. RE Andreas Metzger, Patrick Heymans, Klaus Pohl, Pierre-Yves Schobbens, Germain Saval
2007	J	`jnl`	Generic semantics of feature diagrams. Comput. Networks Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps
2007	J	`jnl`	Model-checking the preservation of temporal properties upon feature integration. Int. J. Softw. Tools Technol. Transf. Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
2007	—	`ed.`	Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers WADT José Luiz Fiadeiro, Pierre-Yves Schobbens
2007	J	`jnl`	Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence. Tech. Sci. Informatiques Yves Bontemps, Germain Saval, Pierre-Yves Schobbens, Patrick Heymans
2007	J	`jnl`	The computational complexity of scenario-based agent verification and design. J. Appl. Log. Yves Bontemps, Pierre-Yves Schobbens
2006	A	`conf`	A More Expressive Softgoal Conceptualization for Quality Requirements Analysis. ER Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
2006	—	`conf`	Allocating Goals to Agent Roles During MAS Requirements Engineering. AOSE Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
2006	—	`conf`	Comparative Semantics of Feature Diagrams. EVOL Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps
2006	A	`conf`	Feature Diagrams: A Survey and a Formal Semantics. RE Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux
2006	A	`conf`	Justifying Goal Models. RE Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
2005	A	`conf`	A New Algorithm for Strategy Synthesis in LTL Games. TACAS Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
2005	J	`jnl`	From Live Sequence Charts to State Machines and Back: A Guided Tour. IEEE Trans. Software Eng. Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens
2005	—	`conf`	Generic Semantics of Feature Diagrams Variants. FIW Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux
2005	—	`conf`	Synthesising Features by Games. AVoCS Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
2005	B	`conf`	The Complexity of Live Sequence Charts. FoSSaCS Yves Bontemps, Pierre-Yves Schobbens
2004	C	`conf`	An Algebraic Approach for Codesign. ICTAC Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens
2004	C	`conf`	Model-Checking Access Control Policies. ISC Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobbens
2004	—	`conf`	Model-checking the Preservation of Temporal Properties upon Feature Integration. AVoCS Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
2004	J	`jnl`	Synthesis of Open Reactive Systems from Scenario-Based Specifications. Fundam. Informaticae Yves Bontemps, Pierre-Yves Schobbens, Christof Löding
2003	—	`conf`	Alternating-time logic with imperfect recall. LCMAS Pierre-Yves Schobbens
2003	—	`conf`	Feature Integration as Substitution. FIW Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
2003	—	`conf`	Lightweight Formal Methods for Scenario-Based Software Engineering. Scenarios: Models, Transformations and Tools Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens
2003	—	`conf`	Synthesis of Open Reactive Systems from Scenario-Based Specifications. ACSD Yves Bontemps, Pierre-Yves Schobbens
2003	C	`conf`	Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. TIME Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
2002	J	`jnl`	A two-level temporal logic for evolving specifications. Inf. Process. Lett. Pierre-Yves Schobbens, Gunter Saake, Amílcar Sernadas, Cristina Sernadas
2002	B	`conf`	Approximating ATL VMCAI Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
2002	J	`jnl`	Axioms for real-time logics. Theor. Comput. Sci. Pierre-Yves Schobbens, Jean-François Raskin, Thomas A. Henzinger
2002	J	`jnl`	Operators and Laws for Combining Preference Relations. J. Log. Comput. Hajnal Andréka, Mark Ryan, Pierre-Yves Schobbens
2001	—	`conf`	Agents and Roles: Refinement in Alternating-Time Temporal Logic. ATAL Mark Ryan, Pierre-Yves Schobbens
2001	—	`conf`	Vérification automatique de logiques orientées agent. JFIADSMA Pierre-Yves Schobbens
2000	—	`conf`	Proving feature non-interaction with Alternating-Time Temporal Logic. FIREworks Franck Cassez, Mark Dermot Ryan, Pierre-Yves Schobbens
1999	—	`ed.`	Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers ModelAge Workshop John-Jules Ch. Meyer, Pierre-Yves Schobbens
1999	—	`conf`	Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees. SMC@FLoC Laurent Ferier, Jean-François Raskin, Pierre-Yves Schobbens
1999	J	`jnl`	The Logic of "Initially" and "Next": Complete Axiomatization and Complexity. Inf. Process. Lett. Pierre-Yves Schobbens, Jean-François Raskin
1999	J	`jnl`	The Logic of Event Clocks - Decidability, Complexity and Expressiveness. J. Autom. Lang. Comb. Jean-François Raskin, Pierre-Yves Schobbens
1998	B	`conf`	Axioms for Real-Time Logics. CONCUR Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger
1998	A*	`conf`	The Regular Real-Time Languages. ICALP Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens
1997	J	`jnl`	Counterfactuals and Updates as Inverse Modalities. J. Log. Lang. Inf. Mark Ryan, Pierre-Yves Schobbens
1997	—	`conf`	Formal Models of Agents: An Introduction. ModelAge Workshop John-Jules Ch. Meyer, Pierre-Yves Schobbens
1997	A	`conf`	Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time. TACAS Jean-François Raskin, Pierre-Yves Schobbens
1997	—	`conf`	State Clock Logic: A Decidable Real-Time Logic. HART Jean-François Raskin, Pierre-Yves Schobbens
1996	B	`conf`	Counterfactuals and Updates as Inverse Modalities. TARK Mark Ryan, Pierre-Yves Schobbens, Odinaldo Rodrigues
1996	A	`conf`	Intertranslating Counterfactuals and Updates. ECAI Mark Ryan, Pierre-Yves Schobbens
1995	J	`jnl`	Belief Revision and Verisimilitude. Notre Dame J. Formal Log. Mark Ryan, Pierre-Yves Schobbens
1993	C	`conf`	A Logic for Legal Hierarchies. ICAIL Pierre-Yves Schobbens
1993	J	`jnl`	Exceptions for Algebraic Specifications: On the Meaning of "but". Sci. Comput. Program. Pierre-Yves Schobbens
1993	—	`conf`	Extensions of Initial Models and their Second-Order Proof Systems. HOA Pierre-Yves Schobbens
1992	—	`—`	Exceptions in Algebraic Specifications Pierre-Yves Schobbens
1992	—	`conf`	Second-Order Proof Systems for Algebraic Specification Languages. COMPASS/ADT Pierre-Yves Schobbens
1991	J	`jnl`	An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. Commun. ACM Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens
1991	—	`conf`	Clean Algebraic Exception with Implicit Propagation. AMAST Pierre-Yves Schobbens
1991	—	`conf`	On the meaning of "but". IWSSD Pierre-Yves Schobbens
1990	A*	`conf`	An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. ICSE Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens
1990	—	`conf`	Applying VDM to large developments. Formal Methods in Software Development Yves Ledru, Pierre-Yves Schobbens
1990	—	`conf`	Two Approaches towards the Formalisation of VDM. VDM Europe Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens
1988	A	`conf`	LPG: A Generic, Logic and Functional Programming Language. ESOP Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens, François Wautier