Personal tools
FUNDP > Faculty of Computer Science > Semantics and Computational Logic
 

Publications (284)

Types

Papers

2011
A Text-based Approach to Feature Modelling: Syntax and Semantics of TVL, in Science of Computer Programming, volume 76, issue 12, pp. 1130-1143
Andreas CLASSEN, Quentin BOUCHER, Patrick HEYMANS
2009
Fully Abstract Models and Refinements as Tools to Compare Agents in Timed Coordination Languages, in Theoretical Computer Science, volume 410, issue 2-3, pp. 221-253
Jean-Marie JACQUET, Isabelle LINDEN
2008
Towards a Normal Form for Mercury Programs, in Proceedings of LOPSTR 2007, collection Lecture Notes in Computer Science, volume 4915, pp. 43-58
François DEGRAVE, Wim VANHOOF
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
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
Working Conference on Requirements Engineering:Foundation for Software Quality (REFSQ'07), in ACM SIGSOFT Software Engineering Notes, volume 32, issue 4, pp. 47-53
Pete SAWYER, Barbara PAECH, Patrick HEYMANS
2007
Generic Semantics of Feature Diagrams, in Computer Networks, volume 51, issue 2, pp. 456-479
Pierre-Yves SCHOBBENS, Patrick HEYMANS, Jean-Christophe TRIGAUX, Yves BONTEMPS
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
2007
On the Expressiveness of Timed Coordination via Shared Dataspaces, in Electronic Notes in Theoretical Computer Science, volume 180, issue 2, pp. 71-89
Isabelle LINDEN, Jean-Marie JACQUET
2006
Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching, in Fundamenta Informaticae, volume 73, issue 4, pp. 432-478
Antonio BROGI, Jean-Marie JACQUET, Isabelle LINDEN
2006
On the Expressiveness of Timed Coordination Models, in Science of Computer Programming, volume 61, issue 2, pp. 152-187
Isabelle LINDEN, Jean-Marie JACQUET, Koenraad DE BOSSCHERE, Antonio BROGI
2006
Termination analysis through combination of type based norms, in ACM Transactions on Programming Languages and Systems (TOPLAS), volume 29, issue 2
Maurice BRUYNOOGHE, Michael CODISH, John GALLAGHER, Samir GENAIM, Wim VANHOOF
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
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
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
2004
On the Expressiveness of Relative-Timed Coordination Models, in Electronic Notes in Theoretical Computer Science, volume 97, pp. 125-153
Isabelle LINDEN, Jean-Marie JACQUET, Koenraad DE BOSSCHERE, Antonio BROGI
2004
Offline specialisation in Prolog using a hand-written compiler generator, in Theory and Practice of Logic Programming, volume 4, issue 1, pp. 139-191
Michael LEUSCHEL, Jesper JORGENSEN, Maurice BRUYNOOGHE, Wim VANHOOF
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
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
2003
On the Expressiveness of Coordination via Shared Dataspaces, in Science of Computer Programming, volume 461-2, pp. 71-98
Jean-Marie JACQUET, Antonio BROGI
2003
On Modeling Coordination via Asynchronous Communication and Enhanced Matching, in Electronic Notes in Theoretical Computer Science, volume 68, issue 3, pp. 284-309
Antonio BROGI, Jean-Marie JACQUET, Isabelle LINDEN
2003
A fixed point semantics for logic programs extended with cuts, in Logic Based Program Synthesis and Transformation, LOPSTR 2002 , collection Lecture Notes in Computer Science, volume 2664, pp. 238-257
Wim VANHOOF, Remko TRONÇON, Maurice BRUYNOOGHE
2003
Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming, in Electronic Notes in Theoretical Computer Science, volume 68, issue 3
Jean-Marie JACQUET, Lubos BRIM, David GILBERT, Mojmir KRETINSKY
2003
Suspension Terms as a Means for Meta-coordination in the muLog Coordination Framework, in The Journal of Supercomputing, volume 24, issue 2, pp. 121-129
Jean-Marie JACQUET, Koenraad DE BOSSCHERE
2002
When size does matter - Termination analysis for typed logic programs., in .Logic-based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, collection Lecture Notes in Computer Science, volume 2372, pp. 129-147
Wim VANHOOF, Maurice BRUYNOOGHE
2002
Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes, in Computers and Artificial Intelligence, volume 21, issue 6
Jean-Marie JACQUET, Lubos BRIM, Mojmir KRETINSKY, David GILBERT
2002
Operators and Laws for Combining Preference Relations, in Journal of Logic and Computation, volume 12
Hajnal ANDREKA, Mark RYAN, 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
Reuse of results in termination analysis of typed logic programs, in Static Analysis, 9th International Symposium , collection Lecture Notes in Computer Science, volume 2477, pp. 477-492
Maurice BRUYNOOGHE, Mike CODISH, Samir GENAIM, Wim VANHOOF
2002
Collecting potential optimisations, in Logic Based Program Synthesis and Transformation, volume 2664, pp. 109-110
Nancy MAZUR, Wim VANHOOF, Gerda JANSSENS
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
2001
Binding-time Annotations without Binding-time Analysis, in Logic for Programming, Artificial Intelligence, and Reasoning, collection Lecture Notes in Artificial Intelligence, volume 2250, pp. 707-722
Wim VANHOOF, Maurice BRUYNOOGHE
2001
Pos(T) : Analyzing dependencies in typed logic programs, in Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001 , collection Lecture Notes in Computer Science, volume 2244, pp. 406-420
Maurice BRUYNOOGHE, Wim VANHOOF, Michael CODISH
2001
Pos(T) : Analyzing dependencies in typed logic programs, in Perspectives of System Informatics, collection Lecture Notes in Computer Science, volume 2244, pp. 406-420
Maurice BRUYNOOGHE, Wim VANHOOF, Mike CODISH
2000
Blackboard Relations in the µLog Coordination Model., in New Generation Computing, volume 19, issue 1, pp. 23-56
Jean-Marie JACQUET, Koenraad DE BOSSCHERE
2000
Binding-time analysis by constraint solving: a modular and higher-order approach for Mercury, in Logic for Programming and Automated Reasoning, collection Lecture Notes in Artificial Intelligence, volume 1955, pp. 399-416
Wim VANHOOF
2000
Bottom-up specialisation of logic programs, in Journal of Functional and Logic Programming, volume 1999, issue 2, pp. 1-33
Wim VANHOOF, Danny DE SCHREYE, Bern MARTENS
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
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 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
1998
A Framework for bottom up specialisation of logic programs, in Principles of Declarative Programming, Proceedings of Joint International Symposium PLILP/ALP'98, collection Lecture Notes in Computer Science, volume 1490, pp. 54-72
Wim VANHOOF, Danny DE SCHREYE, Bern MARTENS
1998
On the Expressiveness of Linda-like Concurrent Languages, in Electronic Notes in Theoretical Computer Science
Jean-Marie JACQUET, Antonio BROGI
1998
Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements, in Requirements Engineering Journal, volume 3, issue 3-4, pp. 202-218
Patrick HEYMANS, Eric DUBOIS
1998
On the Expressiveness of Linda-like Concurrent Languages, in Electronic Notes in Theoretical Computer Science, volume 16, issue 2
Jean-Marie JACQUET, Antonio BROGI
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
1997
To parse or not to parse, in Logic Program Synthesis and Transformation, Proceedings of the 7th International Workshop LOPSTR'97 , collection Lecture Notes in Computer Science, volume 1463, pp. 314-333
Wim VANHOOF, Bern MARTENS
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

Serial

1998
On Relating Blackboards in the Coordination Model
Jean-Marie JACQUET

Collective work contributions

2011
Distributed Event Clock Automata: Extended abstract, in CIAA 2011, collection LNCS, volume 6807, pp. 250-263
James ORTIZ VEGA, Axel LEGAY, Pierre-Yves SCHOBBENS
2010
A Systematic Approach to Define the Domain of Information System Security Risk Management, in Intentional Perspectives on Information Systems Engineering
Eric DUBOIS, Patrick HEYMANS, Nicolas MAYER, Raimundas MATULEVICIUS
2007
Towards a theory of refinement in timed coordination languages, in Coordination Languages and Models, collection Lecture Notes in Computer Science
Jean-Marie JACQUET, Isabelle LINDEN
2007
Towards a normal form for Mercury programs, in Preproceedings of LOPSTR 2007
François DEGRAVE, Wim VANHOOF
2007
WLPE'07 : Workshop on Logic-based Methods in Programming Environments
Wim VANHOOF, Patricia HILL
2007
Coordinating context-aware applications in mobile Ad-hoc Networks, in Proceedings of the first ERCIM workshop on eMobility, pp. 107-118
Jean-Marie JACQUET, Isabelle LINDEN
2007
A control flow graph for Mercury., in Proceedings of CICLOPS 2007
François DEGRAVE, Wim VANHOOF
2006
WLPE'06 : Workshop on Logic-based Methods in Programming Environments
Wim VANHOOF, Susana HERNANDEZ
2004
Specializing interpreters using offline partial deduction, in Program Development in Computational Logic, collection Lecture Notes in Computer Science, volume 3049, pp. 341-376
Michael LEUSCHEL, Stephen CRAIG, Maurice BRUYNOOGHE, Wim VANHOOF
2004
Binding-time Analysis for Mercury, in Program Development in Computational Logic., collection Lecture Notes in Computer Science, volume 3049, pp. 190-223
Wim VANHOOF, Maurice BRUYNOOGHE, Michael LEUSCHEL
2004
On the Expressiveness of Absolute-Time Coordination Languages, in Proceedings of the Coordination'04 Conference, Pisa, Italy, February 2004, collection Lecture Notes in Computer Science, volume 2949, pp. 232-247
Isabelle LINDEN, Jean-Marie JACQUET
2003
Symbolic Synthesis for ATL*, in Proc. Symposium on Logic in Games and Multiagent Systems
Aidan HARDING, Mark RYAN, Pierre-Yves SCHOBBENS
2003
One Loop at a Time, in 6th International Workshop on Termination
Mike CODISH, Samir GENAIM, Maurice BRUYNOOGHE, John GALLAGHER, Wim VANHOOF
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
On Methodologies for Coordinating Programs, in Proceedings of the international conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'03), Las Vegas, Nevada, USA, 23-26 June 2003, pp. 115-121
Isabelle LINDEN, Jean-Marie JACQUET
2003
Feature Integration as Substitution, in Proc. Feature Integration Workshop
Dimitar GUELEV, Mark RYAN, 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
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
2002
Bottom-up transformation for programs with procedural control, in Preproceedings of the International Workshop on Logic Based Program Development and Transformation, pp. 234-250
Wim VANHOOF, Maurice BRUYNOOGHE
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
2001
Binding-time Annotations Without Binding-time Analysis, in Fifth international workshop on termination, WST'01
Wim VANHOOF, Maurice BRUYNOOGHE
2001
Synchronous coordination in the Log coordination model., in Proceedings of the SAC Conference, pp. 151-158
Jean-Marie JACQUET, Koenraad DE BOSSCHERE
2001
Multi-agent Systems as Concurrent Constraint Processes, in Proceedings of the 28th Conference on Theory and Practice of Informatics, Current Trends in Theory and Practice of Informatics, collection Springer, volume 2234, pp. 201-210
Jean-Marie JACQUET, Lubos BRIM, David GILBERT, Mojmir KRETINSKY
2000
Meta-coordination in the µLog Coordination Model, in Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Application, volume 2, pp. 761-767
Jean-Marie JACQUET, Koen DE BOSSCHERE
2000
Towards a modular binding-time analysis for higher-order Mercury., in Pre-Proceedings of Tenth International Workshop on Logic-based Program Synthesis and Transformation, pp. 55-63
Wim VANHOOF, Maurice BRUYNOOGHE
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
2000
On Timed Coordination Languages, in Proceedings of the 4th International Conference on Coordination Languages and Models, collection Springer, volume 1906, pp. 81-98
Jean-Marie JACQUET, Koenraad DE BOSSCHERE, Antonio BROGI
2000
On Timed Coordination Languages, in Proceedings of the Fourth International Conference on Coordination Languages and Models, collection Lecture Notes in Computer Science, volume 1906, pp. 81-98
Jean-Marie JACQUET, Koen DE BOSSCHERE, Antonio BROGI
2000
Meta-coordination in the muLog Coordination Model, in Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications
Jean-Marie JACQUET, Koenraad DE BOSSCHERE
1999
On the Expressiveness of Coordination Models, in Proceedings of the Third International Conference on Coordination Languages and Models, collection Springer, volume 1594, pp. 134-149
Jean-Marie JACQUET, Antonio BROGI
1999
Towards modular binding-time analysis for first-order Mercury, in Proceedings of the Workshop on Optimization and Implementation of Declarative Languages , pp. 1-9
Wim VANHOOF
1999
On the Expressiveness of Coordination Models, in Proceedings of the Third International Conference on Coordination Languages and Models,, collection Springer-Verlag, volume 1594, pp. 134-149
Jean-Marie JACQUET, Antonio BROGI
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
1998
A framework for bottom-up specialisation of logic programs., in Netherlands/Belgium Conference on Artificial Intelligence, NAIC'98
Wim VANHOOF, Danny DE SCHREYE, Bern MARTENS
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
Bottom up specialisation: towards general foundations, in Logic Program Synthesis and Transformation, Pre-proceedings of LOPSTR'98 , pp. 114-121
Wim VANHOOF, Danny DE SCHREYE, Bern MARTENS
1998
ALBERT at the age of five: a progress report, in Proc. Dagsthul Seminar on Object-Oriented Software Development, volume 174
Pierre-Yves SCHOBBENS
1998
A Step towards a Methodology for Mercury Program Construction: A declarative Semantics for Mercury, in LOPSTR'98, collection LNCS, volume 1559, pp. 21-40
Dante BALDAN, Baudouin LE CHARLIER, Christophe LECLÈRE, Isabelle POLLET
1998
Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time, in Proceedings of Tacas'97: Tools and Algorithms for the Construction and Analysis of Systems, collection Lecture Notes in Computer Science, volume 1217, pp. 165-182
Jean-Francois RASKIN, Pierre-Yves SCHOBBENS
1998
State Clock Logic: a Decidable Real-Time Logic, in Proceedings of Hart'97: Hybrid and Real-Time Systems, collection Lecture Notes in Computer Science, volume 1201, pp. 31-47
Jean-Francois RASKIN, Pierre-Yves SCHOBBENS
1998
On Relating Blackboards in the uLog Coordination Model, in Proceedings of the workshop on Coordination Models and Languages, Annual Hawaii International Conference on System Sciences, pp. 359-368
Jean-Marie JACQUET, Koen DE BOSSCHERE
1998
Modeling Coordination via Asynchronous Communication, in Proceedings of the Second International Conference on Coordination Languages and Models, collection Lecture Notes in Computer Science, volume 1282, pp. 238-255
Antonio BROGI, Jean-Marie JACQUET
1998
Axiomatization of real-time logics, in Information Systems as Reactive Systems, collection Dagstuhl Seminar Bericht, volume 200
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
Unified Relational Framework for Programming Paradigm Combination.., in Proceedings of the FroCos'96, collection Applied Logic Series, volume 3, pp. 357-375
Naji HABRA, Baudouin LE CHARLIER
1997
Bottom up information propagation for partial deduction, in Proceedings of the International Workshop on Specialization of Declarative Programs and its Applications, pp. 73-82
Wim VANHOOF
1997
On Relating Blackboards in the muLog Coordination Model, in Proceedings of the HICSS Conference, collection IEEE, pp. 359-368
Jean-Marie JACQUET, Koenraad DE BOSSCHERE
1997
Modeling Coordination via Asynchronous Communication, in Proceedings of the 2nd International Conference on Coordination Models and Languages, collection Springer, volume 1282, pp. 238-255
Jean-Marie JACQUET, Antonio BROGI
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
Intertranslating counterfactuals and updates, in 12th European Conference on Artificial Intelligence (ECAI), pp. 100-104
Mark RYAN, 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
1993
Circumscribing equality: a better way, in Proceedings of First Dutch/German Workshop on Non-Monotonic Reasoning, collection RWTH Aachen
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
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

Conference Proceedings

2012
Simulation Relation for Software Product Lines : Foundations for Scalable Model Checking, in Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9
Maxime CORDY, Andreas CLASSEN, Gilles PERROUIN, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Axel LEGAY
2012
Managing Evolution in Software Product Lines: A Model-Checking Perspective, in Proceedings of the Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12), Leipzig, Germany, January 25-27
Maxime CORDY, Andreas CLASSEN, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Axel LEGAY
2011
Symbolic Model Checking of Software Product Lines, in 33rd International Conference on Software Engineering, ICSE 2011, May 21-28, 2011, Waikiki, Honolulu, Hawaii, Proceedings, pp. 321-330
Andreas CLASSEN, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Axel LEGAY
2010
Tool support for code generation from a UMLsec property, in ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010, pp. 357-358
Lionel MONTRIEUX, Jan J{\"U}RJENS, Charles B. HALEY, Yijun YU, Pierre-Yves SCHOBBENS, Hubert TOUSSAINT
2010
Introducing TVL, a Text-based Feature Modelling Language, in Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29, pp. 159-162
Quentin BOUCHER, Andreas CLASSEN, Paul FABER, Patrick HEYMANS
2010
Memory Event Clocks, in Proc. FORMATS 2010
Pierre-Yves SCHOBBENS, Axel LEGAY, James ORTIZ VEGA
2010
Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines, in 32nd International Conference on Software Engineering, ICSE 2010, May 2-8, 2010, Cape Town, South Africa, Proceedings, pp. 335-344
Andreas CLASSEN, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Axel LEGAY, Jean-François RASKIN
2010
XToF: A Tool for Tag-based Product Line Implementation, in Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29, pp. 163-166
Christophe GAUTHIER, Andreas CLASSEN, Quentin BOUCHER, Patrick HEYMANS, Margaret-Anne STOREY, Marcilio MENDONCA
2010
Validity of the Documentation Availability Model: Experimental Definition of Quality Interpretation, in Proceedings of The 22nd International Conference on Advanced Information Systems Engineering (CAiSE'10)
Raimundas MATULEVICIUS, Naji HABRA, Flora KAMSEU
2010
Towards a Model-Centric Quality Assessment, in Proceedings of the 20th International Workshop on Software Measurement (IWSM 2010)
Benoît VANDEROSE, Naji HABRA, Flora KAMSEU
2009
Relating Requirements and Feature Configurations: A Systematic Approach, in Proceedings of the 13th International Software Product Lines Conference (SPLC'09), San Francisco, CA, USA, pp. 201-210
Thein Than TUN, Quentin BOUCHER, Andreas CLASSEN, Arnaud HUBAUX, Patrick HEYMANS
2009
Towards Safer Composition, in Proceedings of the 31st International Conference on Software Engineering (ICSE), Companion Volume, New Ideas and Emerging Results Track, pp. 227-230
Andreas CLASSEN, Patrick HEYMANS, Thein Than TUN, Bashar NUSEIBEH
2009
Formal Modelling of Feature Configuration Workflows, in Proceedings of the 13th International Software Product Lines Conference (SPLC'09), San Francisco, CA, USA, pp. 221-230
Arnaud HUBAUX, Andreas CLASSEN, Patrick HEYMANS
2009
Concerns and their Separation in Feature Diagram Languages - An Informal Survey, in Proceedings of the Workshop on Scalable Modelling Techniques for Software Product Lines (SCALE@SPLC'09), San Francisco, CA, USA
Thein Than TUN, Patrick HEYMANS
2009
Analysis of Feature Configuration Workflows (poster), in Proceedings of the 17th IEEE International Requirements Engineering Conference (RE'09), Atlanta, Georgia, USA, pp. 381-382
Andreas CLASSEN, Arnaud HUBAUX, Patrick HEYMANS
2009
Feature Management Applied to On-Board Software Building Blocks, in Proceedings of DASIA 2009, DAta Systems In Aerospace, May 2009, Istanbul, Turkey
Arnaud BOURDOUX, Laurent DEMONCEAU, Paul PARISIS, Andreas CLASSEN, Quentin BOUCHER
2009
Feature Diagrams for Change-Oriented Programming, in Proceedings of the 10th International Conference on Feature Interactions (ICFI'09), Lisbon, Portugal, pp. 107-122
Peter EBRAERT, Andreas CLASSEN, Patrick HEYMANS, Theo D'HONDT
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
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
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
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
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
Highly Dynamic Behaviour Adaptability through Prototypes with Subjective Multimethods, in Dynamic Languages Symposium (DLS'07), collocated with OOPSLA 2007.
Sebastian GONZALEZ, Kim MENS, Patrick HEYMANS
2007
On the Structure of Problem Variability: From Feature Diagrams to Problem Frames, in First International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), collection Lero Technical Reports, pp. 109-117
Andreas CLASSEN, Patrick HEYMANS, Robin LANEY, Bashar NUSEIBEH, Thein Than TUN
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
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
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
18th Belgium-Netherlands Conference on Artificial Intelligence
Pierre-Yves SCHOBBENS, Wim VANHOOF, Gabriel SCHWANEN
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
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
2002
Turning High-Level Live Sequence Charts into Automata, in Proceedings of the First International Workshop on Scenarios and State Machines (SCESM), (ICSE'02 workshop)
Yves BONTEMPS, Patrick HEYMANS
2000
Some Hints for a Clarification of CEN ENV 12204, in Proc. of the Workshop on Evolution in Enterprise Engineering and Integration (EEEI'00)
Laurent FERIER, Patrick HEYMANS, Michaël PETIT
1999
Binding-time analysis for Mercury, in Proceedings of the 16th International Conference on Logic Programming , pp. 500-514
Wim VANHOOF, Maurice BRUYNOOGHE
1998
Peopleware Integration in an Evolving Software Engineering Curriculum, in Proceedings of the 10th Conference on Software Engineering Education & Training
Naji HABRA
1998
Specialising the other way around, in Logic Programming, Proceedings of 1998 Joint International Conference and Symposium on Logic Programming, pp. 279-293
Wim VANHOOF, Bern MARTENS, Danny DE SCHREYE, Karel DE VLAMINCK
1997
Some thoughts about the animation of formal specifications written in the Albert II language, in Doctoral Consortium of RE'97
Patrick HEYMANS
1997
Formal semantics of enterprise models: Report of the Working Group 2 on Formal Semantics of Enterprise Model, ICEIMT Workshop 4, Brussels, June 16-18, 1997., in Enterprise Engineering and Integration, collection Research Reports Esprit, pp. 135-139
Jan GOOSSENAERTS, Michael GRUNINGER, James G. NELL, Michaël PETIT, François VERNADAT

Books

2011
Proceedings of the 5th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2011)
Patrick HEYMANS, Krzysztof CZARNECKI, Ulrich EISENECKER
2009
Requirements Engineering: Foundation for Software Quality, Proceedings of the 15th International Working Conference (REFSQ 2009)
Martin GLINZ, Patrick HEYMANS
2008
Proceedings of the 7th International Conference on Coordination Languages and Models
Jean-Marie JACQUET, Gian Pietro PICCO
2008
Proceedings of the 2nd International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2008)
Patrick HEYMANS, Kyo Chul KANG, Andreas METZGER, Klaus POHL
2007
Recent trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006
José Luiz FIADEIRO, Pierre-Yves SCHOBBENS
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
Proceedings of the 1st International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2007)
Klaus POHL, Patrick HEYMANS, Kyo Chul KANG, Andreas METZGER
2007
Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006)
Boella GUIDO, Medhi DASTANI, Andrea OMINICI, Leendert W. N. VAN DER TORRE, Ivana CERNA, Isabelle LINDEN
2007
Requirements Engineering: Foundation for Software Quality, Proceedings of the 13th International Working Conference (REFSQ 2007)
Peter SAWYER, Barbara PAECH, Patrick HEYMANS
2006
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005)
Lubos BRIM, Isabelle LINDEN
1997
Proceedings of ModelAge'97: formal models of agents
Amedeo CESTA, Pierre-Yves SCHOBBENS
1993
Constructing logic programs
Jean-Marie JACQUET

Scientific reviews

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

PHD theses

2008
Quality of feature diagram languages: formal evaluation and comparison
Jean-Christophe TRIGAUX
2007
Architecting software systems using model transformations and architectural frameworks
Gilles PERROUIN
2007
On the introduction of time in coordination languages : semantic, expressiveness and programming methodologies
Isabelle LINDEN
2005
dSL, a Language and Environment for the Design of Distributed Industrial Controllers
Bram DE WACHTER
2004
Un Cadre Formel pour la Modélisation Hétérogène et la Vérification Compositionnelle des Systèmes Avioniques Modulaires Intégrés
Remi DELMAS
2004
On the design of some operations to combine domains for abstract interpretation
Christophe LECLÈRE
2003
Computing Minimal Changes of Models of Systems
Nikos GOROGIANNIS
2001
Animating Albert II Specifications
Patrick HEYMANS
2000
a logic for KARO agents (?)
Bernd VAN LINDER
1999
Logics, Automata and Classical Theories for Deciding Real Time
Jean-Francois RASKIN
1997
The sharing tree data structure:: theory and applications in formal verification
Denis ZAMPUNIERIS

Student theses

2011
Extraction automatisée d'un Feature Model compact à partir d'un catalogue de produits
Charles VANBENEDEN
2011
Modèles, systèmes, hétérogénéite: HDR
Frédéric BOULANGER
2011
Development of a Quasi-Birth-and-Death Sensitivity Analysis Tool
Maxime CORDY
2010
Automates et logique pour la vérification de systèmes temps réel et multi-agents: HDR
Catalin DIMA
2010
All I Know
Hans VAN DITMARSCH
2009
Système expert fiscal
Cathy DEKETELAERE
2009
Recherche heuristique encapsulée
Karim AMEZOUJ
2009
Implémentation d'un langage de coordination et application aux domaines du traitement de l'image et du son
Charles DUYSINX
2008
Conception de workflow par des langages de coordination
Stéphanie CORDIER
2008
Evaluation de l'impact d'un patron de conception sur la compréhension et la maintenance de programmes : une expérimentation par un système d'eye-tracking
Sébastien JEANMART
2008
Visualisation in software product line engineering
Julien ERNOUD, Kevin ALLARD
2008
Analyse de contexte et évolution d'un outil expérimental de support aux évaluations de la maturité des processus de la maintenance: S3mAssess®
Cédric DI TOMASO
2008
Evaluation de règles SWRL en chaînage avant
François BUSARD
2008
Système expert fiscal
Stéphane DEREPPE
2008
Utilisation de la technique du Type-based homeomorphic embedding dans la spécialisation on-line d'interpréteurs
Olivier PIERRE
2008
Implementation of a pure Mercury debugger
Olivier ANNET
2008
Méthode d'évaluation des processus de la maintenance du logiciel
Vincent LEBRUN
2007
Optimisation des performances de programmation Java par caching
Philippe CHARLES
2007
Parallel Mercury
Jérôme TANNIER
2007
Génération dynamique de XML avec un langage de template extensible
Bastien DE BUYSER
2007
Gestion mémoire pour les systèmes temps réel en Java
Morgan MATHU
2007
Débogage de modèles B événementiels en utilisant le plugin ProB disprover
Olivier LIGOT
2006
Méthodologie de développement d'indicateurs de qualité orientés objet
Pierre OPREI
2006
Mise en place d'une méthodologie de développement au sein d'un service public fédéral: analyse de déroulement du projet d'implémentation
Vincent PECHON
2006
Elaboration d'une démarche de qualité adaptée aux exigences des méthodologies Open source
Steven RENAUD
2006
Application à la méthode B d'éléments de logique temporelle ATL
Antoine SAFIN
2006
Formalisation des politiques de contrôle d'accès
Hubert TOUSSAINT
2006
Inférence sur RDF et génération de XML en Mercury
François DEGRAVE
2006
Re-ingénierie d'un système d'aide à la décision: du raisonnement hybride au raisonnement par règle
Raja DALLAPÉ
2006
Gestion électronique de document multimédia: techniques d'indexation et de recherche
Michel FERON, Paul DELCORDE
2006
Robots in health care: an AIBO controller for elderly entertainment
Theodhora CAPEQI
2005
e-learning: développement d'une plateforme
Alexis WILLEMYNS
2005
Improvement of FDNet human interface
Fabien DELANGE, Paul-Emile PURNELLE
2005
Système de gestion de Workflow: modélisation et implémentation
Pierre COLOT
2005
Génération automatique de données de test pour Mercury
Nathalie MWEZE NABINTU FEZA
2005
Sémantique et vérification de langages de coordination par les réseaux de Petri
Frumence MAYALA LUSILABO MFUMU A'NSI
2005
Electronic surveillance using Aibo for rescue teams
Fabian GILSON, Mathieu STRUYVEN
2005
Conception d'un outil d'aide à l'analyse par la méthode des Problem frames de Jackson
Michel GONZE, Federico MARTINEZ
2004
Implementation of belief revision on Sony Aibo
Yves VANDER SCHELDEN
2004
Gestion électronique de documents multimédia: techniques de recherche et d'indexation
Julie ANCIAUX
2004
About adding utility and usability to FDNet: a flat distributed network architecture
Youssef ACHBANY, Jérôme JADOULLE
2004
FDNet: enhancing human interface with dynamic capabilities
Nicolas LAMBOT
2004
Design and implementation of a graphical editor for concurrent systems
Gaëtan DE MENTEN
2004
Création de librairies Prolog pour le Web
Julien LEFÈVRE
2004
Towards distributed model checking: a network memory storage mechanism
Geoffrey MICHE
2004
Conception et développement d'un système basé sur des connaissances juridiques extensibles
David FRÉDRICH
2003
Visites muséales interactives: de la conception par le conservateur à l'exploitation par le visiteur
Michaël DE GOLS, Frédéric FOULARD
2003
Automated verification of Prolog programs: an implementation
François GOBERT
2003
Realizability of Scenario-Based Specifications
Yves BONTEMPS
2003
La programmation par contraintes: une solution au problème de la constitution des horaires de sessions d'examens à l'université ?
Etienne VANDEPUT
2003
Agent de détection et de notification d'erreurs EDNA : annexe F: code source complet
Alain VAN HOUT, Emmanuel DELMARCHE
2003
Eléments d'intelligence artificielle appliqués au monde de la communication
Philippe VERDEYEN
2002
Conception et étude d'un langage de coordination
Isabelle LINDEN
2002
Developing agents in the RoboCupRescue
Emmeline LECONTE, Hugues VAN PETEGHEM
2002
Etude et mise en 'uvre d'une infrastructure de connexion sécurisée par Ipsec
Christophe LANDRAIN
2002
Simulation multiagent de situations d'urgence dans le cadre de la RoboCupRescue
Emmanuel KOCH
2002
Création et exploitation d'archives audiovisuelles numériques
Laurent KEVERS, Jean-Bernard VAN ZUYLEN
2002
Automata oriented program verification
Bertrand GRÉGOIRE
2002
Strictness analysis for a class of second order functional languages
Frédéric BURLET
2002
Analyse technique des formats MPEG
Christophe BRASSEUR, Rudy TIXHON
2002
ORKA: obstacles recognition with KAOS based on ASAX = utilisation d'ASAX pour la détection d'obstacle
Simon BROHEZ, Yann GRÉGOIRE
2002
Méthodes et outils de conception orientés-agent
Jean-Christophe TRIGAUX, François VERMAUT
2002
Prédiction de séries temporelles à l'aide de cartes auto-organisées: application à la prédiction des courbes tarifaires de gaz
Geoffroy SIMON
2001
Un analyseur syntaxique et un interpréteur abstrait pour un sous-ensemble de Java
Grégory DONY
2001
Vers un analyseur statique générique de Java par interprétation abstraite: un utilitaire d'affichage de l'environnement et du store
Cécile PIROTTE
2001
Les systèmes de détection d'intrusion: leçons à tirer d'un déploiement d'ASAX distribué dans un contexte universitaire
Nicolas VANDERAVERO, Xavier MARTIN
2000
Un parcours de la programmation à la preuve: HDR
Catherine DUBOIS
2000
Un logiciel d'aide à l'enseignement d'une méthode de programmation: étude conceptuelle et implémentation en java
Isabelle DONY
2000
Towards a generic static analyser for Java: a compiler and a simple analyser for two sub-languages of Java
Cecile HAYEZ, Patrick HENDRICKX
2000
Vers un analyseur statique générique de Java par interprétation abstraite: un analyseur statique simple et un utilitaire d'affichage de l'environnement et du store
Karl NOBEN
1999
Conception des cahiers des charges pour des systèmes distribués temps réel
Adolphe NAHIMANA
1999
Réalisation d'un langage graphique pour ASAX
Laurien GUMIRO
1999
Intrusion detection through autonomous agents
Frédéric DUMONT
1999
Defect tracker: a defect tracking CASE tool
Xavier GILLMANN
1999
Sémantiques opérationnelles et domaines abstraits pour l'analyse statique de Java
Isabelle POLLET
1999
Application des algorithmes génétiques au dilemme du prisonnier
Jérôme COOREMANS
1998
Le dilemme du prisonnier
Sébastien COMPÈRE
1998
Specifying the Corba replication service in Trio+
Christophe DEBACKER, Francesco PIZZOLANTE
1998
Définition et implémentation d'un langage graphique pour la description d'assertions
Olivier DETIÈGE, Xavier ZÉBIER
1998
Etude du déterminisme des programmes Prolog avec cut, par interprétation abstraite
Efrem MBAKI LUZAYISU
1998
Définition et implémentation d'un langage déclaratif pour l'analyse d'audit trails
Françoise GÉRARD
1998
Implémentation d'un langage générique de programmation
Tom VANSIMPSEN, Vincent LETOCART
1998
Résolution d'un paradoxe en logique de croyance et de connaissance
Laurent SIMON
1997
Vérification automatique de programmes Prolog basée sur l'interprétation abstraite
Benoît PIERARD
1997
L'intégration de features pour SMV: un pas vers la programmation orientée feature
Christophe EVRARD
1997
Analyse de strictness des langages applicatifs par l'interprétation abstraite
Isabelle POLLET
1997
Surveillance intelligente de réseaux informatiques: conception et expérimentation d'un outil sur le réseau des Facultés
Stephane DANDOY

Student coursebooks

2008
Méthodes de programmation
Wim VANHOOF
2007
Calculabilité et complexité
Wim VANHOOF
2005
Syntaxe et sémantique des langages de programmation: Une introduction -- transparents
Pierre-Yves SCHOBBENS
2002
Compléments de programmation: transparents
Pierre-Yves SCHOBBENS

Research reports

2011
SNIP: An Efficient Model Checker for Software Product Lines
Andreas CLASSEN, Maxime CORDY, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Axel LEGAY
2011
SNIP: An Efficient Model Checker for Software Product Lines
Andreas CLASSEN, Maxime CORDY, Patrick HEYMANS, Pierre-Yves SCHOBBENS
2011
Automated Verification of Features with Situation Calculus
Pascal URSO, Pierre-Yves SCHOBBENS
2011
Simulation Relation for Software Product Lines: Foundations for Scalable Model Checking
Maxime CORDY, Andreas CLASSEN, Gilles PERROUIN, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Axel LEGAY
2010
CTL Model Checking for Software Product Lines in NuSMV
Andreas CLASSEN
2010
Modelling with FTS: a Collection of Illustrative Examples
Andreas CLASSEN
2010
The TVL Specification
Andreas CLASSEN, Quentin BOUCHER, Paul FABER, Patrick HEYMANS
2008
A Formal Semantics for Multi-level Staged Configuration: Extended version of a paper submitted to the Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), Sevilla, Spain, January 2009
Andreas CLASSEN, Arnaud HUBAUX, Patrick HEYMANS
2005
Etude de Langages de Coordination : Analyse d'Expressivité, Sémantiques et Méthodologies de Programmation
Isabelle LINDEN
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 formal semantics of Albert II
Francois CHABOT, Laurent FERIER, 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
1997
The Albert II Specification Animator: Crews Report 97-13
Patrick HEYMANS
1993
« Système de développement à microcontrôleur 80C535 », Rapport de recherche 58/93, Institut d'Informatique
Radu-Vladimir COTET

Multimedia

2008
Introduction à l'algorithmique
Wim VANHOOF
2008
Méthodes de programmation
Wim VANHOOF
2008
Calculabilité et complexité
Wim VANHOOF
2007
Programmation Fonctionnelle et logique
Wim VANHOOF
2007
Programmation
Wim VANHOOF
2006
Projet Individuel
Wim VANHOOF, Stéphane BONFITTO