Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Serge Haddad

Coupling and Importance Sampling for Statistical Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Concurrent Games on VASS With Inhibition

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Active Diagnosis for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Data Driven Language for Agents Secure Interaction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Complexity Analysis of Continuous Petri Nets

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2015English

Preface

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2014English

Trading Optimality for Performance in Location Privacy

2017English

Petri Nets Compositional Modeling and Verification of Flexible Manufacturing Systems

2011English

Timed Unfoldings for Networks of Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Undecidability Results for Timed Automata With Silent Transitions

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy