Pierre-Yves Schobbens

Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

Featured model-based mutation analysis.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Reusable self-adaptation through bidirectional programming.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

2015

Covering SPL Behaviour with Sampled Configurations: An Initial Assessment.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, 2015

State machine flattening, a mapping study and tools assessment.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Poster: VIBeS, Transition System Mutation Made Easy.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Modeling and Verification for Probabilistic Properties in Software Product Lines.

[BibT_eX]

[DOI]

Genaína Nunes Rodrigues

Amir Molzam Sharifloo

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

Formal semantics, modular specification, and symbolic verification of product-line behaviour.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

State Machine Flattening: Mapping Study and Assessment.

[BibT_eX]

[DOI]

CoRR, 2014

Towards statistical prioritization for software product lines testing.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

Abstract test case generation for behavioural testing of software product lines.

[BibT_eX]

[DOI]

Proceedings of the 18th International Software Product Lines Conference, 2014

An extensible platform for product-line behavioural analysis.

[BibT_eX]

[DOI]

Proceedings of the 18th International Software Product Lines Conference, 2014

A variability perspective of mutation analysis.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Schedulability analysis support for automotive systems: from requirement to implementation.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

ArThUR: A Tool for Markov Logic Network.

[BibT_eX]

[DOI]

Axel Bodart

Keyvin Evrard

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Workshops, 2014

Coverage Criteria for Behavioural Testing of Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2013

Model Checking Adaptive Software with Featured Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Assurances for Self-Adaptive Systems, 2013

Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Supporting multiple perspectives in feature-based configuration.

[BibT_eX]

[DOI]

Arnaud Hubaux

Dirk Deridder

Ebrahim Khalil Abbasi

Softw. Syst. Model., 2013

A methodology for formal analysis and verification of EAST-ADL models.

[BibT_eX]

[DOI]

Cristina Cerschi Seceleanu

Eduard Paul Enoiu

Raluca Marinescu

Paul Pettersson

Reliab. Eng. Syst. Saf., 2013

Verification for Reliable Product Lines.

[BibT_eX]

[DOI]

Amir Molzam Sharifloo

Carlo Ghezzi

CoRR, 2013

Enabling formal analysis of energy-aware automotive embedded systems in East-adl.

[BibT_eX]

[DOI]

Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

ProVeLines: a product line of verifiers for software product lines.

[BibT_eX]

[DOI]

Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

ORTHOGEN : Système d'information intégré pour la traçabilité et la Gestion Multi-Paramètres des Infections Orthopédiques.

[BibT_eX]

[DOI]

Damien De Nizza

Hubert Meurisse

Proceedings of the Actes du XXXIème Congrès INFORSID, Paris, France, 29-31 Mai 2013., 2013

Beyond boolean product-line model checking: dealing with feature attributes and multi-features.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

A framework for the rigorous design of highly adaptive timed systems.

[BibT_eX]

[DOI]

Louis-Marie Traonouez

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

Model-Based Verification of Energy-Aware Real-Time Automotive Systems.

[BibT_eX]

[DOI]

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Control and Automation, 2013

Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques.

[BibT_eX]

[DOI]

Damien De Nizza

Hubert Meurisse

Proceedings of the IC 2013 : 24es Journées francophones d'Ingénierie des Connaissances (Proceedings of the 24th French Knowledge Engineering Conference), 2013

2012

Model checking software product lines with SNIP.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2012

Managing evolution in software product lines: a model-checking perspective.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Towards an incremental automata-based approach for software product-line model checking.

[BibT_eX]

[DOI]

Proceedings of the 16th International Software Product Line Conference, 2012

Behavioural modelling and verification of real-time software product lines.

[BibT_eX]

[DOI]

Proceedings of the 16th International Software Product Line Conference, 2012

Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach.

[BibT_eX]

[DOI]

Proceedings of the 2012 12th International Conference on Quality Software, 2012

A Vision for Behavioural Model-Driven Validation of Software Product Lines.

[BibT_eX]

[DOI]

Benoit Baudry

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Simulation-based abstractions for software product-line model checking.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

Distributed Event Clock Automata - Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Automata, 2011

Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT.

[BibT_eX]

[DOI]

Paul Pettersson

Proceedings of the Computer Safety, Reliability, and Security, 2011

Symbolic model checking of software product lines.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Towards Multi-view Feature-Based Configuration.

[BibT_eX]

[DOI]

Arnaud Hubaux

Dirk Deridder

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2010

Tool support for code generation from a UMLsec property.

[BibT_eX]

[DOI]

Hubert Toussaint

Proceedings of the ASE 2010, 2010

Model checking lots of systems: efficient verification of temporal properties in software product lines.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Memory Event Clocks.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010

2008

Clear justification of modeling decisions for goal-oriented requirements engineering.

[BibT_eX]

[DOI]

Requir. Eng., 2008

Evaluating formal properties of feature diagram languages.

[BibT_eX]

[DOI]

Raimundas Matulevicius

IET Softw., 2008

