Claude Jard

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

Scenario Realizability with Constraint Optimization.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012

Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations.

[BibT_eX]

[DOI]

Ajay Kattepur

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Robustness of Time Petri Nets under Architectural Constraints.

[BibT_eX]

[DOI]

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

Clock Transition Systems.

[BibT_eX]

[DOI]

Didier Lime

Olivier H. Roux

Proceedings of the 21th International Workshop on Concurrency, 2012

2011

An Experiment in Automatic Generation of Protocols from HMSCs.

[BibT_eX]

[DOI]

Rouwaida Abdallah

Proceedings of the 11th Annual International Conference on New Technologies of Distributed Systems, 2011

Optimizing Decisions in Web Services Orchestrations.

[BibT_eX]

[DOI]

Ajay Kattepur

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Pairwise testing of dynamic composite services.

[BibT_eX]

[DOI]

Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

2010

Flexible Probabilistic QoS Management of Orchestrations.

[BibT_eX]

[DOI]

Sidney Rosario

Int. J. Web Serv. Res., 2010

Variability Modeling and QoS Analysis of Web Services Orchestrations.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2010

Diagnosis Using Unfoldings of Parametric Time Petri Nets.

[BibT_eX]

[DOI]

Bartosz Grabiec

Louis-Marie Traonouez

Didier Lime

Olivier H. Roux

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

Symbolic Unfolding of Parametric Stopwatch Petri Nets.

[BibT_eX]

[DOI]

Louis-Marie Traonouez

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Monitoring probabilistic SLAs in Web service orchestrations.

[BibT_eX]

[DOI]

Sidney Rosario

Proceedings of the Integrated Network Management, 2009

Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations.

[BibT_eX]

[DOI]

Sidney Rosario

Proceedings of the IEEE International Conference on Web Services, 2009

2008

Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2008

Testing Systems Specified as Partial Order Input/Output Automata.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communicating Systems, 2008

2007

Test Synthesis from UML Models of Distributed Software.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2007

Event Structure Semantics of Orc.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

Testing Input/Output Partial Order Automata.

[BibT_eX]

[DOI]

Stefan Haar

Proceedings of the Testing of Software and Communicating Systems, 2007

Probabilistic QoS and soft contracts for transaction based Web services.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

2006

LaTe, a Non-fully Deterministic Testing Language.

[BibT_eX]

[DOI]

Emmanuel de Rosière

Benoit Parreaux

Proceedings of the Testing of Communicating Systems, 2006

Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

Symbolic Unfoldings for Networks of Timed Automata.

[BibT_eX]

[DOI]

Franck Cassez

Proceedings of the Automated Technology for Verification and Analysis, 2006

Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005

TGV: theory, principles and algorithms.

[BibT_eX]

[DOI]

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

Distributed Monitoring of Concurrent and Asynchronous Systems*.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2005

From Automata Networks to HMSCs: A Reverse Model Engineering Perspective.

[BibT_eX]

[DOI]

Loïc Hélouët

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

Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets.

[BibT_eX]

[DOI]

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

Models for the Supervision of Web Services Orchestration with Dynamic Changes.

[BibT_eX]

[DOI]

Proceedings of the Telecommunications 2005: Advanced Industrial Conference on Telecommunications / Service Assurance with Partial and Intermittent Resources Conference / E-Learning on Telecommunications Workshop (AICT / SAPIR / ELETE 2005), 2005

2004

Algorithms for Distributed Fault Management in Telecommunications Networks.

[BibT_eX]

[DOI]

Proceedings of the Telecommunications and Networking, 2004

UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks.

[BibT_eX]

[DOI]

Armen Aghasaryan

Julien Thomas

Proceedings of the Telecommunications and Networking, 2004

Symbolic Diagnosis of Partially Observable Concurrent Systems.

[BibT_eX]

[DOI]

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

2003

Diagnosis of asynchronous discrete-event systems: a net unfolding approach.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2003

Synthesis of distributed testers from true-concurrency models of reactive systems.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2003

Partial order diagnosability of discrete event systems using petri net unfoldings.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Distributed and asynchronous discrete event systems diagnosis.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

An Event Structure Based Semantics for High-Level Message Sequence Charts.

[BibT_eX]

[DOI]

Loïc Hélouët

Benoît Caillaud

Math. Struct. Comput. Sci., 2002

Principles of Distributed Test Synthesis based on True-concurrency Models.

[BibT_eX]

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

System Test Synthesis from UML Models of Distributed Software.

