Publications de l'équipe DISTRIBCOM

2012

Articles dans des revues avec comité de lecture

Titre

Model Checking for Software Product Lines with SNIP

Auteurs

Andreas Classen ; Maxime Cordy ; Patrick Heymans ; Pierre-Yves Schobbens ; Axel Legay

Détail

International Journal on Software Tools for Technology Transfer (STTT), Springer, 2012

Accès au bibtex

Titre

Statistical abstraction and model-checking of Large Heterogeneous Systems

Auteurs

Ananda Basu ; Saddek Bensalem; Marius Bozga ; Benoît Delahaye; Axel Legay

Détail

International Journal on Software Tools for Technology Transfer, 2012, 14 (1), pp. 53-72

Accès au bibtex

Titre

Modal event-clock specifications for timed component-based design

Auteurs

Nathalie Bertrand; Axel Legay; Sophie Pinchinat; Jean-Baptiste Raclet

Détail

Science of Computer Programming, Elsevier, 2012, 77, pp. 1212-1234

Accès au bibtex

Communications avec actes

Titre

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

Auteurs

Xavier Devroey; Maxime Cordy ; Gilles Perrouin; Eun-Young Kang; Pierre-Yves Schobbens ; Patrick Heymans; Axel Legay; Benoit Baudry

Détail

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2012, Amirandes, Heraclion, Greece.

Accès au texte intégral et bibtex

Titre

Towards Behavioural Model-Driven Validation of Software Product Lines

Auteurs

Xavier Devroey; Maxime Cordy ; Gilles Perrouin; Eun-Young Kang; Pierre-Yves Schobbens ; Patrick Heymans ; Axel Legay; Benoit Baudry

Détail

5th International Sympoisum on Leveraging Applications of Formal Methods, Oct 2012, Héraklion, Crète, Greece.

Accès au bibtex

Titre

Behavioural Modelling and Verification of Real-time Software Product Lines

Auteurs

Maxime Cordy ; Patrick Heymans ; Pierre-Yves Schobbens ; Axel Legay

Détail

16th Software Product Line Conference, Sep 2012, Salvador de Bahia, Brazil. ACM

Accès au bibtex

Titre

Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations

Auteurs

Ajay Kattepur; Albert Benveniste; Claude Jard

Détail

19th IEEE International Conference on Web Services, Jun 2012, Honolulu, Hawaii, United States.

Accès au texte intégral et bibtex

Titre

Simulation-Based Abstractions for Software Product-Line Model Checking

Auteurs

Maxime Cordy ; Andreas Classen ; Perrouin Gilles ; Pierre-Yves Schobbens ; Patrick Heymans ; Axel Legay

Détail

Martin Glinz and Gail Murphy and Mauro Pezze. 34th International Conference on Software Engineering, ICSE 2012, Jun 2012, Zurich, Switzerland. Proceedings 34th International Conference on Software Engineering, pp. 672-682

Accès au bibtex

Titre

Managing Evolution in Software Product Lines : A Model-Checking Perspective

Auteurs

Maxime Cordy ; Andreas Classen ; Patrick Heymans ; Pierre-Yves Schobbens ; Axel Legay

Détail

6th International Workshop on Variability Modelling of Software Intensive Systems, Jan 2012, Leipzig, Saxe, Germany. ACM, pp. 183-191

Accès au bibtex

Titre

Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic

Auteurs

Peter Bulychev; Alexandre David; Kim G. Larsen; Axel Legay; Guangyuan Li; Danny Bogsten Poulsen; Amélie Stainer

Détail

Nikolaj Bjørner, Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning, Mar 2012, Merida, Venezuela, Bolivarian Republic Of. Springer, 7180, pp. 168-182, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Equational Abstraction Refinement for Certified Tree Regular Model Checking

Auteurs

Yohan Boichut; Benoit Boyer; Thomas Genet; Axel Legay

Détail

ICFEM, Nov 2012, Kyoto, Japan. Springer-Verlag, pp. 299-315, LNCS

Accès au texte intégral et bibtex

Rapports

Titre

Hidden Anomaly Detection in Telecommunication Networks

Auteurs

Aurore Junier; Anne Bouillard; Ronot Benoit

Détail

[Research Report], 2012. RR-7979

Accès au texte intégral et bibtex

Titre

Distributed Implementation of Message Sequence Charts

Auteurs

Loic Helouet ; Claude Jard; Rouwaida Abdallah

Détail

[Research Report], 2012, pp. 42

Accès au bibtex

Titre

