Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDPierre-Yves Schobbens
Person information
- affiliation: University of Namur, Belgium
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[c87]Eun-Young Kang
, Pierre-Yves Schobbens:
InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics. MECO 2020: 1-5- [c86]Edilton Lima dos Santos, Gilles Perrouin, Pierre-Yves Schobbens:
STARS: software technology for adaptable and reusable systems PhD research project. VaMoS 2020: 15:1-15:2
2010 – 2019
- 2019
- [c85]Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin:
A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 285-312 - [c84]James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens:
MLν: A Distributed Real-Time Modal Logic. NFM 2019: 19-35 - [c83]André Lanna, Thiago M. Castro, Vander Alves, Genaína Nunes Rodrigues, Pierre-Yves Schobbens, Sven Apel:
Feature-family-based reliability analysis of software product lines. SPLC (A) 2019: 11:1 - 2018
- [j31]André Lanna, Thiago M. Castro, Vander Alves, Genaína Nunes Rodrigues, Pierre-Yves Schobbens, Sven Apel:
Feature-family-based reliability analysis of software product lines. Inf. Softw. Technol. 94: 59-81 (2018) - [j30]Larissa Rocha Soares, Pierre-Yves Schobbens, Ivan do Carmo Machado, Eduardo Santana de Almeida:
Feature interaction in software product line engineering: A systematic mapping study. Inf. Softw. Technol. 98: 44-58 (2018) - [j29]Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Model-based mutant equivalence detection using automata language equivalence and simulations. J. Syst. Softw. 141: 1-15 (2018) - [j28]Thiago M. Castro, André Lanna, Vander Alves, Leopoldo Teixeira, Sven Apel, Pierre-Yves Schobbens:
All roads lead to Rome: Commuting strategies for product-line reliability analysis. Sci. Comput. Program. 152: 116-160 (2018) - [c82]Adrien Duchêne, Hugues Marchal, Zhenjiang Hu, Pierre-Yves Schobbens:
A lightweight data sharing system based on bidirectional transformations. Programming 2018: 42-45 - [c81]James Jerson Ortiz Vega, Gilles Perrouin, Moussa Amrani, Pierre-Yves Schobbens:
Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda. QRS 2018: 325-332 - 2017
- [j27]Xavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Statistical prioritization for software product line testing: an experience report. Softw. Syst. Model. 16(1): 153-171 (2017) - [c80]Moussa Amrani, Pierre-Yves Schobbens:
Formal Analysis of Object-Oriented Mograms. FTfJP@ECOOP 2017: 2:1-2:6 - [c79]Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. ICST 2017: 424-429 - [c78]Fabian Gilson, André Bittar, Pierre-Yves Schobbens:
Public Debates on the Web. ICWE 2017: 520-532 - [c77]James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens:
Multi-timed Bisimulation for Distributed Timed Automata. NFM 2017: 52-67 - [c76]Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans:
On Featured Transition Systems. SOFSEM 2017: 453-463 - 2016
- [c75]Gilles Perrouin, Moussa Amrani, Mathieu Acher, Benoît Combemale, Axel Legay, Pierre-Yves Schobbens:
Featured model types: towards systematic reuse in modelling language engineering. MiSE@ICSE 2016: 1-7 - [c74]Kevin Colson, Robin Dupuis, Lionel Montrieux, Zhenjiang Hu, Sebastián Uchitel, Pierre-Yves Schobbens:
Reusable self-adaptation through bidirectional programming. SEAMS@ICSE 2016: 4-15 - [c73]Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Featured model-based mutation analysis. ICSE 2016: 655-666 - [c72]Moussa Amrani, Pierre-Yves Schobbens:
Real-time model-driven engineering: an overview. PAME/VOLT@MODELS 2016: 18-27 - [c71]Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker:
Counterexample guided abstraction refinement of product-line behavioural models. Software Engineering 2016: 79-80 - [c70]Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Search-based Similarity-driven Behavioural SPL Testing. VaMoS 2016: 89-96 - 2015
- [c69]Genaína Nunes Rodrigues, Vander Alves, Vinicius Nunes, André Lanna, Maxime Cordy, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Axel Legay:
Modeling and Verification for Probabilistic Properties in Software Product Lines. HASE 2015: 173-180 - [c68]Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans:
Poster: VIBeS, Transition System Mutation Made Easy. ICSE (2) 2015: 817-818 - [c67]Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans:
State machine flattening, a mapping study and tools assessment. ICST Workshops 2015: 1-8 - [c66]Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. VaMoS 2015: 59 - 2014
- [j26]Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. 80: 416-439 (2014) - [c65]Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans:
Coverage Criteria for Behavioural Testing of Software Product Lines. ISoLA (1) 2014: 336-350 - [c64]Axel Bodart, Keyvin Evrard, James Jerson Ortiz, Pierre-Yves Schobbens:
ArThUR: A Tool for Markov Logic Network. OTM Workshops 2014: 319-328 - [c63]Eun-Young Kang, Pierre-Yves Schobbens:
Schedulability analysis support for automotive systems: from requirement to implementation. SAC 2014: 1080-1085 - [c62]Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker:
Counterexample guided abstraction refinement of product-line behavioural models. SIGSOFT FSE 2014: 190-201 - [c61]Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens:
A variability perspective of mutation analysis. SIGSOFT FSE 2014: 841-844 - [c60]Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens:
Abstract test case generation for behavioural testing of software product lines. SPLC Workshops 2014: 86-93 - [c59]Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens:
An extensible platform for product-line behavioural analysis. SPLC Workshops 2014: 102-109 - [c58]Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans:
Towards statistical prioritization for software product lines testing. VaMoS 2014: 10:1-10:7 - [i3]Xavier Devroey, Gilles Perrouin, Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
State Machine Flattening: Mapping Study and Assessment. CoRR abs/1403.5398 (2014) - 2013
- [j25]Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Pierre-Yves Schobbens, Paul Pettersson:
A methodology for formal analysis and verification of EAST-ADL models. Reliab. Eng. Syst. Saf. 120: 127-138 (2013) - [j24]Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder, Ebrahim Khalil Abbasi:
Supporting multiple perspectives in feature-based configuration. Softw. Syst. Model. 12(3): 641-663 (2013) - [j23]Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin:
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Trans. Software Eng. 39(8): 1069-1089 (2013) - [c57]Damien De Nizza, James Jerson Ortiz, Hubert Meurisse, Pierre-Yves Schobbens:
Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques. IC 2013: 319-329 - [c56]Eun-Young Kang, Pierre-Yves Schobbens:
Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems. ICCA 2013: 1890-1895 - [c55]Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens:
Model-Based Verification of Energy-Aware Real-Time Automotive Systems. ICECCS 2013: 135-144 - [c54]Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez:
A framework for the rigorous design of highly adaptive timed systems. FormaliSE@ICSE 2013: 64-70 - [c53]Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Beyond boolean product-line model checking: dealing with feature attributes and multi-features. ICSE 2013: 472-481 - [c52]Damien De Nizza, James Jerson Ortiz, Hubert Meurisse, Pierre-Yves Schobbens:
ORTHOGEN : Système d'information intégré pour la traçabilité et la Gestion Multi-Paramètres des Infections Orthopédiques. INFORSID 2013: 421-436 - [c51]Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay:
ProVeLines: a product line of verifiers for software product lines. SPLC Workshops 2013: 141-146 - [c50]Eun-Young Kang, Pierre-Yves Schobbens:
Enabling formal analysis of energy-aware automotive embedded systems in East-adl. SpringSim (TMS-DEVS) 2013: 9 - [p1]Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Model Checking Adaptive Software with Featured Transition Systems. Assurances for Self-Adaptive Systems 2013: 1-29 - [i2]Xavier Devroey, Maxime Cordy, Gilles Perrouin, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans:
Towards Statistical Prioritization for Software Product Lines Testing. CoRR abs/1310.2474 (2013) - [i1]Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay:
Verification for Reliable Product Lines. CoRR abs/1311.1343 (2013) - 2012
- [j22]Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Model checking software product lines with SNIP. Int. J. Softw. Tools Technol. Transf. 14(5): 589-612 (2012) - [c49]Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Simulation-based abstractions for software product-line model checking. ICSE 2012: 672-682 - [c48]Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry:
A Vision for Behavioural Model-Driven Validation of Software Product Lines. ISoLA (1) 2012: 208-222 - [c47]Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens:
Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach. QSIC 2012: 124-127 - [c46]Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Behavioural modelling and verification of real-time software product lines. SPLC (1) 2012: 66-75 - [c45]Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Towards an incremental automata-based approach for software product-line model checking. SPLC (2) 2012: 74-81 - [c44]Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Managing evolution in software product lines: a model-checking perspective. VaMoS 2012: 183-191 - 2011
- [c43]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay:
Symbolic model checking of software product lines. ICSE 2011: 321-330 - [c42]Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson:
Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. SAFECOMP 2011: 243-256 - [c41]James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens:
Distributed Event Clock Automata - Extended Abstract. CIAA 2011: 250-263 - 2010
- [c40]James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens:
Memory Event Clocks. FORMATS 2010: 198-212 - [c39]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin:
Model checking lots of systems: efficient verification of temporal properties in software product lines. ICSE (1) 2010: 335-344 - [c38]Lionel Montrieux, Jan Jürjens, Charles B. Haley, Yijun Yu, Pierre-Yves Schobbens, Hubert Toussaint:
Tool support for code generation from a UMLsec property. ASE 2010: 357-358 - [c37]Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder:
Towards Multi-view Feature-Based Configuration. REFSQ 2010: 106-112
2000 – 2009
- 2008
- [j21]Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen:
Evaluating formal properties of feature diagram languages. IET Softw. 2(3): 281-302 (2008) - [j20]Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens:
Clear justification of modeling decisions for goal-oriented requirements engineering. Requir. Eng. 13(2): 87-115 (2008) - [c36]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens:
What's in a Feature: A Requirements Engineering Perspective. FASE 2008: 16-30 - [c35]Dirk Deridder, Jeff Gray, Alfonso Pierantonio, Pierre-Yves Schobbens:
Model Co-evolution and Consistency Management (MCCM'08). MoDELS Workshops 2008: 120-123 - 2007
- [j19]Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps:
Generic semantics of feature diagrams. Comput. Networks 51(2): 456-479 (2007) - [j18]Yves Bontemps, Pierre-Yves Schobbens:
The computational complexity of scenario-based agent verification and design. J. Appl. Log. 5(2): 252-276 (2007) - [j17]Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens:
Model-checking the preservation of temporal properties upon feature integration. Int. J. Softw. Tools Technol. Transf. 9(1): 53-62 (2007) - [j16]Yves Bontemps, Germain Saval, Pierre-Yves Schobbens, Patrick Heymans:
Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence. Tech. Sci. Informatiques 26(7): 797-817 (2007) - [c34]Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens:
Achieving, Satisficing, and Excelling. ER Workshops 2007: 286-295 - [c33]Andreas Metzger, Patrick Heymans, Klaus Pohl, Pierre-Yves Schobbens, Germain Saval:
Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis. RE 2007: 243-253 - [e2]José Luiz Fiadeiro, Pierre-Yves Schobbens:
Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4409, Springer 2007, ISBN 978-3-540-71997-7 [contents] - 2006
- [j15]Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens:
Synthesising Features by Games. Electron. Notes Theor. Comput. Sci. 145: 79-93 (2006) - [c32]Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens:
Allocating Goals to Agent Roles During MAS Requirements Engineering. AOSE 2006: 19-34 - [c31]Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens:
A More Expressive Softgoal Conceptualization for Quality Requirements Analysis. ER 2006: 281-295 - [c30]Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps:
Comparative Semantics of Feature Diagrams. EVOL 2006: 181-186 - [c29]Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens:
Justifying Goal Models. RE 2006: 116-125 - [c28]Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux:
Feature Diagrams: A Survey and a Formal Semantics. RE 2006: 136-145 - 2005
- [j14]Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens:
Model-checking the Preservation of Temporal Properties upon Feature Integration. Electron. Notes Theor. Comput. Sci. 128(6): 311-324 (2005) - [j13]Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens:
From Live Sequence Charts to State Machines and Back: A Guided Tour. IEEE Trans. Software Eng. 31(12): 999-1014 (2005) - [c27]Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux:
Generic Semantics of Feature Diagrams Variants. FIW 2005: 58-77 - [c26]Yves Bontemps, Pierre-Yves Schobbens:
The Complexity of Live Sequence Charts. FoSSaCS 2005: 364-378 - [c25]Aidan Harding, Mark Ryan, Pierre-Yves Schobbens:
A New Algorithm for Strategy Synthesis in LTL Games. TACAS 2005: 477-492 - 2004
- [j12]Pierre-Yves Schobbens:
Alternating-time logic with imperfect recall. Electron. Notes Theor. Comput. Sci. 85(2): 82-93 (2004) - [j11]Yves Bontemps, Pierre-Yves Schobbens, Christof Löding:
Synthesis of Open Reactive Systems from Scenario-Based Specifications. Fundam. Informaticae 62(2): 139-169 (2004) - [c24]Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens:
An Algebraic Approach for Codesign. ICTAC 2004: 415-430 - [c23]Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobbens:
Model-Checking Access Control Policies. ISC 2004: 219-230 - 2003
- [c22]Yves Bontemps, Pierre-Yves Schobbens:
Synthesis of Open Reactive Systems from Scenario-Based Specifications. ACSD 2003: 41-50 - [c21]Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens:
Lightweight Formal Methods for Scenario-Based Software Engineering. Scenarios: Models, Transformations and Tools 2003: 174-192 - [c20]Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens:
Feature Integration as Substitution. FIW 2003: 275-294 - [c19]Aidan Harding, Mark Ryan, Pierre-Yves Schobbens:
Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. TIME 2003: 137-146 - 2002
- [j10]Pierre-Yves Schobbens, Gunter Saake, Amílcar Sernadas, Cristina Sernadas:
A two-level temporal logic for evolving specifications. Inf. Process. Lett. 83(3): 167-172 (2002) - [j9]Hajnal Andréka, Mark Ryan, Pierre-Yves Schobbens:
Operators and Laws for Combining Preference Relations. J. Log. Comput. 12(1): 13-53 (2002) - [j8]Pierre-Yves Schobbens, Jean-François Raskin, Thomas A. Henzinger:
Axioms for real-time logics. Theor. Comput. Sci. 274(1-2): 151-182 (2002) - [c18]Aidan Harding, Mark Ryan, Pierre-Yves Schobbens:
Approximating ATL* in ATL. VMCAI 2002: 289-301 - 2001
- [c17]Mark Ryan, Pierre-Yves Schobbens:
Agents and Roles: Refinement in Alternating-Time Temporal Logic. ATAL 2001: 100-114 - [c16]Pierre-Yves Schobbens:
Vérification automatique de logiques orientées agent. JFIADSMA 2001: 13-16 - 2000
- [c15]Franck Cassez, Mark Dermot Ryan, Pierre-Yves Schobbens:
Proving feature non-interaction with Alternating-Time Temporal Logic. FIREworks 2000: 85-103
1990 – 1999
- 1999
- [j7]Laurent Ferier, Jean-François Raskin, Pierre-Yves Schobbens:
Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees. Electron. Notes Theor. Comput. Sci. 23(2): 108-126 (1999) - [j6]Pierre-Yves Schobbens, Jean-François Raskin:
The Logic of "Initially" and "Next": Complete Axiomatization and Complexity. Inf. Process. Lett. 69(5): 221-225 (1999) - [j5]Jean-François Raskin, Pierre-Yves Schobbens:
The Logic of Event Clocks - Decidability, Complexity and Expressiveness. J. Autom. Lang. Comb. 4(3): 247-282 (1999) - [e1]John-Jules Ch. Meyer, Pierre-Yves Schobbens:
Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers. Lecture Notes in Computer Science 1760, Springer 1999, ISBN 3-540-67027-0 [contents] - 1998
- [c14]Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger:
Axioms for Real-Time Logics. CONCUR 1998: 219-236 - [c13]Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens:
The Regular Real-Time Languages. ICALP 1998: 580-591 - 1997
- [j4]Mark Ryan, Pierre-Yves Schobbens:
Counterfactuals and Updates as Inverse Modalities. J. Log. Lang. Inf. 6(2): 123-146 (1997) - [c12]Jean-François Raskin, Pierre-Yves Schobbens:
State Clock Logic: A Decidable Real-Time Logic. HART 1997: 33-47 - [c11]John-Jules Ch. Meyer, Pierre-Yves Schobbens:
Formal Models of Agents: An Introduction. ModelAge Workshop 1997: 1-7 - [c10]Jean-François Raskin, Pierre-Yves Schobbens:
Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time. TACAS 1997: 165-182 - 1996
- [c9]Mark Ryan, Pierre-Yves Schobbens:
Intertranslating Counterfactuals and Updates. ECAI 1996: 100-104 - [c8]Mark Ryan, Pierre-Yves Schobbens, Odinaldo Rodrigues:
Counterfactuals and Updates as Inverse Modalities. TARK 1996: 163-173 - 1995
- [j3]Mark Ryan, Pierre-Yves Schobbens:
Belief Revision and Verisimilitude. Notre Dame J. Formal Log. 36(1): 15-29 (1995) - 1993
- [j2]Pierre-Yves Schobbens:
Exceptions for Algebraic Specifications: On the Meaning of "but". Sci. Comput. Program. 20(1-2): 73-111 (1993) - [c7]Pierre-Yves Schobbens:
Extensions of Initial Models and their Second-Order Proof Systems. HOA 1993: 326-344 - [c6]Pierre-Yves Schobbens:
A Logic for Legal Hierarchies. ICAIL 1993: 272-281 - 1992
- [c5]Pierre-Yves Schobbens:
Second-Order Proof Systems for Algebraic Specification Languages. COMPASS/ADT 1992: 321-336 - 1991
- [j1]Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens:
An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. Commun. ACM 34(5): 62-71 (1991) - [c4]Pierre-Yves Schobbens:
Clean Algebraic Exception with Implicit Propagation. AMAST 1991: 173-186 - 1990
- [c3]Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens:
Two Approaches towards the Formalisation of VDM. VDM Europe 1990: 370-398 - [c2]Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens:
An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. ICSE 1990: 34-42
1980 – 1989
- 1988
- [c1]Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens, François Wautier:
LPG: A Generic, Logic and Functional Programming Language. ESOP 1988: 376-377