


Остановите войну!
for scientists:


default search action
Pierre-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
- 2023
- [c98]Edilton Lima dos Santos, Pierre-Yves Schobbens, Ivan Machado, Gilles Perrouin:
Architectural Bad Smells for Self-Adaptive Systems: Go Runtime! VaMoS 2023: 85-87 - 2022
- [j28]Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens:
COMORP: Rapid prototyping for mathematical database cost models development. J. Comput. Lang. 73: 101173 (2022) - [c97]Edilton Lima dos Santos
, Pierre-Yves Schobbens, Gilles Perrouin
:
Featured Scents: Towards Assessing Architectural Smells for Self-Adaptive Systems at Runtime. ICSA Companion 2022: 104-107 - [c96]Moussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens:
Towards the systematic design of model animation: key ingredients and general guidelines. MoDELS (Companion) 2022: 755-765 - 2021
- [c95]Edilton Lima dos Santos, Sophie Fortz, Gilles Perrouin, Pierre-Yves Schobbens:
A Vision to identify Architectural Smells in Self-Adaptive Systems using Behavioral Maps (short paper). ECSA (Companion) 2021 - [c94]Edilton Lima dos Santos
, Sophie Fortz
, Pierre-Yves Schobbens
, Gilles Perrouin
:
Behavioral Maps: Identifying Architectural Smells in Self-adaptive Systems at Runtime. ECSA (Tracks and Workshops) 2021: 159-180 - [e4]Mohammad Reza Mousavi, Pierre-Yves Schobbens:
SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kingdom, September 6-11, 2021, Volume A. ACM 2021, ISBN 978-1-4503-8469-8 [contents] - [e3]Mohammad Reza Mousavi, Pierre-Yves Schobbens:
SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kindom, September 6-11, 2021, Volume B. ACM 2021, ISBN 978-1-4503-8470-4 [contents] - 2020
- [c93]Eun-Young Kang
, Pierre-Yves Schobbens:
InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics. MECO 2020: 1-5 - [c92]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
- [c91]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 - [c90]James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens:
MLν: A Distributed Real-Time Modal Logic. NFM 2019: 19-35 - [c89]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
- [j27]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) - [j26]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) - [j25]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) - [j24]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) - [c88]Adrien Duchêne, Hugues Marchal, Zhenjiang Hu, Pierre-Yves Schobbens:
A lightweight data sharing system based on bidirectional transformations. Programming 2018: 42-45 - [c87]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
- [j23]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) - [c86]Moussa Amrani, Pierre-Yves Schobbens:
Formal Analysis of Object-Oriented Mograms. FTfJP@ECOOP 2017: 2:1-2:6 - [c85]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 - [c84]Fabian Gilson
, André Bittar, Pierre-Yves Schobbens:
Public Debates on the Web. ICWE 2017: 520-532 - [c83]James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens:
Multi-timed Bisimulation for Distributed Timed Automata. NFM 2017: 52-67 - [c82]Axel Legay, Gilles Perrouin
, Xavier Devroey
, Maxime Cordy, Pierre-Yves Schobbens
, Patrick Heymans:
On Featured Transition Systems. SOFSEM 2017: 453-463 - 2016
- [c81]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 - [c80]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 - [c79]Xavier Devroey
, Gilles Perrouin
, Mike Papadakis
, Axel Legay, Pierre-Yves Schobbens
, Patrick Heymans:
Featured model-based mutation analysis. ICSE 2016: 655-666 - [c78]Moussa Amrani, Pierre-Yves Schobbens:
Real-time model-driven engineering: an overview. PAME/VOLT@MoDELS 2016: 18-27 - [c77]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 - [c76]Xavier Devroey
, Gilles Perrouin
, Axel Legay, Pierre-Yves Schobbens
, Patrick Heymans:
Search-based Similarity-driven Behavioural SPL Testing. VaMoS 2016: 89-96 - 2015
- [c75]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 - [c74]Xavier Devroey
, Gilles Perrouin
, Pierre-Yves Schobbens
, Patrick Heymans:
Poster: VIBeS, Transition System Mutation Made Easy. ICSE (2) 2015: 817-818 - [c73]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 - [c72]Xavier Devroey
, Gilles Perrouin
, Axel Legay, Pierre-Yves Schobbens
, Patrick Heymans:
Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. VaMoS 2015: 59 - 2014
- [j22]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) - [c71]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 - [c70]Axel Bodart, Keyvin Evrard, James Jerson Ortiz, Pierre-Yves Schobbens
:
ArThUR: A Tool for Markov Logic Network. OTM Workshops 2014: 319-328 - [c69]Eun-Young Kang
, Pierre-Yves Schobbens
:
Schedulability analysis support for automotive systems: from requirement to implementation. SAC 2014: 1080-1085 - [c68]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 - [c67]Xavier Devroey
, Gilles Perrouin
, Maxime Cordy, Mike Papadakis
, Axel Legay, Pierre-Yves Schobbens
:
A variability perspective of mutation analysis. SIGSOFT FSE 2014: 841-844 - [c66]Xavier Devroey
, Gilles Perrouin
, Pierre-Yves Schobbens
:
Abstract test case generation for behavioural testing of software product lines. SPLC Workshops 2014: 86-93 - [c65]Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens
:
An extensible platform for product-line behavioural analysis. SPLC Workshops 2014: 102-109 - [c64]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
- [j21]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) - [j20]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) - [j19]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) - [c63]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 - [c62]Eun-Young Kang
, Pierre-Yves Schobbens
:
Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems. ICCA 2013: 1890-1895 - [c61]Eun-Young Kang
, Gilles Perrouin
, Pierre-Yves Schobbens
:
Model-Based Verification of Energy-Aware Real-Time Automotive Systems. ICECCS 2013: 135-144 - [c60]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 - [c59]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 - [c58]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 - [c57]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 - [c56]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
- [j18]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) - [c55]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 - [c54]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 - [c53]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 - [c52]Maxime Cordy, Pierre-Yves Schobbens
, Patrick Heymans, Axel Legay:
Behavioural modelling and verification of real-time software product lines. SPLC (1) 2012: 66-75 - [c51]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 - [c50]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
- [c49]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens
, Axel Legay:
Symbolic model checking of software product lines. ICSE 2011: 321-330 - [c48]Eun-Young Kang
, Pierre-Yves Schobbens
, Paul Pettersson
:
Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. SAFECOMP 2011: 243-256 - [c47]James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens
:
Distributed Event Clock Automata - Extended Abstract. CIAA 2011: 250-263 - 2010
- [c46]James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens
:
Memory Event Clocks. FORMATS 2010: 198-212 - [c45]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 - [c44]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 - [c43]Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens
, Dirk Deridder:
Towards Multi-view Feature-Based Configuration. REFSQ 2010: 106-112
2000 – 2009
- 2008
- [j17]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) - [j16]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) - [c42]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens
:
What's in a Feature: A Requirements Engineering Perspective. FASE 2008: 16-30 - [c41]Dirk Deridder, Jeff Gray, Alfonso Pierantonio
, Pierre-Yves Schobbens
:
Model Co-evolution and Consistency Management (MCCM'08). MoDELS (Workshops) 2008: 120-123 - 2007
- [j15]Pierre-Yves Schobbens
, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps:
Generic semantics of feature diagrams. Comput. Networks 51(2): 456-479 (2007) - [j14]Yves Bontemps, Pierre-Yves Schobbens
:
The computational complexity of scenario-based agent verification and design. J. Appl. Log. 5(2): 252-276 (2007) - [j13]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) - [j12]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) - [c40]Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
:
Achieving, Satisficing, and Excelling. ER Workshops 2007: 286-295 - [c39]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
- [c38]Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
:
Allocating Goals to Agent Roles During MAS Requirements Engineering. AOSE 2006: 19-34 - [c37]Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
:
A More Expressive Softgoal Conceptualization for Quality Requirements Analysis. ER 2006: 281-295 - [c36]Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps:
Comparative Semantics of Feature Diagrams. EVOL 2006: 181-186 - [c35]Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
:
Justifying Goal Models. RE 2006: 116-125 - [c34]Pierre-Yves Schobbens
, Patrick Heymans, Jean-Christophe Trigaux:
Feature Diagrams: A Survey and a Formal Semantics. RE 2006: 136-145 - 2005
- [j11]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) - [c33]Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux:
Generic Semantics of Feature Diagrams Variants. FIW 2005: 58-77 - [c32]Yves Bontemps, Pierre-Yves Schobbens
:
The Complexity of Live Sequence Charts. FoSSaCS 2005: 364-378 - [c31]Aidan Harding, Mark Ryan
, Pierre-Yves Schobbens
:
A New Algorithm for Strategy Synthesis in LTL Games. TACAS 2005: 477-492 - [c30]Dimitar P. Guelev, Mark Dermot Ryan
, Pierre-Yves Schobbens
:
Synthesising Features by Games. AVoCS 2005: 79-93 - 2004
- [j10]Yves Bontemps, Pierre-Yves Schobbens, Christof Löding:
Synthesis of Open Reactive Systems from Scenario-Based Specifications. Fundam. Informaticae 62(2): 139-169 (2004) - [c29]Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens
:
An Algebraic Approach for Codesign. ICTAC 2004: 415-430 - [c28]Dimitar P. Guelev, Mark Ryan
, Pierre-Yves Schobbens
:
Model-Checking Access Control Policies. ISC 2004: 219-230 - [c27]Dimitar P. Guelev, Mark Dermot Ryan
, Pierre-Yves Schobbens
:
Model-checking the Preservation of Temporal Properties upon Feature Integration. AVoCS 2004: 311-324 - 2003
- [c26]Yves Bontemps, Pierre-Yves Schobbens
:
Synthesis of Open Reactive Systems from Scenario-Based Specifications. ACSD 2003: 41-50 - [c25]Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens
:
Lightweight Formal Methods for Scenario-Based Software Engineering. Scenarios: Models, Transformations and Tools 2003: 174-192 - [c24]Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens:
Feature Integration as Substitution. FIW 2003: 275-294 - [c23]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 - [c22]Pierre-Yves Schobbens
:
Alternating-time logic with imperfect recall. LCMAS 2003: 82-93 - 2002
- [j9]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) - [j8]Hajnal Andréka, Mark Ryan
, Pierre-Yves Schobbens
:
Operators and Laws for Combining Preference Relations. J. Log. Comput. 12(1): 13-53 (2002) - [j7]Pierre-Yves Schobbens
, Jean-François Raskin, Thomas A. Henzinger:
Axioms for real-time logics. Theor. Comput. Sci. 274(1-2): 151-182 (2002) - [c21]Aidan Harding, Mark Ryan
, Pierre-Yves Schobbens
:
Approximating ATL* in ATL. VMCAI 2002: 289-301 - 2001
- [c20]Mark Ryan
, Pierre-Yves Schobbens
:
Agents and Roles: Refinement in Alternating-Time Temporal Logic. ATAL 2001: 100-114 - [c19]Pierre-Yves Schobbens:
Vérification automatique de logiques orientées agent. JFIADSMA 2001: 13-16 - 2000
- [c18]Franck Cassez, Mark Dermot Ryan, Pierre-Yves Schobbens
:
Proving feature non-interaction with Alternating-Time Temporal Logic. FIREworks 2000: 85-103
1990 – 1999
- 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) - [c17]Laurent Ferier, Jean-François Raskin, Pierre-Yves Schobbens
:
Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees. SMC@FLoC 1999: 108-126 - [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
- [c16]