Clock Transition Systems

Auteurs

Didier Lime; Olivier Roux; Claude Jard

Détail

[Report], 2012

Accès au texte intégral et bibtex

Titre

Generalized DEL-sequents

Auteurs

Guillaume Aucher; Bastien Maubert; François Schwarzentruber

Détail

[Research Report], 2012, pp. 23. RR-8012

Accès au texte intégral et bibtex

Titre

A-sharp: a Distributed A-star for Factored Planning

Auteurs

Loïg Jezequel; Eric Fabre

Détail

[Research Report], 2012. RR-7927

Accès au texte intégral et bibtex

Thèses

Titre

Gestion Flexible de la Qualité de Service dans les Orchestrations de Services Web

Auteurs

Ajay Kattepur

Détail

informatique. Université Rennes 1, Nov. 2012. English

Accès au texte intégral et bibtex

2011

Articles dans des revues avec comité de lecture

Titre

DEL-sequents for progression

Auteurs

Guillaume Aucher

Détail

Journal of Applied Non-Classical Logics, Lavoisier, 2011, 21 (3-4), pp. 289 - 321

Accès au bibtex

Titre

A Dynamic Logic for Privacy Compliance

Auteurs

Guillaume Aucher; Leendert Van Der Torre; Guido Boella

Détail

Journal of Artificial Intelligence and Law, Springer, 2011, 19 (2-3), pp. 187-231

Accès au texte intégral et bibtex

Communications avec actes

Titre

Pairwise Testing of Dynamic Composite Services

Auteurs

Ajay Kattepur; Sagar Sen; Benoit Baudry; Albert Benveniste; Claude Jard

Détail

The 6th international symposium on Software engineering for adaptive and self-managing systems, May 2011, Waikiki, Honolulu, Hawaii, United States. ACM, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, pp. 138-147, 1988028

Accès au texte intégral et bibtex

Titre

Optimizing Decisions in Web Services Orchestrations

Auteurs

Ajay Kattepur; Albert Benveniste; Claude Jard

Détail

Gerti Kappel and Zakaria Maamar and Hamid R. Motahari-Nezhad. 9th International Conference on Service-Oriented Computing, Dec 2011, Paphos, Cyprus. Springer, 7084, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Importance Sampling of Probabilistic Contracts in Web Services

Auteurs

Ajay Kattepur

Détail

Gerti Kappel and Zakaria Maamar and Hamid R. Motahari-Nezhad. 9th International Conference on Service-Oriented Computing, Dec 2011, Paphos, Cyprus. Springer, ICSOC, 7084, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Assembling Sessions

Auteurs

Philippe Darondeau; Loïc Hélouët; Madhavan Mukund

Détail

ATVA 2011 : 9th International Symposium on Automated Technology for Verification and Analysis, Oct 2011, Taipei, Taiwan, Province Of China. Springer, Automated Technology for Verification and Analysis, 6996, pp. 259-274, Lecture Notes in Computer Science

Accès au bibtex

Titre

A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways

Auteurs

Sucheendra Palaniappan; S. Akshay; Blaise Genest; P.S. Thiagarajan

Détail

9th International Conference on Computational Methods in Systems Biology, 2011, France. pp. 35-44

Accès au texte intégral et bibtex

Titre

Dynamics in Delegation and Revocation Schemes: A Logical Approach

Auteurs

Guillaume Aucher; Steve Barker; Guido Boella; Valerio Genovese; Leendert Van Der Torre

Détail

25th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy, Jul 2011, Richmond, United States.

Accès au texte intégral et bibtex

Titre

Tableau method and NEXPTIME-Completeness of DEL-Sequents

Auteurs

Guillaume Aucher; Bastien Maubert; François Schwarzentruber

Détail

Methods for Modalities (M4M), Nov 2011, Sevilla, Spain. Elsevier

Accès au texte intégral et bibtex

Rapports

Titre

Regular Set of Representatives for Time-Constrained MSC Graphs

Auteurs

Akshay Sundararaman; Blaise Genest; Loïc Hélouët; Shaofa Yang

Détail

[Research Report], 2011, 15 p.. RR-7823

Accès au texte intégral et bibtex

Titre

Realistic Implementation of Message Sequence Charts

Auteurs

Claude Jard; Rouwaida Abdallah; Loïc Hélouët

Détail

[Research Report], 2011. RR-7597

Accès au texte intégral et bibtex

Titre

Compatibility between DAXML Schemas

Auteurs

Benoît Masson; Loïc Hélouët; Albert Benveniste

Détail

[Research Report], 2011, pp. 36. RR-7559

Accès au texte intégral et bibtex

Thèses

Titre

Supervision de systèmes répartis utilisant des dépliages avec contraintes de modèles temporisés

Auteurs

Bartosz Grabiec

Détail

École normale supérieure de Cachan - ENS Cachan, Oct. 2011. English

Accès au texte intégral et bibtex

2010

Articles dans des revues avec comité de lecture

Titre

Quantifying the discord: Order discrepancies in Message Sequence Charts

Auteurs

Edith Elkind; Blaise Genest; Doron Peled; Paola Spoletini

Détail

International Journal of Foundations of Computer Science, 2010, pp. 211-233

Accès au texte intégral et bibtex

Titre

Quasi-static scheduling of communicating tasks

Auteurs

Philippe Darondeau; Blaise Genest; P.S. Thiagarajan; Yang Shaofa

Détail

Information and Computation, Elsevier, 2010, 208 (10)

Accès au bibtex

Communications avec actes

Titre

Symbolic Unfolding of Parametric Stopwatch Petri Nets

Auteurs

Louis-Marie Traonouez; Bartosz Grabiec; Claude Jard; Didier Lime; Olivier Roux

Détail

the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010), Sep 2010, Singapore, Singapore. Springer, 6252, pp. 291-305, Lecture Notes in Computer Science

Accès au bibtex

Titre

Diagnosis using unfoldings of parametric time Petri nets

Auteurs

Bartosz Grabiec; Louis-Marie Traonouez; Claude Jard; Didier Lime; Olivier Roux

Détail

8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2010), Sep 2010, Vienna, Austria. Springer, 6246, pp. 137-151, Lecture Notes in Computer Science

Accès au bibtex

Titre

Covert channel detection using Information Theory

Auteurs

Loïc Hélouët; Aline Roumy

Détail

SecCo 2010 8th International Workshop on Security Issues in Concurrency, Aug 2010, Paris, France.

Accès au bibtex

Titre

Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata

Auteurs

Blaise Genest; Hugo Gimbert; Anca Muscholl; Igor Walukiewicz

Détail

ICALP, 2010, France. 6199, pp. 52-63, LNCS

Accès au texte intégral et bibtex

Titre

Verifying Recursive Active Documents with Positive Data Tree Rewriting

Auteurs

Blaise Genest; Anca Muscholl; Zhilin Wu

Détail

Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), 2010, India. pp. 469-480

Accès au texte intégral et bibtex

Titre

Variability Modeling and QoS Analysis of Web Services Orchestrations

Auteurs

Ajay Kattepur; Sagar Sen; Benoit Baudry; Albert Benveniste; Claude Jard

Détail

International Conference on Web Services, 2010, Miami, FL, USA, United States. IEEE

Accès au texte intégral et bibtex

Titre

Document based modeling of Web services choreographies using Active XML

Auteurs

Loic Helouet; Albert Benveniste

Détail

International conference on Web Services, Jul 2010, Miami, United States. IEEE

Accès au texte intégral et bibtex

Titre

Diagnosis with Dynamic MSC Languages

Auteurs

Benedikt Bollig; Stefan Haar; Loic Helouet

Détail

Workshop on distributed Open timed Systems, Aug 2010, Paris, France.

Accès au texte intégral et bibtex

Titre

Decidable Race Condition and Open Coregions in HMSC

Auteurs

Vojtech Rehak; Petr Slovak; Jan Strejcek; Loic Helouet

Détail

GT-VMT - 9th International Workshop on Graph Transformation and Visual Modeling Techniques, Mar 2010, Paphos, Cyprus.

Accès au texte intégral et bibtex

Titre

Realizability of Dynamic MSC Languages

Auteurs

Benedikt Bollig; Loic Helouet

Détail

International Computer Science Symposium in Russia, Jun 2010, Kazan, Russian Federation.

Accès au texte intégral et bibtex

Conférences invitées

Titre

On the differences between Covert Channels and Interference

Auteurs

Loic Helouet; Aline Roumy

Détail

Workshop on Games, Logic and Security, Nov 2010, Rennes, France.

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Verifying Recursive Active Documents with Positive Data Tree Rewriting

Auteurs

Blaise Genest; Anca Muscholl; Zhilin Wu

Détail

Mar. 2010

Accès au texte intégral et bibtex

2009

Articles dans des revues avec comité de lecture

Titre

Causal Message Sequence Charts

Auteurs

