Outils personnels
FUNDP > Institution > Annuaire du personnel
 
Membre du personnel

Pierre-Yves SCHOBBENS

Publications (95)

Articles de périodique

2008
Evaluating Formal Properties of Feature Diagram Languages, in IET Software Journal , volume 2, issue 3, pp. 281-302
Patrick HEYMANS, Pierre-Yves SCHOBBENS, Jean-Christophe TRIGAUX, Yves BONTEMPS, Raimundas MATULEVICIUS, Andreas CLASSEN
2007
Generic Semantics of Feature Diagrams: (An abstract of this paper appears in the Proceedings of RE'06), in Computer Networks, volume 51, issue 2, pp. 456-479
Pierre-Yves SCHOBBENS, Patrick HEYMANS, Jean-Christophe TRIGAUX, Yves BONTEMPS
2007
The computational complexity of scenario-based agent verification and design, in Journal of Applied Logic, volume 5, issue 2, pp. 252-276
Yves BONTEMPS, Pierre-Yves SCHOBBENS
2007
Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence, in Technique et Science Informatiques
Yves BONTEMPS, Germain SAVAL, Pierre-Yves SCHOBBENS, Patrick HEYMANS
2006
Synthesising Features by Games, in Electronic Notes in Theoretical Computer Science, volume 154, pp. 79-93
Dimitar GUELEV, Mark RYAN, Pierre-Yves SCHOBBENS
2006
Allocating Goals to Agent Roles during MAS Requirements Engineering, in Agent-Oriented Software Engineering (AOSE'06), Lecture Notes in Computer Sciences 4405, volume 7, pp. 34-50
Ivan JURETA, Stephane FAULKNER, Pierre-Yves SCHOBBENS
2006
A More Expressive Softgoal Conceptualization for Quality Requirements Analysis, in Conceptual Modeling (ER'06), Lecture Notes in Computer Sciences 4215, pp. 281-295
Ivan JURETA, Stephane FAULKNER, Pierre-Yves SCHOBBENS
2005
From Live Sequence Charts to State Machines and Back: A Guided Tour, in IEEE Transactions on Software Engineering, volume 31, issue 12, pp. 999-1014
Yves BONTEMPS, Patrick HEYMANS, Pierre-Yves SCHOBBENS
2005
An algebraic approch for codesign, in Theoritical aspects of computing , volume 3407, pp. 415-430
Marc AIGUIER, Stefan BEROFF, Pierre-Yves SCHOBBENS
2005
Lightweight Formal Methods for Scenario-Based Software Engineering, in Lecture Notes in Computer Science, volume 3466, pp. 174-192
Yves BONTEMPS, Patrick HEYMANS, Pierre-Yves SCHOBBENS
2005
A new algorithm for strategy synthesis in LTL games, in International Conference on Tools and Algorithms for the Construction and Analysis of System (TACAS), collection Lecture Notes in Computer Science, volume 3440, pp. 477-492
Aidan HARDING, Mark RYAN, Pierre-Yves SCHOBBENS
2004
An algebraic approach to codesign, in ICTAC'2004 - First International Colloquium on Theoretical Aspects of Computing, collection Lecture Notes in Computer Science, volume 3407
Marc AIGUIER, Stefan BEROFF, Pierre-Yves SCHOBBENS
2004
Model-checking access control policies, in Proc. 7th International Conference on Information Security (ISC 2004), collection Lecture Notes in Computer Science, volume 3225, pp. 219-230
Dimitar GUELEV, Mark RYAN, Pierre-Yves SCHOBBENS
2003
Alternating-time logic with imperfect recall, in LCMAS'03 International workshop on Logic and Communication in Multi-Agent Systems, collection Electronic Notes in Computer Science , volume 85
Pierre-Yves SCHOBBENS
2002
Axioms for real-time logics, in Theoretical Computer Science, volume 274, issue 1-2, pp. 151-182
Pierre-Yves SCHOBBENS, Jean-Francois RASKIN, Thomas HENZINGER
2002
A two-level temporal logic for evolving specifications, in Information Processing Letters, volume 83, issue 3, pp. 167-172
Pierre-Yves SCHOBBENS, Günter SAAKE, Amilcar SERNADAS, Cristina SERNADAS
2002
Operators and Laws for Combining Preference Relations, in Journal of Logic and Computation, volume 12
Hajnal ANDREKA, Mark RYAN, Pierre-Yves SCHOBBENS
1999
Proving a conjecture of Andreka on temporal logic, in MPI - I. Research report, volume 3, issue 4, pp. 1-13
Jean-Francois RASKIN, Pierre-Yves SCHOBBENS
1999
The logic of initially and next: complete axiomatization and complexity, in Information processing letters, issue 69, pp. 221-225
Pierre-Yves SCHOBBENS, Jean-Francois RASKIN
1999
Fully decidable logics, automata and classical theories for defining regular real-time languages, in MPI - I. Research report, volume 3, issue 3, pp. 1-102
Thomas HENZINGER, Jean-Francois RASKIN, Pierre-Yves SCHOBBENS
1999
The logic of event clocks: decidability, complexity and expressiveness, in Journal of automata, languages and combinatorics, volume 4, issue 3, pp. 247-282
Pierre-Yves SCHOBBENS, Jean-Francois RASKIN
1997
Counterfactuals and updates as Inverse Modalities, in Journal of Logic, Language and Information, volume 6, issue 2, pp. 123-146
Pierre-Yves SCHOBBENS, Mark RYAN
1997
Counterfactuals and updates as Inverse Modalities, in Journal of Logic, Language and Information, volume 6, issue 2, pp. 123-146
Mark RYAN, Pierre-Yves SCHOBBENS
1995
Belief revision and verisimilitude, in Notre Dame Journal of Formal Logic, volume 36, issue 1
Mark RYAN, Pierre-Yves SCHOBBENS
1993
Exceptions for algebraic specifications, in Science of Computer Programming, volume 20
Pierre-Yves SCHOBBENS
1991
On the Meaning of ``but'', in Science of Computer Programming, volume 20, issue 1-2, pp. 73-111
Pierre-Yves SCHOBBENS
1991
An experiment in formal software development : Using the B theorem prover on a VDM case study, in Communications of the ACM, volume 34, issue 5
Christine LAFONTAINE, Yves LEDRU, Pierre-Yves SCHOBBENS
1990
Applying VDM to large developments, in ACM Sigsoft Software Engineering Notes (SEN), volume 15, issue 4, pp. 55-58
Yves LEDRU, Pierre-Yves SCHOBBENS
1988
LPG: a Generic, Logic and Functional Programming Language
Didier BERT, Olivier DECLERFAYT, Brigitte DEMEUSE, Pascal DRABIK, Rachid ECHAHED, Pierre-Yves SCHOBBENS, François WAUTIER

Contributions à des ouvrages collectifs

2010
Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines (to appear), in 32nd International Conference on Software Engineering, ICSE 2010, May 2-8, 2010, Cape Town, South Africa, Proceedings
Andreas CLASSEN, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Axel LEGAY, Jean-François RASKIN
2008
Automatic Student Coaching and Monitoring Thanks to AUTOMATON: The Case of Writing a Compiler, in ECEL 2008: Proceedings of the 7th European Conference on e-Learning, Cyprus 6-7 November 2008, pp. 109-117
Isabelle LINDEN, Hubert TOUSSAINT, Andreas CLASSEN, Pierre-Yves SCHOBBENS
2008
What's in a Feature? A Requirements Engineering Perspective., in Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering (FASE'08), collection LNCS, volume 4961, pp. 16-30
Andreas CLASSEN, Patrick HEYMANS, Pierre-Yves SCHOBBENS
2007
Towards the Comparative Evaluation of Feature Diagram Languages, in Software and Services Variability Management Workshop - Concepts, Models and Tools, collection Research Report 3, pp. 1-16
Patrick HEYMANS, Pierre-Yves SCHOBBENS, Jean-Christophe TRIGAUX, Raimundas MATULEVICIUS, Andreas CLASSEN, Yves BONTEMPS
2007
Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis, in Proceedings of 15th IEEE International Requirements Engineering Conference (RE'07)
Andreas METZGER, Patrick HEYMANS, Klaus POHL, Pierre-Yves SCHOBBENS, Germain SAVAL
2007
Achieving, Satisfacing and Excelling, in Requirements, Intentions and Goals in Conceptual Modelling (RIGIM'07), Lecture Notes in Computer Science 4802, volume 1, pp. 286-295
Ivan JURETA, Stephane FAULKNER, Pierre-Yves SCHOBBENS
2007
PloneGov as a software product line, in Open-Source Software Product Lines Workshop, volume 1
Gaetan DELANNAY, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Jean-Marc ZEIPPEN, Kim MENS
2007
Cross-Checking Disambiguated Product Line Variability Models (non reviewed, extended abstract), in Proceedings of the 6th BElgian-NEtherlands software eVOLution workshop (BENEVOL'07)
Patrick HEYMANS, Andreas METZGER, Pierre-Yves SCHOBBENS, Klaus POHL, Germain SAVAL
2006
Feature Diagrams: A Survey and A Formal Semantics: (An extended version of this paper appears in Journal of Computer Networks, February 2007), in Proceedings of 14th IEEE International Requirements Engineering Conference (RE'06), pp. 139-148
Pierre-Yves SCHOBBENS, Patrick HEYMANS, Jean-Christophe TRIGAUX, Yves BONTEMPS
2006
From Interaction Diagrams to State Machines: Moving to Class-Level, in Digest of the 18th International Workshop on Algebraic Development Techniques (WADT'06)
Yves BONTEMPS, Germain SAVAL, Patrick HEYMANS, Pierre-Yves SCHOBBENS
2006
From Interaction Diagrams to State Machines: Moving to Class-Level, in Actes de la 7e Conférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'06), pp. 45-61
Yves BONTEMPS, Germain SAVAL, Patrick HEYMANS, Pierre-Yves SCHOBBENS
2006
Comparative semantics of Feature Diagrams: FFD vs vDFG (extended abstract), in Proceedings of 18th International Workshop on Algebraic Development Technique (WADT'06)
Jean-Christophe TRIGAUX, Patrick HEYMANS, Pierre-Yves SCHOBBENS
2006
Comparative Semantics of Feature Diagrams: FFD vs vDFD, in Proceedings of the Workshop on Comparative Evaluation in Requirements Engineering (CERE'06) held in conjunction with the 14th IEEE International Requirements Engineering Conference (RE'06)
Jean-Christophe TRIGAUX, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Andreas CLASSEN
2005
Generic Semantics of Feature Diagrams Variants, in Proceedings of 8th International Conference on Feature Interactions in Telecommunications and Software Systems, pp. 58-77
Yves BONTEMPS, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Jean-Christophe TRIGAUX
2004
Semantics of FODA Feature Diagrams, in Proceedings of Workshop on Software Variability Management for Product Derivation Towards Tool Support held in conjunction with the 8th international Conference on Software Product Line Conference (SPLC'04), pp. 48-58
Yves BONTEMPS, Pierre-Yves SCHOBBENS, Patrick HEYMANS, Jean-Christophe TRIGAUX
2004
FireWorks: A Formal Transformation-Based Model-Driven Approach to Features in Product Lines , in Proc. of Workshop on Software Variability Management for Product Derivation (Towards Tool Support)
Mark RYAN, Pierre-Yves SCHOBBENS
2004
La rédaction du Cahier des Charges : Pour une méthodologie pluridisciplinaire et participative d'élicitation des exigences: Chapitre 3, in Urgence aux urgences, collection Les organisations : gestion, méthodes, cas
Michaël PETIT, Anne ROUSSEAU, Claire LOBET-MARIS, Pierre-Yves SCHOBBENS
2003
Synthesis of Open Reactive Systems from scenario-based specification, in Proc. Third International Conference on Application of Concurrency to System Design
Yves BONTEMPS, Pierre-Yves SCHOBBENS
2003
Analyse organisationnelle et ingénierie des exigences : préalables à l'informatisation des services des urgences, in ARTHUR - Manuel d'informatisation des urgences hospitalières, ISBN 2-930344-32-6, pp. 13-53
Claire LOBET-MARIS, Michaël PETIT, Anne ROUSSEAU, Pierre-Yves SCHOBBENS
2003
Synthèse de stratégies sans déterminisation, in Actes de la Conférence sur les Modèles Formels de l'Interaction
Aidan HARDING, Mark RYAN, Pierre-Yves SCHOBBENS
2003
Towards symbolic strategy synthesis for A-LTL, in 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003),, pp. 137-146
Aidan HARDING, Mark RYAN, Pierre-Yves SCHOBBENS
2003
Symbolic Synthesis for ATL*, in Proc. Symposium on Logic in Games and Multiagent Systems
Aidan HARDING, Mark RYAN, Pierre-Yves SCHOBBENS
2003
Feature Integration as Substitution, in Proc. Feature Integration Workshop
Dimitar GUELEV, Mark RYAN, Pierre-Yves SCHOBBENS
2002
Agents and Roles: Refinement in Alternating-Time Temporal Logic, in Proceedings of Agents: Theories, Achitectures and Languages (ATAL), collection Lecture Notes in Computer Science, volume 2333, pp. 100-114
Mark RYAN, Pierre-Yves SCHOBBENS
2002
Approximating ATL* in ATL, in Proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI02, Venice, collection Lecture Notes in Computer Science, volume 2294, pp. 289-301
Aidan HARDING, Mark RYAN, Pierre-Yves SCHOBBENS
2002
Realizing KAOS agents, in Proc. Symposium on Logic in Games and Multiagent Systems
Pierre-Yves SCHOBBENS
2000
Proving feature non-interaction with Alternating-Time Temporal Logic, in Language Constructs for Describing Features, pp. 85-103
Franck CASSEZ, Mark RYAN, Pierre-Yves SCHOBBENS
1999
Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees, in SMC'99, collection Electronic notes in theoretical computer science, volume 23-1, pp. 107-127
Laurent FERIER, Jean-Francois RASKIN, Pierre-Yves SCHOBBENS
1999
Agents as a Key Concept for Information Systems Requirements Engineering, in Agent-Oriented Information Systems'99
Michaël PETIT, Patrick HEYMANS, Pierre-Yves SCHOBBENS
1998
Axiomatization of real-time logics, in Information Systems as Reactive Systems, collection Dagstuhl Seminar Bericht, volume 200
Pierre-Yves SCHOBBENS
1998
The regular real-time languages, in Proceedings of ICALP'98, collection Lecture Notes in Computer Science, volume 1343, pp. 580-591
Thomas HENZINGER, Jean-Francois RASKIN, Pierre-Yves SCHOBBENS
1998
Axioms for Real-Time Logics, in CONCUR'98, collection Lecture Notes in Computer Science, volume 1466
Jean-Francois RASKIN, Pierre-Yves SCHOBBENS, Thomas HENZINGER
1997
Real-time logics: Fictitious clock as an abstraction of dense time, in Proc. Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS97), collection Lecture Notes in Computer Science
Jean-Francois RASKIN, Pierre-Yves SCHOBBENS
1997
Event clock logic : a decidable real-time logic, in Proc. International Workshop on Real-time and Hybrid Systems, collection Lecture Notes in Computer Science
Jean-Francois RASKIN, Pierre-Yves SCHOBBENS
1996
Counterfactuals and updates as inverse modalities, in Proceedings of the International Conference on Theoretical Aspects of Rationality and Knowledge (TARK96), pp. 163-173
Odinaldo RODRIGUES, Mark RYAN, Pierre-Yves SCHOBBENS
1996
Intertranslating counterfactuals and updates, in 12th European Conference on Artificial Intelligence (ECAI), pp. 100-104
Mark RYAN, Pierre-Yves SCHOBBENS
1993
Operators and laws for combining preference relations, in Selected Papers of the Intl. Workshop on Information Systems: Correctness and Reuse, pp. 191-206
Mark RYAN, Pierre-Yves SCHOBBENS, Hajnal ANDRÉKA
1993
Circumscribing equality: a better way, in Proceedings of First Dutch/German Workshop on Non-Monotonic Reasoning, collection RWTH Aachen
Pierre-Yves SCHOBBENS
1992
Higher-order proof rules for algebraic specifications, in Recent Trends in Data Type Specification, collection Lecture Notes in Computer Science, volume 785
Pierre-Yves SCHOBBENS
1991
Clean algebraic exceptions with implicit propagation, in Proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST)
Pierre-Yves SCHOBBENS
1990
Formalising methods: an experiment with VDM, in Proceedings of the 5th Australian Software Engineering Conference (ASWEC'90), pp. 45-50
Yves LEDRU, Pierre-Yves SCHOBBENS
1990
Two approaches towards the formalisation of VDM, in VDM'90: VDM and Z!, collection Lecture Notes in Computer Science, volume 428, pp. 370-398
Christine LAFONTAINE, Yves LEDRU, Pierre-Yves SCHOBBENS
1990
An experiment in formal software development, in Proceedings of the 12th International Conference on Software Engineering (ICSE), pp. 34-42
Christine LAFONTAINE, Yves LEDRU, Pierre-Yves SCHOBBENS
1988
Une Notation pour la Spécification Algébrique de Systèmes Concurrents, in 4e Colloque de Génie Logiciel (CGL4), pp. 141-152
Manfred BROY, Pierre-Yves SCHOBBENS
1988
Precise Standards through Formal Specifications: a Case Study: the Unix File System, in Proc. Autumn '88 EUUG Conference
Olivier DECLERFAYT, Brigitte DEMEUSE, Elie MILGROM, Pierre-Yves SCHOBBENS, Francois WAUTIER

Actes de colloques

2007
An Intuitive Annotation Toolbox for Open-source Imaging Diagnosis
Monica GEMO, Suzanne KIEFFER, Annabelle GOUZE, Lionel LAWSON, Benoit MACQ, Mamadou NIANG, Pierre-Yves SCHOBBENS, Gilbert MAZY, Benoit DEBANDE, Sidi Mohamed FARSI
2006
18th Belgium-Netherlands Conference on Artificial Intelligence
Pierre-Yves SCHOBBENS, Wim VANHOOF, Gabriel SCHWANEN
2006
Justifying Goal Models, in Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE'06), Minneapolis, Minnesota, USA , collection IEEE Computer Society Press, pp. 119-129
Ivan JURETA, Stephane FAULKNER, Pierre-Yves SCHOBBENS

Livres

2007
AFADL'07: approches formelles dans l'assistance au développement de logiciels, Namur, 13-15 juin 2007
Germain SAVAL, Hubert TOUSSAINT, Pierre-Yves SCHOBBENS, Marie-Laure POTET
2007
Recent trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006
José Luiz FIADEIRO, Pierre-Yves SCHOBBENS
1999
Formal Models of Agents
John-Jules Ch. MEYER, Pierre-Yves SCHOBBENS
1986
Selecting an ADA Environment
ADA-EUROPE ENV. WORKING GROUP, Pierre-Yves SCHOBBENS

Comptes rendus scientifiques

2003
Library and strategy for the RobocupRescue Project, in Proceedings of the 3rd Agentcities Information Day (iD3) - Barcelona (Spain), 06-08 February 2003
Emmanuel KOCH, Emmeline LECONTE, Pierre-Yves SCHOBBENS, Hugues VAN PETEGHEM

Thèses

1992
Exceptions in Algebraic Specifications
Pierre-Yves SCHOBBENS

Syllabus

2005
Syntaxe et sémantique des langages de programmation: Une introduction -- transparents
Pierre-Yves SCHOBBENS
2002
Compléments de programmation: transparents
Pierre-Yves SCHOBBENS

Rapports de recherche

2010
Supporting Multiple Perspectives in Feature-based Configuration: Foundations
Arnaud HUBAUX, Patrick HEYMANS, Pierre-Yves SCHOBBENS
2009
Towards a Unifying Conceptual Framework for Inconsistency Management Approaches: Definitions and Instantiations
Arnaud HUBAUX, Anthony CLEVE, Pierre-Yves SCHOBBENS, Anne KELLER, Olaf MULIAWAN, Sergio CASTRO, Kim MENS, Dirk DERIDDER, Ragnhild VAN DER STRAETEN
2006
Experimenting with the Selection of an Off-The-Shelf Conference Management System: Poster presented at the 1st Intl. Workshop on Variability Modelling of Software-intensive Systems (VaMoS)
Germain SAVAL, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Raimundas MATULEVICIUS, Jean-Christophe TRIGAUX
2005
Class-Level Behavioral Modeling and Synthesis
Yves BONTEMPS, Patrick HEYMANS, Germain SAVAL, Pierre-Yves SCHOBBENS, Jean-Christophe TRIGAUX
2003
Projet DISSCO, Document management Integrated System for Scientific Organisations. Juin 2003.
Laurent HENIN, Patrick HEYMANS, Claire LOBET-MARIS, Anne DE VOS, Pierre-Yves SCHOBBENS
2002
Projet DISSCO, Document management Integrated System for Scientific Organisations. Décembre 2002.
Anne DE VOS, Laurent HENIN, Patrick HEYMANS, Claire LOBET-MARIS, Pierre-Yves SCHOBBENS
1999
The formal semantics of Albert II
Francois CHABOT, Laurent FERIER, Jean-Francois RASKIN, Pierre-Yves SCHOBBENS
1999
Axioms for real-time logics, in MPI - I. Research report, volume 3, issue 5, pp. 1-31
Thomas HENZINGER, Jean-Francois RASKIN, Pierre-Yves SCHOBBENS
1999
The logic of event clocks, in MPI - I. Research report, volume 3, issue 2, pp. 1-41
Pierre-Yves SCHOBBENS, Jean-Francois RASKIN
1998
The Albert Approach to Agents Systems Design: Position paper for the First meeting of the AgentLink Special Interest Group on Methodologies and Software Engineering for Agent Systems, Brussels, September 24-25, 1998.
Pierre-Yves SCHOBBENS, Michaël PETIT