Marius Bozga

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

Model-based implementation of distributed systems with priorities.

[BibT_eX]

[DOI]

Borzoo Bonakdarpour

Jean Quilbeuf

Des. Autom. Embed. Syst., 2013

As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty.

[BibT_eX]

[DOI]

Jean-Francois Kempf

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

Stochastic modeling and performance analysis of multimedia SoCs.

[BibT_eX]

[DOI]

Proceedings of the 2013 International Conference on Embedded Computer Systems: Architectures, 2013

Performance Evaluation of Process Partitioning Using Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2013

An Abstract Framework for Deadlock Prevention in BIP.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2013

Mixed Critical Earliest Deadline First.

[BibT_eX]

[DOI]

Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

Incremental Generation of Linear Invariants for Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Statistical abstraction and model-checking of large heterogeneous systems.

[BibT_eX]

[DOI]

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

A framework for automated distributed implementation of component-based models.

[BibT_eX]

[DOI]

Distributed Comput., 2012

Rigorous Component-Based System Design - (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Modeling and Validation of PLC-Controlled Systems: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Modeling Dynamic Architectures Using Dy-BIP.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 11th International Conference, 2012

Integration of correct-by-construction BIP models into the MetroII design space exploration flow.

[BibT_eX]

[DOI]

Proceedings of the 30th International IEEE Conference on Computer Design, 2012

Knowledge Based Transactional Behavior.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2012

Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2012

State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Optimized distributed implementation of multiparty interactions with observation.

[BibT_eX]

[DOI]

Proceedings of the 2nd edition on Programming systems, 2012

2011

Rigorous Component-Based System Design Using the BIP Framework.

[BibT_eX]

[DOI]

IEEE Softw., 2011

Programs with lists are counter automata.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2011

A Theory of Fault Recovery for Component-Based Models.

[BibT_eX]

[DOI]

Borzoo Bonakdarpour

Gregor Gößler

Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), 2011

Runtime Verification of Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Rigorous system level modeling and analysis of mixed HW/SW systems.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Rigorous System Design: The BIP Approach.

[BibT_eX]

[DOI]

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

Performance Evaluation of Schedulers in a Probabilistic Setting.

[BibT_eX]

[DOI]

Jean-Francois Kempf

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

PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Component Assemblies in the Context of Manycore.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Automated distributed implementation of component-based models with priorities.

[BibT_eX]

[DOI]

Borzoo Bonakdarpour

Jean Quilbeuf

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Source-to-Source Architecture Transformation for Performance Optimization in BIP.

[BibT_eX]

[DOI]

Mohamad Jaber

IEEE Trans. Ind. Informatics, 2010

Quantitative Separation Logic and Programs with Lists.

[BibT_eX]

[DOI]

Swann Perarnau

J. Autom. Reason., 2010

Compositional verification for component-based systems and application.

[BibT_eX]

[DOI]

IET Softw., 2010

Systematic Correct Construction of Self-stabilizing Systems: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Compositional Translation of Simulink Models into Synchronous BIP.

[BibT_eX]

[DOI]

Vassiliki Sfyrla

Georgios Tsiligiannis

Iris Safaka

Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

Automated Conflict-free distributed implementation of component-based models.

[BibT_eX]

[DOI]

Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

Verification of an AFDX Infrastructure Using Simulations and Probabilities.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - First International Conference, 2010

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2010

Incremental component-based construction and verification using invariants.

[BibT_eX]

[DOI]

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

From high-level component-based models to distributed implementations.

[BibT_eX]

[DOI]

Proceedings of the 10th International conference on Embedded software, 2010

Fast Acceleration of Ultimately Periodic Relations.

[BibT_eX]

[DOI]

Filip Konecný

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Tool Demonstration of the FLATA Counter Automata Toolset.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Invariant Generation, 2010

Methods for Knowledge Based Controlling of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2010

Component-Based Design of Real-Time Systems. (Construction des Systèmes Temps Réel à base de Composants).