Thomas Gazagnaire; Blaise Genest; Loic Helouet; P.S. Thiagarajan; Shaofa Yang

Détail

Theoretical Computer Science, Elsevier, 2009, 38 p

Accès au texte intégral et bibtex

Communications avec actes

Titre

Qualitative Determinacy and Decidability of Stochastic Games with Signals

Auteurs

Nathalie Bertrand; Blaise Genest; Hugo Gimbert

Détail

LICS'09, IEEE Symposium on logic in computer science, Aug 2009, Los Angeles, United States. pp. 0

Accès au texte intégral et bibtex

Titre

Lightweight Modeling of Complex State Dependencies in Stream Processing Systems

Auteurs

Anne Bouillard; Linh Phan; Samarjit Chakraborty

Détail

15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2009), Apr 2009, San Francisco, United States. 10 p.

Accès au texte intégral et bibtex

Titre

Concurrency, sigma-algebras and probabilistic fairness

Auteurs

Samy Abbes; Albert Benveniste

Détail

Luca de Alfaro. FOSSACS 2009, Mar 2009, York, United Kingdom. Springer-Verlag, 5504, pp. 380-394, LNCS

Accès au texte intégral et bibtex

Titre

Why are modalities good for Interface Theories?

Auteurs

Jean-Baptiste Raclet; Eric Badouel; Albert Benveniste; Benoit Caillaud; Roberto Passerone

Détail

Stephen Edwards and Walter Vogler. The 9th International Conference on Application of Concurrency to System Design, Jul 2009, Augsburg, Germany.

Accès au texte intégral et bibtex

Titre

Critical paths in the Partial Order Unfolding of a Stochastic Petri Net

Auteurs

Anne Bouillard; Stefan Haar; Sidney Rosario

Détail

Ouaknine, Joël and Vaandrager, Frits. Proceedings of the 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09), 2009, Budapest, Hungary, Hungary. Springer, 5813, pp. 43-57

Accès au bibtex

Titre

Monotonicity in Service Orchestrations

Auteurs

Anne Bouillard; Sidney Rosario; Albert Benveniste; Stefan Haar

Détail

