Loïc Hélouët

According to our database1, Loïc Hélouët
  • authored at least 52 papers between 1999 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
Non-interference in Partial Order Models.
ACM Trans. Embedded Comput. Syst., 2017

An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

On the Cost of Diagnosis with Disambiguation.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2016
Petri Nets with Structured Data.
Fundam. Inform., 2016

Robustness of Time Petri Nets under Guard Enlargement.
Fundam. Inform., 2016

Diagnosability of repairable faults.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Combining Free Choice and Time in Petri Nets.
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

Decidable Classes of Unbounded Petri Nets with Time and Urgency.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

2015
Distributed implementation of message sequence charts.
Software and System Modeling, 2015

A grammatical approach to data-centric case management in a distributed collaborative environment.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Petri Nets with Structured Data.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

Non-interference in Partial Order Models.
Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2014
Diagnosis from scenarios.
Discrete Event Dynamic Systems, 2014

A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment.
CoRR, 2014

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

Sessions with an Unbounded Number of Agents.
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

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

Dynamic Communicating Automata and Branching High-Level MSCs.
Proceedings of the Language and Automata Theory and Applications, 2013

Scenario Realizability with Constraint Optimization.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

Scenario automata : theory and applications. (Automates d'ordres : théorie et applications).
, 2013

2012
Regular set of representatives for time-constrained MSC graphs.
Inf. Process. Lett., 2012

Robustness of Time Petri Nets under Guard Enlargement.
Proceedings of the Reachability Problems - 6th International Workshop, 2012

Symbolically Bounding the Drift in Time-Constrained MSC Graphs.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

Robustness of Time Petri Nets under Architectural Constraints.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011
Compatibility of Data-Centric Web Services.
Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

Assembling Sessions.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
Decidable Race Condition and Open Coregions in HMSC.
ECEASST, 2010

Covert channel detection using Information Theory
Proceedings of the Proceedings 8th International Workshop on Security Issues in Concurrency, 2010

Document Based Modeling of Web Services Choreographies Using Active XML.
Proceedings of the IEEE International Conference on Web Services, 2010

Realizability of Dynamic MSC Languages.
Proceedings of the Computer Science, 2010

2009
Causal Message Sequence Charts.
Theor. Comput. Sci., 2009

2008
Products of Message Sequence Charts.
Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007
Event Correlation with Boxed Pomsets.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Causal Message Sequence Charts.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006
Automating Scenario Merging.
Proceedings of the System Analysis and Modeling: Language Profiles, 2006

Semantic-based weaving of scenarios.
Proceedings of the 5th International Conference on Aspect-Oriented Software Development, 2006

2005
Merging Scenarios.
Electr. Notes Theor. Comput. Sci., 2005

Scenarios and Covert Channels: Another Game...
Electr. Notes Theor. Comput. Sci., 2005

From Automata Networks to HMSCs: A Reverse Model Engineering Perspective.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004
Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2.
Proceedings of the System Analysis and Modeling, 4th International SDL and MSC Workshop, 2004

Revisiting Statechart Synthesis with an Algebraic Approach.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003
Distributed system requirement modeling with message sequence charts: the case of the RMTP2 protocol.
Information & Software Technology, 2003

Modélisation de lignes de produits en UML.
L'OBJET, 2003

Towards a UML Profile for Software Product Lines.
Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003

High-Level Message Sequence Charts and Projections.
Proceedings of the CONCUR 2003, 2003

2002
An Event Structure Based Semantics for High-Level Message Sequence Charts.
Mathematical Structures in Computer Science, 2002

A Semantics for Timed MSC.
Electr. Notes Theor. Comput. Sci., 2002

2001
Some Pathological Message Sequence Charts, and How to Detect Them.
Proceedings of the SDL 2001: Meeting UML, 2001

2000
Decomposition of Message Sequence Charts.
Proceedings of the SAM 2000, 2000

HMSCs as Partial Specifications ... with PNs as Completions.
Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

1999
A simulation model for message sequence charts.
SDL Forum, 1999


  Loading...