Model Co-evolution and Consistency Management (MCCM'08).

[BibT_eX]

[DOI]

Dirk Deridder

Jeff Gray

Alfonso Pierantonio

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

What's in a Feature: A Requirements Engineering Perspective.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence.

[BibT_eX]

[DOI]

Germain Saval

Tech. Sci. Informatiques, 2007

The computational complexity of scenario-based agent verification and design.

[BibT_eX]

[DOI]

J. Appl. Log., 2007

Generic semantics of feature diagrams.

[BibT_eX]

[DOI]

Comput. Networks, 2007

Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis.

[BibT_eX]

[DOI]

Andreas Metzger

Klaus Pohl

Germain Saval

Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

Achieving, Satisficing, and Excelling.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling - Foundations and Applications, 2007

2006

Feature Diagrams: A Survey and a Formal Semantics.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Justifying Goal Models.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Comparative Semantics of Feature Diagrams.

[BibT_eX]

Proceedings of the 2nd ERCIM Workshop on Software Evolution, 2006

A More Expressive Softgoal Conceptualization for Quality Requirements Analysis.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2006

Allocating Goals to Agent Roles During MAS Requirements Engineering.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering VII, 7th International Workshop, 2006

2005

From Live Sequence Charts to State Machines and Back: A Guided Tour.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2005

Synthesising Features by Games.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005

A New Algorithm for Strategy Synthesis in LTL Games.

[BibT_eX]

[DOI]

Aidan Harding

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

The Complexity of Live Sequence Charts.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2005

Generic Semantics of Feature Diagrams Variants.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications and Software Systems VIII, 2005

2004

Synthesis of Open Reactive Systems from Scenario-Based Specifications.

[BibT_eX]

[DOI]

Christof Löding

Fundam. Informaticae, 2004

Model-checking the Preservation of Temporal Properties upon Feature Integration.

[BibT_eX]

[DOI]

Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, 2004

Model-Checking Access Control Policies.

[BibT_eX]

[DOI]

Proceedings of the Information Security, 7th International Conference, 2004

An Algebraic Approach for Codesign.

[BibT_eX]

[DOI]

Marc Aiguier

Stefan Béroff

Proceedings of the Theoretical Aspects of Computing, 2004

2003

Alternating-time logic with imperfect recall.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003

Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL.

[BibT_eX]

[DOI]

Aidan Harding

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Feature Integration as Substitution.

[BibT_eX]

Proceedings of the Feature Interactions in Telecommunications and Software Systems VII, 2003

Lightweight Formal Methods for Scenario-Based Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Scenarios: Models, 2003

Synthesis of Open Reactive Systems from Scenario-Based Specifications.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Axioms for real-time logics.

[BibT_eX]

[DOI]

Thomas A. Henzinger

Theor. Comput. Sci., 2002

Operators and Laws for Combining Preference Relations.

[BibT_eX]

[DOI]

Hajnal Andréka

J. Log. Comput., 2002

A two-level temporal logic for evolving specifications.

[BibT_eX]

[DOI]

Gunter Saake

Amílcar Sernadas

Cristina Sernadas

Inf. Process. Lett., 2002

Approximating ATL<sup>*</sup> in ATL.

[BibT_eX]

[DOI]

Aidan Harding

Proceedings of the Verification, 2002

2001

Vérification automatique de logiques orientées agent.

[BibT_eX]

Proceedings of the Fondements des systèmes multi-agents : modèles, spécifications formelles et vérification - JFIADSMA 01, 2001

Agents and Roles: Refinement in Alternating-Time Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

2000

Proving feature non-interaction with Alternating-Time Temporal Logic.

[BibT_eX]

[DOI]

Franck Cassez

Proceedings of the Language Constructs for Describing Features, 2000

1999

The Logic of Event Clocks - Decidability, Complexity and Expressiveness.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 1999

The Logic of "Initially" and "Next": Complete Axiomatization and Complexity.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1999

Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees.

[BibT_eX]

[DOI]

Laurent Ferier

Proceedings of the First International Workshop on Symbolic Model Checking, 1999

1998

The Regular Real-Time Languages.

[BibT_eX]

[DOI]

Thomas A. Henzinger

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

1997

Counterfactuals and Updates as Inverse Modalities.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1997

Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Formal Models of Agents: An Introduction.

[BibT_eX]

[DOI]

John-Jules Ch. Meyer

Proceedings of the Formal Models of Agents, 1997

State Clock Logic: A Decidable Real-Time Logic.

[BibT_eX]

[DOI]

Proceedings of the Hybrid and Real-Time Systems, 1997

1996

Counterfactuals and Updates as Inverse Modalities.

[BibT_eX]

Odinaldo Rodrigues

Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996

Intertranslating Counterfactuals and Updates.

[BibT_eX]

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1995

Belief Revision and Verisimilitude.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1995

1993

Exceptions for Algebraic Specifications: On the Meaning of "but".

[BibT_eX]

[DOI]

Sci. Comput. Program., 1993

A Logic for Legal Hierarchies.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Artificial intelligence and Law, 1993

Extensions of Initial Models and their Second-Order Proof Systems.

[BibT_eX]

[DOI]

Proceedings of the Higher-Order Algebra, 1993

1992

Exceptions in Algebraic Specifications

[BibT_eX]

[DOI]

PhD thesis, 1992

Second-Order Proof Systems for Algebraic Specification Languages.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1992

1991

An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study.

[BibT_eX]

[DOI]

Christine Lafontaine

Yves Ledru

Commun. ACM, 1991

On the meaning of "but".

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Software Specification and Design, 1991

Clean Algebraic Exception with Implicit Propagation.

[BibT_eX]

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1990

Applying VDM to large developments.

[BibT_eX]

[DOI]

Yves Ledru

Proceedings of the Conference proceedings on Formal methods in software development, 1990

Two Approaches towards the Formalisation of VDM.

[BibT_eX]

[DOI]

Christine Lafontaine

Yves Ledru

Proceedings of the VDM '90, 1990

1988

LPG: A Generic, Logic and Functional Programming Language.

[BibT_eX]

[DOI]