Franceschinis, Giuliana and Wolf, Karsten. Proceedings of the 30th International Conference on Applications and Theory of Petri Nets (ICATPN'09), 2009, Paris, France, France. Springer, 5606, pp. 263-282

Accès au bibtex

Directions d'ouvrages

Titre

Communicating Embedded Systems - Software and Design

Auteurs

Claude Jard; Olivier H. Roux

Détail

STE Publishing/John Wiley, pp. 261, 2009

Accès au bibtex

Rapports

Titre

Why are modalities good for Interface Theories?

Auteurs

Jean-Baptiste Raclet; Eric Badouel; Albert Benveniste; Benoit Caillaud; Roberto Passerone

Détail

[Research Report], 2009. RR-6899

Accès au texte intégral et bibtex

Titre

A Theory of QoS for Web Service Orchestrations

Auteurs

Sidney Rosario; Albert Benveniste; Claude Jard

Détail

[Research Report], 2009. RR-6951

Accès au texte intégral et bibtex

Titre

Critical paths in the Partial Order Unfolding of a Stochastic Petri Net

Auteurs

Anne Bouillard; Stefan Haar; Sidney Rosario

Détail

[Research Report], 2009, pp. 17. RR-7003

Accès au texte intégral et bibtex

Titre

Tight performance bounds in the worst-case analysis of feed-forward networks

Auteurs

Anne Bouillard; Laurent Jouhet; Eric Thierry

Détail

[Research Report], 2009, pp. 22. RR-7012

Accès au texte intégral et bibtex

Titre

Distributed Active XML and Service Interfaces

Auteurs

Loïc Hélouët; Albert Benveniste

Détail

[Research Report], 2009, pp. 64. RR-7082

Accès au texte intégral et bibtex

Titre

Service curves in Network Calculus: dos and don'ts

Auteurs

Anne Bouillard; Laurent Jouhet; Eric Thierry

Détail

[Research Report], 2009, pp. 24. RR-7094

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Quasi-Static Scheduling of Communicating Tasks.

Auteurs

Philippe Darondeau; Blaise Genest; P.S. Thiagarajan; Yang Shaofa

Détail

Oct. 2009

Accès au texte intégral et bibtex

2008

Articles dans des revues avec comité de lecture

Titre

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

Auteurs

Sidney Rosario; Albert Benveniste; Stefan Haar; Claude Jard

Détail

IEEE Transactions on Services Computing, IEEE Computer Society Press, 2008, 1 (4), pp. 187-200

Accès au texte intégral et bibtex

Titre

Pattern Matching and Membership for Hierarchical Message Sequence Charts

Auteurs

Blaise Genest; Anca Muscholl

Détail

Theory of Computing Systems, 2008, 42 (4), pp. 536-567

Accès au bibtex

Titre

Probabilistic true-concurrency models: Markov nets and a Law of large numbers

Auteurs

Samy Abbes; Albert Benveniste

Détail

Theoretical Computer Science, 2008, 390, pp. 129-170

Accès au texte intégral et bibtex

Communications avec actes

Titre

Tree Pattern Rewriting Systems

Auteurs

Blaise Genest; Anca Muscholl; Olivier Serre; Marc Zeitoun

Détail

Automated Technology for Verification and Analysis, 2008, Korea, Republic Of. 5311, pp. 332-346, Lecture Notes in Computer Science

Accès au bibtex

Titre

Event Structure Semantics of Orc

Auteurs

Sidney Rosario; David Kitchin; Albert Benveniste; William Cook; Stefan Haar; Claude Jard

Détail

Dumas, Marlon and Heckel, Reiko. Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM'07), 2008, Brisbane, Australia, Australia. Springer, 4937, pp. 154-168

Accès au bibtex

Titre

Testing Systems Specified as Partial Order Input\slashOutput Automata

Auteurs

Gregor Von Bochmann; Stefan Haar; Claude Jard; Guy-Vincent Jourdan

Détail

Suzuki, Kenji and Higashino, Teruo and Ulrich, Andreas and Hasegawa, Toru. Proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems (TestCom'08) and 8th International Workshop on Formal Approaches to Testing of Software (FATES'08), 2008, Tokyo, Japan, Japan. Springer, 5047, pp. 169-183

Accès au bibtex

Directions d'ouvrages

Titre

Approches formelles des systèmes embarqués communicants

Auteurs

Olivier H. Roux; Claude Jard

Détail

Hermes Lavoisier, pp. 268, 2008

Accès au bibtex

Rapports

Titre

Optimal routing for end-to-end guarantees using Network Calculus

Auteurs

Anne Bouillard; Bruno Gaujal; Sébastien Lagrange; Eric Thierry

Détail

[Research Report], 2008, pp. 20. RR-6423

Accès au texte intégral et bibtex

Titre

Monotony in Service Orchestrations

Auteurs

Anne Bouillard; Sidney Rosario; Albert Benveniste; Stefan Haar

Détail

[Research Report], 2008. RR-6528

Accès au texte intégral et bibtex

Titre

Concurrency, sigma-algebras, and probabilistic fairness

Auteurs

Samy Abbes; Albert Benveniste

Détail

[Research Report], 2008, pp. 24. RR-6724

Accès au texte intégral et bibtex

Thèses

Titre

Langages de scénarios : Utiliser des ordres partiels pour modéliser, vérifier et superviser des systèmes parallèles et répartis.

Auteurs

Thomas Gazagnaire

Détail

informatique. Université Rennes 1, Mar. 2008. French

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Determinacy and Decidability of Reachability Games with Partial Observation on Both Sides

Auteurs

Nathalie Bertrand; Blaise Genest; Hugo Gimbert

Détail

Nov. 2008

Accès au texte intégral et bibtex

Titre

End-to-end performance guarantees for multipath flows

Auteurs

Anne Bouillard; Laurent Jouhet; Eric Thierry

Détail

Jun. 2008

Accès au texte intégral et bibtex

Titre

Computation of a (min,+) multi-dimensional convolution for end-to-end performance analyzes

Auteurs

Anne Bouillard; Laurent Jouhet; Eric Thierry

Détail

May. 2008

Accès au texte intégral et bibtex

2007

Articles dans des revues avec comité de lecture

Titre

On communicating automata with bounded channels

Auteurs

Blaise Genest; Dietrich Kuske; Anca Muscholl

Détail

Fundamenta Informaticae, 2007, 80 (2), pp. 147-167

Accès au bibtex

Titre

Test Synthesis from UML Models of Distributed Software

Auteurs

Simon Pickin; Claude Jard; Thierry Jéron; Jean-Marc Jézéquel; Yves Le Traon

Détail

IEEE Transactions on Software Engineering, IEEE, 2007, 33 (4), pp. 252-268

Accès au texte intégral et bibtex

Communications avec actes

Titre

Testing Input\slashOutput Partial Order Automata

Auteurs

Stefan Haar; Claude Jard; Guy-Vincent Jourdan

Détail

Petrenko, Alexandre and Veanes, Margus and Tretmans, Jan and Grieskamp, Wolfgang. Proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems (TestCom'07) and 7th International Workshop on Formal Approaches to Testing of Software (FATES'07), 2007, Tallinn, Estonia. Springer, 4581, pp. 171-185

Accès au bibtex

Titre

Unfold and Cover: Qualitative Diagnosability for Petri Nets

Auteurs

Stefan Haar

Détail

Proceedings of the 46th IEEE Conference on Decision and Control (CDC'07), 2007, New Orleans, LA, USA, United States. IEEE Control System Society, pp. 1886-1891

Accès au bibtex

Titre

A~protocol for QoS contract negotiation and its implementation using web Services

Auteurs

Hélia Pouyllau; Stefan Haar

Détail

Proceedings of the 6th International Conference on Web Services (ICWS'07), 2007, Salt Lake City, Utah, USA, United States. IEEE Computer Society Press, pp. 168-175

Accès au bibtex

Titre

Probabilistic QoS and soft contracts for transaction based web services

Auteurs

Sidney Rosario; Albert Benveniste; Stefan Haar; Claude Jard

Détail

Proceedings of the 6th International Conference on Web Services (ICWS'07), 2007, Salt Lake City, Utah, USA, United States. IEEE Computer Society Press, pp. 126-133

Accès au bibtex

Rapports

Titre

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them

Auteurs

Eric Fabre; Albert Benveniste

Détail

[Research Report], 2007, pp. 38. RR-5916

Accès au texte intégral et bibtex

Titre

An Algorithmic Toolbox for Network Calculus

Auteurs

Anne Bouillard; Eric Thierry

Détail

[Research Report], 2007, pp. 44. RR-6094

Accès au texte intégral et bibtex

Titre

Some examples and counterexamples for (min,+) filtering operations

Auteurs

Anne Bouillard; Eric Thierry

Détail

[Research Report], 2007, pp. 14. RR-6095

Accès au texte intégral et bibtex

Titre

An Explicit Control Algorithm for Optical FIFO Queues

Auteurs

Anne Bouillard; Cheng-Shang Chang

Détail

[Research Report], 2007, pp. 11. RR-6097

Accès au texte intégral et bibtex

Titre

Event Structure Semantics of Orc

Auteurs

Sidney Rosario; David Kitchin; Albert Benveniste; William Cook; Stefan Haar; Claude Jard

Détail

[Research Report], 2007. RR-6221

Accès au texte intégral et bibtex

Titre

Event Structure Semantics of Orc

Auteurs

Sidney Rosario; David Kitchin; Albert Benveniste; William Cook; Stefan Haar; Claude Jard

Détail

[Research Report], 2007, pp. 33. PI 1853

Accès au texte intégral et bibtex

Titre

Products of Message Sequence Charts

Auteurs

Philippe Darondeau; Blaise Genest; Loïc Hélouët

Détail

[Research Report], 2007, pp. 27. RR-6258

Accès au texte intégral et bibtex

Titre

Formalizing Visibility Characteristics in Hierarchical Systems

Auteurs

Debmalya Biswas; Krishnamurthy Vidyasankar

Détail

[Research Report], 2007. RR-6225

Accès au texte intégral et bibtex

Titre

Causal Message Sequence charts

Auteurs

Thomas Gazagnaire; Shaofa Yang; Loïc Hélouët; Blaise Genest; P.S. Thiagarajan

Détail

[Research Report], 2007, pp. 39. RR-6301

Accès au texte intégral et bibtex

Titre

Truly Concurrent Synchronization of Markov Chains

Auteurs

Samy Abbes; Albert Benveniste

Détail

[Research Report], 2007, pp. 20. PI 1866

Accès au texte intégral et bibtex

Titre

Modular construction of finite and complete prefixes of Petri net unfoldings

Auteurs

Agnes Madalinski; Eric Fabre

Détail

[Research Report], 2007. RR-6412

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Optimal routing for end-to-end guarantees: the price of multiplexing

Auteurs

Anne Bouillard; Bruno Gaujal; Sébastien Lagrange; Eric Thierry

Détail

Jun. 2007, LIP Research Report n°2007-25

Accès au texte intégral et bibtex

2006

Articles dans des revues avec comité de lecture

Titre

Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures

Auteurs

Samy Abbes; Albert Benveniste

Détail

Information and Computation, 2006, 204 (2), pp. 231-274

Accès au texte intégral et bibtex

Titre

A Kleene theorem and model checking algorithms for existentially bounded communicating automata

Auteurs

Blaise Genest; Dietrich Kuske; Anca Muscholl

Détail

Information and Computation, 2006, 204 (6), pp. 920-956

Accès au bibtex

Communications avec actes

Titre

Constructing Exponential-size Deterministic Zielonka Automata

Auteurs

Blaise Genest; Anca Muscholl

Détail

International Colloquium on Automata, Languages and Programming, 2006, Italy. 4052, pp. 565-576, Lecture Notes in Computer Science

Accès au bibtex

Titre

X-domain QoS budget negotiation using Dynamic Programming

Auteurs

Laurent Ciarletta; Helia Pouyllau; Armen Aghasaryan; Stefan Haar

Détail

Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services - AICT 2006 / ICIW 2006, Feb 2006, Guadeloupe/French Caribbean. IEEE Computer Society, pp. 35

Accès au bibtex

Titre

Multi-Domain Self Aware Management : Negotiation and Monitoring

Auteurs

Laurent Ciarletta; Sophie Piekarec; Armen Aghasaryan; Helia Pouyllau; Stefan Haar; Eric Fabre; Nader Mbarek

Détail

13th International Conference on Telecommunications - ICT 2006, May 2006, Funchal, Madeira island/Portugal.

Accès au bibtex

Titre

Symbolic Unfoldings for Networks of Timed Automata

Auteurs

Franck Cassez; Thomas Chatain; Claude Jard

Détail

4th Int. Symp. on Automated Technology for Verification and Analysis (ATVA'06), Oct 2006, Beijing, China. Springer, 4218, pp. 307-321

Accès au texte intégral et bibtex

Titre

Distributed Unfolding of Petri Nets

Auteurs

Paolo Baldan; Stefan Haar; Barbara König

Détail

Aceto, Luca and Ingólfsdóttir, Anna. Proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'06), 2006, Vienna, Austria, Austria. Springer, 3921, pp. 126-141

Accès au bibtex

Rapports

Titre

Net systems semantics of Web Services Orchestrations modeled in Orc

Auteurs

Sidney Rosario; Albert Benveniste; Stefan Haar; Claude Jard

Détail

[Research Report], 2006. PI 1780

Accès au texte intégral et bibtex

Titre

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them

Auteurs

Eric Fabre; Albert Benveniste

Détail

[Research Report], 2006, pp. 32. PI 1800

Accès au texte intégral et bibtex

2005

Articles dans des revues avec comité de lecture

Titre

Distributed monitoring of concurrent and asynchronous systems.

Auteurs

Eric Fabre; Albert Benveniste; Stefan Haar; Claude Jard

Détail

Discrete Event Dynamic Systems: Theory and Applications, Springer, 2005, 15 (1), pp. 33-84

Accès au texte intégral et bibtex

Communications avec actes

Titre

Extension de Matching Pursuit au modèle des moindres carrés totaux

Auteurs

Sébastien Maria

Détail

Alexandre Vautier, Sylvie Saget. MajecSTIC 2005 : Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC, Nov 2005, Rennes. pp. 188-195

Accès au texte intégral et bibtex

Titre

Scenarios and covert channels, another game...

Auteurs

Loïc Hélouët; Marc Zeitoun; Aldric Degorre

Détail

GDV 04, 2005, Boston, United States. 119, pp. 93-116

Accès au bibtex

Titre

Branching cells as local states for event structures and nets: probabilistic applications

Auteurs

Samy Abbes; Albert Benveniste

Détail

V. Sassone. Foundations of Software Science and Computation Structures, Apr 2005, Edinburgh, United Kingdom. Springer, 3441, pp. 95-109, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Fault Diagnosis for Distributed Asynchronous Dynamically Reconfigured Discrete Event Systems

Auteurs

Albert Benveniste; Eric Fabre; Stefan Haar; Claude Jard

Détail

Horáček, Petr and \vSimandl, Miroslav and Zítek, Pavel. Proceedings of the 16th IFAC World Congress (IFAC'05), 2005, Prague, Czech Republic, Czech Republic. Elsevier Science Publishers

Accès au bibtex

Titre

Diagnosis of asynchronous discrete event systems: datalog to the rescue!

Auteurs

Serge Abiteboul; Zoe Abrams; Stefan Haar; Tova Milo

Détail

Li, Chen. Proceedings of the 24th Annual ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'05), 2005, Baltimore, Maryland, USA, United States. ACM Press, pp. 358-367

Accès au bibtex

Rapports

Titre

Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets

Auteurs

Thomas Chatain; Claude Jard

Détail

[Research Report], 2005. PI 1740

Accès au texte intégral et bibtex

Titre

Weakening the Weak Sequential Composition in Scenarios

Auteurs

Loïc Hélouët

Détail

[Research Report], 2005, pp. 28. RR-6262

Accès au texte intégral et bibtex

Titre

On the construction of pullbacks for safe Petri nets

Auteurs

Eric Fabre

Détail

[Research Report], 2005, pp. 12. PI 1750

Accès au texte intégral et bibtex

Titre

True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers

Auteurs

Samy Abbes; Albert Benveniste

Détail

[Research Report], 2005, pp. 59. PI 1753

Accès au texte intégral et bibtex

Titre

On the use of unfoldings to abstract communicating automata into sets of scenarios

Auteurs

Thomas Chatain; Loïc Hélouët; Claude Jard

Détail

[Research Report], 2005, pp. 23. PI 1751

Accès au texte intégral et bibtex

Titre

On the use of unfoldings to abstract communicating automata into sets of scenarios

Auteurs

Thomas Chatain; Loïc Hélouët; Claude Jard

Détail

[Research Report], 2005, pp. 23. RR-5778

Accès au texte intégral et bibtex

Titre

Online Abstraction of Distributed Executions

Auteurs

Thomas Gazagnaire; Loïc Hélouët; Claude Jard

Détail

[Research Report], 2005, pp. 28. RR-5736

Accès au texte intégral et bibtex

Titre

On the construction of pullbacks for safe Petri nets

Auteurs

Eric Fabre

Détail

[Research Report], 2005, pp. 13. RR-5722

Accès au texte intégral et bibtex

Titre

Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets

Auteurs

Thomas Chatain; Claude Jard

Détail

[Research Report], 2005, pp. 19. RR-5706

Accès au texte intégral et bibtex

Titre

Trellis Processes : a Compact Representation for Runs of Concurrent Systems

Auteurs

Eric Fabre

Détail

[Research Report], 2005, pp. 34. RR-5554

Accès au texte intégral et bibtex

2004

Communications avec actes

Titre

A Petri net model for distributed estimation

Auteurs

Samy Abbes; Albert Benveniste; Stefan Haar

Détail

Sixteenth International Symposium on Mathematical Theory of Networks and Systems, 2004, Louvain, Belgium. pp. ISBN 90-5682-517-8

Accès au bibtex

Titre

Algorithms for Distributed Fault Management in Telecommunications Networks

Auteurs

Eric Fabre; Albert Benveniste; Stefan Haar; Claude Jard; Armen Aghasaryan

Détail

de Souza, José Neuman and Dini, Petre and Lorenz, Pascal. Proceedings of the 11th International Conference on Telecommunications (ICT'04), 2004, Fortaleza, Brazil, Brazil. Springer, 3124, pp. 820-825

Accès au bibtex

Rapports

Titre

Branching cells as local states for event structures and nets: probabilistic applications

Auteurs

Samy Abbes; Albert Benveniste

Détail

[Research Report], 2004, pp. 24. RR-5347

Accès au texte intégral et bibtex

Titre

Diagnosability Of Asynchronous Discrete Event Systems in Partial Order Semantics

Auteurs

Stefan Haar

Détail

[Research Report], 2004, pp. 25. RR-5248

Accès au texte intégral et bibtex

Titre

Factorization of Unfoldings for Distributed Tile Systems Part 2: General Case

Auteurs

Eric Fabre

Détail

[Research Report], 2004. RR-5186

Accès au texte intégral et bibtex

Titre

Distributed monitoring of concurrent and asynchronous systems---extended version

Auteurs

Albert Benveniste; Stefan Haar; Eric Fabre; Claude Jard

Détail

[Research Report], 2004. RR-4842

Accès au texte intégral et bibtex

Thèses

Titre

Modèle probabiliste de systèmes distribués et concurrents. Théorèmes limite et application à l'estimation statistique de paramètres

Auteurs

Samy Abbes

Détail

Université Rennes 1, Oct. 2004. English

Accès au texte intégral et bibtex

2003

Communications avec actes

Titre

Covert channels detection in protocols using scenarios

Auteurs

Loïc Hélouët; Claude Jard; Marc Zeitoun

Détail

Security Protocols Verification, SPV'03, 2003, France. M. Rusinowitch, pp. 2125

Accès au bibtex