Serge Haddad

According to our database1, Serge Haddad
  • authored at least 119 papers between 1986 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Optimal constructions for active diagnosis.
J. Comput. Syst. Sci., 2017

2016
Interrupt Timed Automata with Auxiliary Clocks and Parameters.
Fundam. Inform., 2016

Exact and Approximate Diagnosis of Probabilistic Systems.
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

Approaching the Coverability Problem Continuously.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Accurate Approximate Diagnosability of Stochastic Systems.
Proceedings of the Language and Automata Theory and Applications, 2016

Diagnosis in Infinite-State Probabilistic Systems.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015
HASL: A new approach for performance evaluation and model checking from concepts to experimentation.
Perform. Eval., 2015

Complexity Analysis of Continuous Petri Nets.
Fundam. Inform., 2015

Approaching the Coverability Problem Continuously.
CoRR, 2015

Polynomial Interrupt Timed Automata.
CoRR, 2015

State Space Reduction Strategie for Model Checking Concurrent C Programs.
Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015

Polynomial Interrupt Timed Automata.
Proceedings of the Reachability Problems - 9th International Workshop, 2015

Active diagnosis with observable quiescence.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
Preface.
Fundam. Inform., 2014

Interrupt Timed Automata with Auxiliary Clocks and Parameters.
CoRR, 2014

Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis.
Comput. J., 2014

Reachability in MDPs: Refining Convergence of Value Iteration.
Proceedings of the Reachability Problems - 8th International Workshop, 2014

Specifying and Verifying Concurrent C Programs with TLA+.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Foundation of Diagnosis and Predictability in Probabilistic Systems.
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Active Diagnosis for Probabilistic Systems.
Proceedings of the Foundations of Software Science and Computation Structures, 2014

2013
The expressive power of time Petri nets.
Theor. Comput. Sci., 2013

Bounding models families for performance evaluation in composite Web services.
J. Comput. Science, 2013

Ordinal theory for expressiveness of well-structured transition systems.
Inf. Comput., 2013

Synthesis and Analysis of Product-form Petri Nets.
Fundam. Inform., 2013

Specification of Asynchronous Component Systems with Modal I/O-Petri Nets.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

Parametric Interrupt Timed Automata.
Proceedings of the Reachability Problems - 7th International Workshop, 2013

The Steady-State Control Problem for Markov Decision Processes.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Optimal Constructions for Active Diagnosis.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

Channel Properties of Asynchronously Composed Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

Complexity Analysis of Continuous Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2012
Refinement and Asynchronous Composition of Modal Petri Nets.
Trans. Petri Nets and Other Models of Concurrency, 2012

Interrupt Timed Automata: verification and expressiveness.
Formal Methods in System Design, 2012

Interrupt Timed Automata: verification and expressiveness
CoRR, 2012

Coupling and Importance Sampling for Statistical Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets.
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Concurrent Games on VASS with Inhibition.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011
Lumping partially symmetrical stochastic models.
Perform. Eval., 2011

Synthesis and Analysis of Product-form Petri Nets
CoRR, 2011

HASL: an expressive language for statistical verification of stochastic models.
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Ordinal Theory for Expressiveness of Well Structured Transition Systems.
Proceedings of the Foundations of Software Science and Computational Structures, 2011

Petri nets compositional modeling and verification of Flexible Manufacturing Systems.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

Synthesis and Analysis of Product-Form Petri Nets.
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010
Continuous Petri Nets: Expressive Power and Decidability Issues.
Int. J. Found. Comput. Sci., 2010

Real Time Properties for Interrupt Timed Automata.
Proceedings of the TIME 2010, 2010

Response time of BPEL4WS constructors.
Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

Selection of the Best composite Web Service Based on Quality of Service.
Proceedings of the INFORMATIK 2010 - Business Process and Service Science - Proceedings of ISSS and BPSC, September 27, 2010

Process Refinement and Asynchronous Composition with Modalities.
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009
Model Checking Timed and Stochastic Properties with CSL^{TA}.
IEEE Trans. Software Eng., 2009

An Integrated Framework for Web Services Orchestration.
Int. J. Web Service Res., 2009

Undecidability Results for Timed Automata with Silent Transitions.
Fundam. Inform., 2009

Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains.
Proceedings of the QEST 2009, 2009

Agents Secure Interaction in Data driven Languages.
Proceedings of the Second Multi-Agent Logics, 2009

Data Driven Language for Agents Secure Interaction.
Proceedings of the Languages, 2009

Interrupt Timed Automata.
Proceedings of the Foundations of Software Science and Computational Structures, 2009

Parametric NdRFT for the derivation of optimal repair strategies.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008
When are Timed Automata weakly timed bisimilar to Time Petri Nets?
Theor. Comput. Sci., 2008

Timed Petri nets and timed automata: On the discriminating power of zeno sequences.
Inf. Comput., 2008

Non deterministic repairable fault trees for computing optimal repair strategy.
Proceedings of the 3rd International ICST Conference on Performance Evaluation Methodologies and Tools, 2008

Client Synthesis for Aspect Oriented Web Services.
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