[BibT_eX]

[DOI]

, 2010

2009

Flat Parametric Counter Automata.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 23rd International Symposium, 2009

Iterating Octagons.

[BibT_eX]

[DOI]

Codruta Gîrlea

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

Prototyping of Distributed Embedded Systems Using AADL.

[BibT_eX]

[DOI]

Mohamed Yassin Chkouri

Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems ( ACES-MB 2009 ), 2009

Deterministic Data Flow Communication in AADL.

[BibT_eX]

[DOI]

Mohamed Yassin Chkouri

Proceedings of the International Conference on Embedded Software and Systems, 2009

Compositional timing analysis.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Modeling synchronous systems in BIP.

[BibT_eX]

[DOI]

Vassiliki Sfyrla

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Automatic Verification of Integer Array Programs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

D-Finder: A Tool for Compositional Deadlock Detection and Verification.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Translating AADL into BIP - Application to the Verification of Real-Time Systems.

[BibT_eX]

[DOI]

Mohamed Yassin Chkouri

Anne Robert

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

Distributed Semantics and Implementation for Systems with Interaction and Priority.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

2007

On Flat Programs with Lists.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2007

On timed components and their abstraction.

[BibT_eX]

[DOI]

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

2006

Modeling Heterogeneous Real-time Components in BIP.

[BibT_eX]

[DOI]

Ananda Basu

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

On Interleaving in Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

On Decidability Within the Arithmetic of Addition and Divisibility.

[BibT_eX]

[DOI]

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

2004

Testing Conformance of Real-Time Applications by Automatic Generation of Observers.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Runtime Verification, 2004

IF Validation Environment Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2004

The IF Toolset.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

On Logics of Aliasing.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 11th International Symposium, 2004

Scheduling Acyclic Branching Programs on Parallel Machines.

[BibT_eX]

[DOI]

Abdelkarim Kerbaa

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

2003

Using static analysis to improve automatic test generation.

[BibT_eX]

[DOI]

Lucian Ghirvu

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

State space reduction based on live variables analysis.

[BibT_eX]

[DOI]

Lucian Ghirvu

Sci. Comput. Program., 2003

Storeless semantics and alias logic.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003

On Timing Analysis of Combinational Circuits.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002

Verification of Asynchronous Circuits using Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Timed Systems, 2002

Verification of Timed Automata via Satisfiability Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

IF-2.0: A Validation Environment for Component-Based Real-Time Systems.

[BibT_eX]

[DOI]

Susanne Graf

Laurent Mounier

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Automated validation of distributed software using the IF environment.

[BibT_eX]

[DOI]

Susanne Graf

Laurent Mounier

Proceedings of the Workshop on Software Model Checking 2001, 2001

Timed Extensions for SDL.

[BibT_eX]

[DOI]

Proceedings of the SDL 2001: Meeting UML, 2001

2000

Verification and test generation for the SSCOP protocol.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2000

A Transformational Approach for Generating Non-linear Invariants.

[BibT_eX]

[DOI]

Saddek Bensalem

Lucian Ghirvu

Proceedings of the Static Analysis, 7th International Symposium, 2000

SDL for Real-Time: What is Missing?

[BibT_eX]

Proceedings of the SAM 2000, 2000

IF: A Validation Environment for Timed Asynchronous Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Vérification symbolique pour les protocoles de communication. (Symbolic verification for communication protocols).

[BibT_eX]

[DOI]

PhD thesis, 1999

IF: An intermediate representation for SDL and its applications.

[BibT_eX]

Proceedings of the SDL '99 The Next Millennium, 1999

IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics.

[BibT_eX]

[DOI]

Stavros Tripakis

Proceedings of the Correct Hardware Design and Verification Methods, 1999

On the Representation of Probabilities over Structured Domains.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98).

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Kronos: A Model-Checking Tool for Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Protocol Verification with the ALDÉBARAN Toolset.

[BibT_eX]

[DOI]