The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pierre-Yves Schobbens: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Pierre-Yves Schobbens
    Clean Algebraic Exception with Implicit Propagation. [Citation Graph (0, 0)][DBLP]
    AMAST, 1991, pp:173-186 [Conf]
  3. 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]
  4. Pierre-Yves Schobbens
    Second-Order Proof Systems for Algebraic Specification Languages. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1992, pp:321-336 [Conf]
  5. 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]
  6. 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]
  7. Mark Ryan, Pierre-Yves Schobbens
    Intertranslating Counterfactuals and Updates. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:100-104 [Conf]
  8. 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]
  9. 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]
  10. 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]
  11. Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
    Feature Integration as Substitution. [Citation Graph (0, 0)][DBLP]
    FIW, 2003, pp:275-294 [Conf]
  12. 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]
  13. Yves Bontemps, Pierre-Yves Schobbens
    The Complexity of Live Sequence Charts. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:364-378 [Conf]
  14. Pierre-Yves Schobbens
    Extensions of Initial Models and their Second-Order Proof Systems. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:326-344 [Conf]
  15. 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]
  16. Pierre-Yves Schobbens
    A Logic for Legal Hierarchies. [Citation Graph (0, 0)][DBLP]
    ICAIL, 1993, pp:272-281 [Conf]
  17. 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]
  18. 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]
  19. Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens
    An Algebraic Approach for Codesign. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:415-430 [Conf]
  20. Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobbens
    Model-Checking Access Control Policies. [Citation Graph (0, 0)][DBLP]
    ISC, 2004, pp:219-230 [Conf]
  21. 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]
  22. Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
    Justifying Goal Models. [Citation Graph (0, 0)][DBLP]
    RE, 2006, pp:116-125 [Conf]
  23. 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]
  24. 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]
  25. 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]
  26. Mark Ryan, Pierre-Yves Schobbens, Odinaldo Rodrigues
    Counterfactuals and Updates as Inverse Modalities. [Citation Graph (0, 0)][DBLP]
    TARK, 1996, pp:163-173 [Conf]
  27. 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]
  28. Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
    Approximating ATL* in ATL. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2002, pp:289-301 [Conf]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
    Achieving, Satisficing, and Excelling. [Citation Graph (0, 0)][DBLP]
    ER Workshops, 2007, pp:286-295 [Conf]
  47. 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]

  48. What's in a Feature: A Requirements Engineering Perspective. [Citation Graph (, )][DBLP]


  49. Model checking <u>lots</u> of systems: efficient verification of temporal properties in software product lines. [Citation Graph (, )][DBLP]


  50. Tool support for code generation from a UMLsec property. [Citation Graph (, )][DBLP]


  51. Model Co-evolution and Consistency Management (MCCM'08). [Citation Graph (, )][DBLP]


  52. Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis. [Citation Graph (, )][DBLP]


  53. Towards Multi-view Feature-Based Configuration. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.011secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002