2007
Sub-stochastic matrix analysis for bounds computation - Theoretical results.
European Journal of Operational Research, 2007

Recursive Petri nets.
Acta Inf., 2007

CSLTA: an Expressive Logic for Continuous-Time Markov Chains.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

A framework to design and solve Markov Decision Well-formed Net models.
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Towards the Dynamic Adaptability of SOA.
Proceedings of the ICEIS 2007, 2007

Transactional Reduction of Component Compositions.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Continuous Petri Nets: Expressive Power and Decidability Issues.
Proceedings of the Automated Technology for Verification and Analysis, 2007

Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006
New Efficient Petri Nets Reductions for Parallel Programs Verification.
Parallel Processing Letters, 2006

Tutorial on Formal Methods for Distributed and Cooperative Systems.
Proceedings of the Theoretical Aspects of Computing, 2006

A Formal Semantics and a Client Synthesis for a BPEL Service.
Proceedings of the Enterprise Information Systems, 8th International Conference, 2006

Client Synthesis for Web Services by Way of a Timed Semantics.
Proceedings of the ICEIS 2006, 2006

Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences.
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

On the Computational Power of Timed Differentiable Petri Nets.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

Timed Unfoldings for Networks of Timed Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2006

A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

Extended Timed Automata and Time Petri Nets.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005
Product-form and stochastic Petri nets: a structural approach.
Perform. Eval., 2005

On the use of exact lumpability in partially symmetricalWell-formed Nets.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

Web-MASI: Multi-Agent Systems Interoperability Using a Web Services Based Approach.
Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Modular Verification of Petri Nets Properties: A Structure-Based Approach.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Comparison of the Expressiveness of Timed Automata and Time Petri Nets.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Syntactical Colored Petri Nets Reductions.
Proceedings of the Automated Technology for Verification and Analysis, 2005

Comparison of Different Semantics for Time Petri Nets.
Proceedings of the Automated Technology for Verification and Analysis, 2005

2004
Approximate Analysis of Non-Markovian Stochastic Systems with Multiple Time Scale Delays.
Proceedings of the 12th International Workshop on Modeling, 2004

Interopérabilité des systèmes multi-agents à l'aide des services web.
Proceedings of the Systèmes Multi-Agents Défis scientifiques et nouveaux usages - JFSMA 04, 2004

Modelling Web Services Interoperability.
Proceedings of the ICEIS 2004, 2004

Design and Evaluation of a Symbolic and Abstraction-Based Model Checker.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

A Fault-contained Spanning Tree Protocol for Arbitrary Networks.
Proceedings of the ISCA 17th International Conference on Parallel and Distributed Computing Systems, 2004

2002
Open protocol design for complex interactions in multi-agent systems.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
A Formal Study of Interactions in Multi-agent Systems.
I. J. Comput. Appl., 2001

Checking Linear Temporal Formulas on Sequential Recursive Petri Nets.
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets.
Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000
A Model Checking Method for Partially Symmetric Systems.
Proceedings of the Formal Techniques for Distributed System Development, 2000

1999
Protocol Engineering for Multi-agent Interaction.
Proceedings of the MultiAgent System Engineering, 1999

Combining different failure detectors for solving a large-scale consensus problem.
Proceedings of the Computers and Their Applications (CATA-99), 1999

A formal study of interactions in multi-agent systems.
Proceedings of the Computers and Their Applications (CATA-99), 1999

Theoretical Aspects of Recursive Petri Nets.
Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998
Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Structured Characterization of the Markov Chain of Phase-Type SPN.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

1997
A Symbolic Reachability Graph for Coloured Petri Nets.
Theor. Comput. Sci., 1997

Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets.
Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996
A Coordination Algorithm for Multi-Agent Planning.
Proceedings of the Agents Breaking Away, 1996

Asynchronous Composition of High Level Petri Nets: A Quantitative Approach.
Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995
Evaluation of high level Petri nets by means of aggregation and decomposition.
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

Symbolic Reachability Graph and Partial Symmetries.
Proceedings of the Application and Theory of Petri Nets 1995, 1995

1993
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications.
IEEE Trans. Computers, 1993

Assessment of ESTELLE and EDT Through Real Case Studies.
Proceedings of the Protocol Specification, 1993

Conflict sets in colored Petri nets.
Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

A Protocol Specification Language with a High-Level Petri Net Semantics.
Proceedings of the Decentralized and Distributed Systems, 1993

A Distributed Algorithm for Resource Management.
Proceedings of the Decentralized and Distributed Systems, 1993

An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets.
Proceedings of the Application and Theory of Petri Nets 1993, 1993

1991
Generative Families of Positive Invariants in Coloured Nets Sub-Classes.
Proceedings of the Advances in Petri Nets 1993, 1991

1989
Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture.
Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

Regular stochastic Petri nets.
Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

1988
A reduction theory for coloured nets.
Proceedings of the Advances in Petri Nets 1989, 1988

1986
Algebraic structure of flows of a regular coloured net.
Proceedings of the Advances in Petri Nets 1987, 1986

Specification and properties of a cache coherence protocol model.
Proceedings of the Advances in Petri Nets 1987, 1986


  Loading...