Search the dblp DataBase
Pierre-Yves Schobbens :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Yves Bontemps , Pierre-Yves Schobbens Synthesis of Open Reactive Systems from Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP ] ACSD, 2003, pp:41-50 [Conf ] Pierre-Yves Schobbens Clean Algebraic Exception with Implicit Propagation. [Citation Graph (0, 0)][DBLP ] AMAST, 1991, pp:173-186 [Conf ] Mark Ryan , Pierre-Yves Schobbens Agents and Roles: Refinement in Alternating-Time Temporal Logic. [Citation Graph (0, 0)][DBLP ] ATAL, 2001, pp:100-114 [Conf ] Pierre-Yves Schobbens Second-Order Proof Systems for Algebraic Specification Languages. [Citation Graph (0, 0)][DBLP ] COMPASS/ADT, 1992, pp:321-336 [Conf ] Jean-François Raskin , Pierre-Yves Schobbens , Thomas A. Henzinger Axioms for Real-Time Logics. [Citation Graph (0, 0)][DBLP ] CONCUR, 1998, pp:219-236 [Conf ] Yves Bontemps , Patrick Heymans , Pierre-Yves Schobbens Lightweight Formal Methods for Scenario-Based Software Engineering. [Citation Graph (0, 0)][DBLP ] Scenarios: Models, Transformations and Tools, 2003, pp:174-192 [Conf ] Mark Ryan , Pierre-Yves Schobbens Intertranslating Counterfactuals and Updates. [Citation Graph (0, 0)][DBLP ] ECAI, 1996, pp:100-104 [Conf ] Ivan Jureta , Stéphane Faulkner , Pierre-Yves Schobbens A More Expressive Softgoal Conceptualization for Quality Requirements Analysis. [Citation Graph (0, 0)][DBLP ] ER, 2006, pp:281-295 [Conf ] Didier Bert , Pascal Drabik , Rachid Echahed , Olivier Declerfayt , Demeuse Demeuse , Pierre-Yves Schobbens , François Wautier LPG: A Generic, Logic and Functional Programming Language. [Citation Graph (0, 0)][DBLP ] ESOP, 1988, pp:376-377 [Conf ] Yves Bontemps , Patrick Heymans , Pierre-Yves Schobbens , Jean-Christophe Trigaux Generic Semantics of Feature Diagrams Variants. [Citation Graph (0, 0)][DBLP ] FIW, 2005, pp:58-77 [Conf ] Dimitar P. Guelev , Mark Dermot Ryan , Pierre-Yves Schobbens Feature Integration as Substitution. [Citation Graph (0, 0)][DBLP ] FIW, 2003, pp:275-294 [Conf ] Christine Lafontaine , Yves Ledru , Pierre-Yves Schobbens Two Approaches towards the Formalisation of VDM. [Citation Graph (0, 0)][DBLP ] VDM Europe, 1990, pp:370-398 [Conf ] Yves Bontemps , Pierre-Yves Schobbens The Complexity of Live Sequence Charts. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2005, pp:364-378 [Conf ] Pierre-Yves Schobbens Extensions of Initial Models and their Second-Order Proof Systems. [Citation Graph (0, 0)][DBLP ] HOA, 1993, pp:326-344 [Conf ] Jean-François Raskin , Pierre-Yves Schobbens State Clock Logic: A Decidable Real-Time Logic. [Citation Graph (0, 0)][DBLP ] HART, 1997, pp:33-47 [Conf ] Pierre-Yves Schobbens A Logic for Legal Hierarchies. [Citation Graph (0, 0)][DBLP ] ICAIL, 1993, pp:272-281 [Conf ] Thomas A. Henzinger , Jean-François Raskin , Pierre-Yves Schobbens The Regular Real-Time Languages. [Citation Graph (0, 0)][DBLP ] ICALP, 1998, pp:580-591 [Conf ] Christine Lafontaine , Yves Ledru , Pierre-Yves Schobbens An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. [Citation Graph (0, 0)][DBLP ] ICSE, 1990, pp:34-42 [Conf ] Marc Aiguier , Stefan Béroff , Pierre-Yves Schobbens An Algebraic Approach for Codesign. [Citation Graph (0, 0)][DBLP ] ICTAC, 2004, pp:415-430 [Conf ] Dimitar P. Guelev , Mark Ryan , Pierre-Yves Schobbens Model-Checking Access Control Policies. [Citation Graph (0, 0)][DBLP ] ISC, 2004, pp:219-230 [Conf ] John-Jules Ch. Meyer , Pierre-Yves Schobbens Formal Models of Agents: An Introduction. [Citation Graph (0, 0)][DBLP ] ModelAge Workshop, 1997, pp:1-7 [Conf ] Ivan Jureta , Stéphane Faulkner , Pierre-Yves Schobbens Justifying Goal Models. [Citation Graph (0, 0)][DBLP ] RE, 2006, pp:116-125 [Conf ] Pierre-Yves Schobbens , Patrick Heymans , Jean-Christophe Trigaux Feature Diagrams: A Survey and a Formal Semantics. [Citation Graph (0, 0)][DBLP ] RE, 2006, pp:136-145 [Conf ] Aidan Harding , Mark Ryan , Pierre-Yves Schobbens A New Algorithm for Strategy Synthesis in LTL Games. [Citation Graph (0, 0)][DBLP ] TACAS, 2005, pp:477-492 [Conf ] Jean-François Raskin , Pierre-Yves Schobbens Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time. [Citation Graph (0, 0)][DBLP ] TACAS, 1997, pp:165-182 [Conf ] Mark Ryan , Pierre-Yves Schobbens , Odinaldo Rodrigues Counterfactuals and Updates as Inverse Modalities. [Citation Graph (0, 0)][DBLP ] TARK, 1996, pp:163-173 [Conf ] Aidan Harding , Mark Ryan , Pierre-Yves Schobbens Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. [Citation Graph (0, 0)][DBLP ] TIME, 2003, pp:137-146 [Conf ] Aidan Harding , Mark Ryan , Pierre-Yves Schobbens Approximating ATL* in ATL. [Citation Graph (0, 0)][DBLP ] VMCAI, 2002, pp:289-301 [Conf ] Christine Lafontaine , Yves Ledru , Pierre-Yves Schobbens An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1991, v:34, n:5, pp:62-71 [Journal ] Pierre-Yves Schobbens , Patrick Heymans , Jean-Christophe Trigaux , Yves Bontemps Generic semantics of feature diagrams. [Citation Graph (0, 0)][DBLP ] Computer Networks, 2007, v:51, n:2, pp:456-479 [Journal ] Laurent Ferier , Jean-François Raskin , Pierre-Yves Schobbens Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:23, n:2, pp:- [Journal ] Dimitar P. Guelev , Mark Dermot Ryan , Pierre-Yves Schobbens Model-checking the Preservation of Temporal Properties upon Feature Integration. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:311-324 [Journal ] Dimitar P. Guelev , Mark Dermot Ryan , Pierre-Yves Schobbens Synthesising Features by Games. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:79-93 [Journal ] Yves Bontemps , Pierre-Yves Schobbens , Christof Löding Synthesis of Open Reactive Systems from Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2004, v:62, n:2, pp:139-169 [Journal ] Pierre-Yves Schobbens , Jean-François Raskin The Logic of ``Initially'' and ``Next'': Complete Axiomatization and Complexity. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1999, v:69, n:5, pp:221-225 [Journal ] Pierre-Yves Schobbens , Gunter Saake , Amílcar Sernadas , Cristina Sernadas A two-level temporal logic for evolving specifications. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2002, v:83, n:3, pp:167-172 [Journal ] Jean-François Raskin , Pierre-Yves Schobbens The Logic of Event Clocks - Decidability, Complexity and Expressiveness. [Citation Graph (0, 0)][DBLP ] Journal of Automata, Languages and Combinatorics, 1999, v:4, n:3, pp:247-286 [Journal ] Yves Bontemps , Pierre-Yves Schobbens The computational complexity of scenario-based agent verification and design. [Citation Graph (0, 0)][DBLP ] J. Applied Logic, 2007, v:5, n:2, pp:252-276 [Journal ] Mark Ryan , Pierre-Yves Schobbens Counterfactuals and Updates as Inverse Modalities. [Citation Graph (0, 0)][DBLP ] Journal of Logic, Language and Information, 1997, v:6, n:2, pp:123-146 [Journal ] Hajnal Andréka , Mark Ryan , Pierre-Yves Schobbens Operators and Laws for Combining Preference Relations. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2002, v:12, n:1, pp:13-53 [Journal ] Mark Ryan , Pierre-Yves Schobbens Belief Revision and Verisimilitude. [Citation Graph (0, 0)][DBLP ] Notre Dame Journal of Formal Logic, 1995, v:36, n:1, pp:15-29 [Journal ] Pierre-Yves Schobbens Exceptions for Algebraic Specifications: On the Meaning of "but". [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1993, v:20, n:1-2, pp:73-111 [Journal ] Pierre-Yves Schobbens , Jean-François Raskin , Thomas A. Henzinger Axioms for real-time logics. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:274, n:1-2, pp:151-182 [Journal ] Yves Bontemps , Patrick Heymans , Pierre-Yves Schobbens From Live Sequence Charts to State Machines and Back: A Guided Tour. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2005, v:31, n:12, pp:999-1014 [Journal ] Ivan Jureta , Stéphane Faulkner , Pierre-Yves Schobbens Allocating Goals to Agent Roles During MAS Requirements Engineering. [Citation Graph (0, 0)][DBLP ] AOSE, 2006, pp:19-34 [Conf ] Ivan Jureta , Stéphane Faulkner , Pierre-Yves Schobbens Achieving, Satisficing, and Excelling. [Citation Graph (0, 0)][DBLP ] ER Workshops, 2007, pp:286-295 [Conf ] Dimitar P. Guelev , Mark Dermot Ryan , Pierre-Yves Schobbens Model-checking the preservation of temporal properties upon feature integration. [Citation Graph (0, 0)][DBLP ] STTT, 2007, v:9, n:1, pp:53-62 [Journal ] What's in a Feature: A Requirements Engineering Perspective. [Citation Graph (, )][DBLP ] Model checking <u>lots</u> of systems: efficient verification of temporal properties in software product lines. [Citation Graph (, )][DBLP ] Tool support for code generation from a UMLsec property. [Citation Graph (, )][DBLP ] Model Co-evolution and Consistency Management (MCCM'08). [Citation Graph (, )][DBLP ] Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis. [Citation Graph (, )][DBLP ] Towards Multi-view Feature-Based Configuration. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.283secs