[BibT_eX]

[DOI]

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

2001

A UML-integrated Test Description Language for Component Testing.

[BibT_eX]

[DOI]

Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

2000

Verification and test generation for the SSCOP protocol.

[BibT_eX]

[DOI]

Marius Bozga

Sci. Comput. Program., 2000

An Educational Case Study in Protocol Verification and Distributed Observation.

[BibT_eX]

[DOI]

Comput. Sci. Educ., 2000

Verification of Test Suites.

[BibT_eX]

Pierre Morel

Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems.

[BibT_eX]

Lénaick Tanguy

César Viho

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

Distributed state reconstruction for discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1999

Protocol engineering using UML.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 1999

Remote testin can be as powerful as local testing.

[BibT_eX]

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1998

Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 1998

BDL, A Language of Distributed Reactive Objects.

[BibT_eX]

[DOI]

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Towards Automatic Distribution of Testers for Distributed Conformance Testing.

[BibT_eX]

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

Algebraic Techniques for Timed Systems.

[BibT_eX]

[DOI]

Stephane Gaubert

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology.

[BibT_eX]

[DOI]

César Viho

Sci. Comput. Program., 1997

Fault Detection in Telecommunication Networks Based on a Petri Net Representation of Alarm Propagation.

[BibT_eX]

[DOI]

Renée Boubour

Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996

Incremental Transitive Dependency Tracking in Distributed Computations.

[BibT_eX]

[DOI]

Parallel Process. Lett., 1996

Building a global clock for observing computations in distributed memory parallel computers.

[BibT_eX]

[DOI]

Jean-Marc Jézéquel

Concurr. Pract. Exp., 1996

Using On-The-Fly Verification Techniques for the Generation of test Suites.

[BibT_eX]

[DOI]

César Viho

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

On-Line Computations of the Ideal Lattice of Posets.

[BibT_eX]

[DOI]

Jean-Xavier Rampon

RAIRO Theor. Informatics Appl., 1995

On-The-Fly Analysis of Distributed Computations.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1995

Measuring Concurrency of Regular Distributed Computations.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Recognition of Patterns on Control Flows for Debugging Distributed Executions.

[BibT_eX]

Proceedings of the Second International Workshop on Automated Debugging, 1995

1994

On the Coding of Dependencies in Distributed Computations (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

A General Approach to Trace-Checking in Distributed Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

3D Layout of Reachability Graphs of Communicating Processes.

[BibT_eX]

[DOI]

Proceedings of the Graph Drawing, DIMACS International Workshop, 1994

1993

Testing for Unboundedness of FIFO Channels.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

Reachability Analysis on Distributed Executions.

[BibT_eX]

[DOI]

Claire Diehl

Jean-Xavier Rampon

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Correctness of Automated Distribution of Sequential Programs.

[BibT_eX]

[DOI]

Proceedings of the PARLE '93, 1993

1992

On-the-fly Verification of Finite Transition Systems.

[BibT_eX]

[DOI]

Laurent Mounier

Formal Methods Syst. Des., 1992

Echidna, an estelle compiler to prototype protocols on distributed computers.

[BibT_eX]

[DOI]

Jean-Marc Jézéquel

Concurr. Pract. Exp., 1992

Interval Approximations of Message Causality in Distributed Executions.

[BibT_eX]

[DOI]

Claire Diehl

Proceedings of the STACS 92, 1992

Analyzing a space-protocol: from specification, simulation to experimentation.

[BibT_eX]

Proceedings of the Formal Description Techniques, 1992

1991

Bounded-memory Algorithms for Verification On-the-fly.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1989

A Multi-Processor Estelle-to-C Compiler to Prototype Algorithms on Parallel Machines.

[BibT_eX]

Jean-Marc Jézéquel

Proceedings of the Protocol Specification, 1989

On-Line Model Checking for Finite Linear Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988

Development of Véda, a Prototyping Tool for Distributed Algorithms.

[BibT_eX]

[DOI]

Jean-François Monin

Roland Groz

IEEE Trans. Software Eng., 1988

1987

Detection of Stable Properties in Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987

1986

Attacking a Complex Distributed Algorithm from Different Sides: an Experience with Complementary Validation Tools.

[BibT_eX]

[DOI]

Roland Groz

Claire Lassudrie

Comput. Networks, 1986

1985

Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA.

[BibT_eX]

Jean-François Monin

Roland Groz

Proceedings of the Protocol Specification, 1985

1983

An approach to testing specifications.

[BibT_eX]

[DOI]