dblp.uni-trier.dewww.uni-trier.de

Pierre-Yves Schobbens Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
55EEAndreas Classen, Patrick Heymans, Pierre-Yves Schobbens: What's in a Feature: A Requirements Engineering Perspective. FASE 2008: 16-30
54EEDirk Deridder, Jeff Gray, Alfonso Pierantonio, Pierre-Yves Schobbens: Model Co-evolution and Consistency Management (MCCM'08). MoDELS Workshops 2008: 120-123
53EEPatrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen: Evaluating formal properties of feature diagram languages. IET Software 2(3): 281-302 (2008)
52EEIvan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens: Clear justification of modeling decisions for goal-oriented requirements engineering. Requir. Eng. 13(2): 87-115 (2008)
2007
51 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 Springer 2007
50EEIvan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens: Achieving, Satisficing, and Excelling. ER Workshops 2007: 286-295
49EEAndreas 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
48EEPierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps: Generic semantics of feature diagrams. Computer Networks 51(2): 456-479 (2007)
47EEYves Bontemps, Pierre-Yves Schobbens: The computational complexity of scenario-based agent verification and design. J. Applied Logic 5(2): 252-276 (2007)
46EEDimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens: Model-checking the preservation of temporal properties upon feature integration. STTT 9(1): 53-62 (2007)
45EEYves Bontemps, Germain Saval, Pierre-Yves Schobbens, Patrick Heymans: Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence. Technique et Science Informatiques 26(7): 797-817 (2007)
2006
44EEIvan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens: Allocating Goals to Agent Roles During MAS Requirements Engineering. AOSE 2006: 19-34
43EEIvan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens: A More Expressive Softgoal Conceptualization for Quality Requirements Analysis. ER 2006: 281-295
42EEIvan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens: Justifying Goal Models. RE 2006: 116-125
41EEPierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux: Feature Diagrams: A Survey and a Formal Semantics. RE 2006: 136-145
40EEDimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens: Synthesising Features by Games. Electr. Notes Theor. Comput. Sci. 145: 79-93 (2006)
2005
39 Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux: Generic Semantics of Feature Diagrams Variants. FIW 2005: 58-77
38EEYves Bontemps, Pierre-Yves Schobbens: The Complexity of Live Sequence Charts. FoSSaCS 2005: 364-378
37EEAidan Harding, Mark Ryan, Pierre-Yves Schobbens: A New Algorithm for Strategy Synthesis in LTL Games. TACAS 2005: 477-492
36EEDimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens: Model-checking the Preservation of Temporal Properties upon Feature Integration. Electr. Notes Theor. Comput. Sci. 128(6): 311-324 (2005)
35EEYves 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)
2004
34EEMarc Aiguier, Stefan Béroff, Pierre-Yves Schobbens: An Algebraic Approach for Codesign. ICTAC 2004: 415-430
33EEDimitar P. Guelev, Mark Ryan, Pierre-Yves Schobbens: Model-Checking Access Control Policies. ISC 2004: 219-230
32EEYves Bontemps, Pierre-Yves Schobbens, Christof Löding: Synthesis of Open Reactive Systems from Scenario-Based Specifications. Fundam. Inform. 62(2): 139-169 (2004)
2003
31EEYves Bontemps, Pierre-Yves Schobbens: Synthesis of Open Reactive Systems from Scenario-Based Specifications. ACSD 2003: 41-50
30 Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens: Feature Integration as Substitution. FIW 2003: 275-294
29EEYves Bontemps, Patrick Heymans, Pierre-Yves Schobbens: Lightweight Formal Methods for Scenario-Based Software Engineering. Scenarios: Models, Transformations and Tools 2003: 174-192
28EEAidan 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
27EEAidan Harding, Mark Ryan, Pierre-Yves Schobbens: Approximating ATL* in ATL. VMCAI 2002: 289-301
26EEPierre-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)
25EEHajnal Andréka, Mark Ryan, Pierre-Yves Schobbens: Operators and Laws for Combining Preference Relations. J. Log. Comput. 12(1): 13-53 (2002)
24EEPierre-Yves Schobbens, Jean-François Raskin, Thomas A. Henzinger: Axioms for real-time logics. Theor. Comput. Sci. 274(1-2): 151-182 (2002)
2001
23EEMark Ryan, Pierre-Yves Schobbens: Agents and Roles: Refinement in Alternating-Time Temporal Logic. ATAL 2001: 100-114
1999
22 John-Jules Ch. Meyer, Pierre-Yves Schobbens: Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers Springer 1999
21EELaurent Ferier, Jean-François Raskin, Pierre-Yves Schobbens: Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees. Electr. Notes Theor. Comput. Sci. 23(2): (1999)
20EEPierre-Yves Schobbens, Jean-François Raskin: The Logic of ``Initially'' and ``Next'': Complete Axiomatization and Complexity. Inf. Process. Lett. 69(5): 221-225 (1999)
19 Jean-François Raskin, Pierre-Yves Schobbens: The Logic of Event Clocks - Decidability, Complexity and Expressiveness. Journal of Automata, Languages and Combinatorics 4(3): 247-286 (1999)
1998
18EEJean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger: Axioms for Real-Time Logics. CONCUR 1998: 219-236
17EEThomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens: The Regular Real-Time Languages. ICALP 1998: 580-591
1997
16 Jean-François Raskin, Pierre-Yves Schobbens: State Clock Logic: A Decidable Real-Time Logic. HART 1997: 33-47
15EEJohn-Jules Ch. Meyer, Pierre-Yves Schobbens: Formal Models of Agents: An Introduction. ModelAge Workshop 1997: 1-7
14 Jean-François Raskin, Pierre-Yves Schobbens: Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time. TACAS 1997: 165-182
13 Mark Ryan, Pierre-Yves Schobbens: Counterfactuals and Updates as Inverse Modalities. Journal of Logic, Language and Information 6(2): 123-146 (1997)
1996
12 Mark Ryan, Pierre-Yves Schobbens: Intertranslating Counterfactuals and Updates. ECAI 1996: 100-104
11 Mark Ryan, Pierre-Yves Schobbens, Odinaldo Rodrigues: Counterfactuals and Updates as Inverse Modalities. TARK 1996: 163-173
1995
10 Mark Ryan, Pierre-Yves Schobbens: Belief Revision and Verisimilitude. Notre Dame Journal of Formal Logic 36(1): 15-29 (1995)
1993
9 Pierre-Yves Schobbens: Extensions of Initial Models and their Second-Order Proof Systems. HOA 1993: 326-344
8EEPierre-Yves Schobbens: A Logic for Legal Hierarchies. ICAIL 1993: 272-281
7 Pierre-Yves Schobbens: Exceptions for Algebraic Specifications: On the Meaning of "but". Sci. Comput. Program. 20(1-2): 73-111 (1993)
1992
6 Pierre-Yves Schobbens: Second-Order Proof Systems for Algebraic Specification Languages. COMPASS/ADT 1992: 321-336
1991
5 Pierre-Yves Schobbens: Clean Algebraic Exception with Implicit Propagation. AMAST 1991: 173-186
4 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, 87 (1991)
1990
3 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
2EEChristine Lafontaine, Yves Ledru, Pierre-Yves Schobbens: Two Approaches towards the Formalisation of VDM. VDM Europe 1990: 370-398
1988
1EEDidier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Demeuse Demeuse, Pierre-Yves Schobbens, François Wautier: LPG: A Generic, Logic and Functional Programming Language. ESOP 1988: 376-377

Coauthor Index

1Marc Aiguier [34]
2Hajnal Andréka [25]
3Stefan Béroff [34]
4Didier Bert [1]
5Yves Bontemps [29] [31] [32] [35] [38] [39] [45] [47] [48] [53]
6Andreas Classen [53] [55]
7Olivier Declerfayt [1]
8Demeuse Demeuse [1]
9Dirk Deridder [54]
10Pascal Drabik [1]
11Rachid Echahed [1]
12Stéphane Faulkner [42] [43] [44] [50] [52]
13Laurent Ferier [21]
14José Luiz Fiadeiro [51]
15Jeffrey G. Gray (Jeff Gray) [54]
16Dimitar P. Guelev [30] [33] [36] [40] [46]
17Aidan Harding [27] [28] [37]
18Thomas A. Henzinger [17] [18] [24]
19Patrick Heymans [29] [35] [39] [41] [45] [48] [49] [53] [55]
20Ivan Jureta [42] [43] [44] [50] [52]
21Christine Lafontaine [2] [3] [4]
22Yves Ledru [2] [3] [4]
23Christof Löding [32]
24Raimundas Matulevicius [53]
25Andreas Metzger [49]
26John-Jules Ch. Meyer [15] [22]
27Alfonso Pierantonio [54]
28Klaus Pohl [49]
29Jean-François Raskin [14] [16] [17] [18] [19] [20] [21] [24]
30Odinaldo Rodrigues [11]
31Mark Ryan (Mark Dermot Ryan) [10] [11] [12] [13] [23] [25] [27] [28] [30] [33] [36] [37] [40] [46]
32Gunter Saake [26]
33Germain Saval [45] [49]
34Amílcar Sernadas [26]
35Cristina Sernadas [26]
36Jean-Christophe Trigaux [39] [41] [48] [53]
37François Wautier [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)