Loïc Hélouët

77 papers A* 1A 2B 18C 7Misc 2Journal 20Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Reachability in Multi-agent Transfer Systems. VMCAI Nathalie Bertrand, Loïc Hélouët, Engel Lefaucheux, Luca Paparazzo
2025	B	`conf`	Energy Transfer in Timed Cyclic Networks. Petri Nets Luca Paparazzo, Loïc Hélouët, Nicolas Markey
2025	B	`conf`	Petri Nets and Higher-Dimensional Automata. Petri Nets Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Loïc Hélouët, Philipp Schlehuber-Caissier
2025	J	`jnl`	Petri Nets and Higher-Dimensional Automata. CoRR Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Loïc Hélouët, Philipp Schlehuber-Caissier
2024	—	`conf`	A Floyd-Warshall Approach to Value Computation in Markov Decision Processes. QEST+FORMATS Aymeric Côme, Éric Fabre, Loïc Hélouët
2024	C	`conf`	Modeling Subway Networks and Passenger Flows. ATMOS Antoine Thébault, Loïc Hélouët, Kenza Saiah
2024	B	`conf`	Symbolic Domains and Reachability for Nets with Trajectories. Petri Nets Loïc Hélouët, Prerak Contractor
2024	J	`jnl`	Waiting Nets: State Classes and Taxonomy. Fundam. Informaticae Loïc Hélouët, Pranay Agrawal
2023	B	`conf`	Mochy: A Tool for the Modeling of Concurrent Hybrid Systems. Petri Nets Loïc Hélouët, Antoine Thébault
2022	J	`jnl`	Reachability games with relaxed energy constraints. Inf. Comput. Loïc Hélouët, Nicolas Markey, Ritam Raha
2022	J	`jnl`	Waiting Nets (Extended Version). CoRR Loïc Hélouët, Pranay Agrawal
2022	B	`conf`	Waiting Nets. Petri Nets Loïc Hélouët, Pranay Agrawal
2021	B	`conf`	Cost and Quality in Crowdsourcing Workflows. Petri Nets Loïc Hélouët, Zoltán Miklós, Rituraj Singh
2021	J	`jnl`	Reducing the Cost of Aggregation in Crowdsourcing. Trans. Large Scale Data Knowl. Centered Syst. Rituraj Singh, Loïc Hélouët, Zoltán Miklós
2021	—	`conf`	Resilience of Timed Systems. FSTTCS S. Akshay, Blaise Genest, Loïc Hélouët, S. Krishna, Sparsa Roychowdhury
2020	J	`jnl`	Combining free choice and time in Petri nets. J. Log. Algebraic Methods Program. S. Akshay, Loïc Hélouët, Ramchandra Phawade
2020	B	`conf`	Data Centric Workflows for Crowdsourcing. Petri Nets Pierre Bourhis, Loïc Hélouët, Zoltán Miklós, Rituraj Singh
2020	A	`conf`	Reducing the Cost of Aggregation in Crowdsourcing. ICWS Rituraj Singh, Loïc Hélouët, Zoltán Miklós
2020	B	`conf`	Timed Negotiations. FoSSaCS S. Akshay, Blaise Genest, Loïc Hélouët, Sharvik Mital
2019	—	`conf`	Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking. RSSRail Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur
2019	—	`conf`	Reachability Games with Relaxed Energy Constraints. GandALF Loïc Hélouët, Nicolas Markey, Ritam Raha
2018	—	`conf`	Concurrent Secrets with Quantified Suspicion. ACSD Loïc Hélouët, Hervé Marchand, John Mullins
2018	J	`jnl`	Diagnosability of repairable faults. Discret. Event Dyn. Syst. Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand
2018	—	`conf`	Hyper Partial Order Logic. FSTTCS Béatrice Bérard, Stefan Haar, Loïc Hélouët
2018	J	`jnl`	Realizability of schedules by stochastic time Petri nets with blocking semantics. Sci. Comput. Program. Loïc Hélouët, Karim Kecir
2017	—	`conf`	An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems. RSSRail Bruno Adeline, Pierre Dersin, Éric Fabre, Loïc Hélouët, Karim Kecir
2017	J	`jnl`	Non-interference in Partial Order Models. ACM Trans. Embed. Comput. Syst. Béatrice Bérard, Loïc Hélouët, John Mullins
2017	—	`conf`	On the Cost of Diagnosis with Disambiguation. QEST Loïc Hélouët, Hervé Marchand
2016	C	`conf`	Combining Free Choice and Time in Petri Nets. TIME S. Akshay, Loïc Hélouët, Ramchandra Phawade
2016	B	`conf`	Decidable Classes of Unbounded Petri Nets with Time and Urgency. Petri Nets S. Akshay, Blaise Genest, Loïc Hélouët
2016	—	`conf`	Diagnosability of repairable faults. WODES Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand
2016	J	`jnl`	Petri Nets with Structured Data. Fundam. Informaticae Éric Badouel, Loïc Hélouët, Christophe Morvan
2016	B	`conf`	Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics. Petri Nets Loïc Hélouët, Karim Kecir
2016	J	`jnl`	Robustness of Time Petri Nets under Guard Enlargement. Fundam. Informaticae S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier
2015	Misc	`conf`	A grammatical approach to data-centric case management in a distributed collaborative environment. SAC Éric Badouel, Loïc Hélouët, Georges Edouard Kouamou, Christophe Morvan
2015	J	`jnl`	Distributed implementation of message sequence charts. Softw. Syst. Model. Rouwaida Abdallah, Loïc Hélouët, Claude Jard
2015	—	`conf`	Non-interference in Partial Order Models. ACSD Béatrice Bérard, Loïc Hélouët, John Mullins
2015	B	`conf`	Petri Nets with Structured Data. Petri Nets Éric Badouel, Loïc Hélouët, Christophe Morvan
2014	J	`jnl`	A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment. CoRR Éric Badouel, Loïc Hélouët, Georges Edouard Kouamou, Christophe Morvan
2014	B	`conf`	Active Diagnosis for Probabilistic Systems. FoSSaCS Nathalie Bertrand, Eric Fabre, Stefan Haar, Serge Haddad, Loïc Hélouët
2014	J	`jnl`	Diagnosis from scenarios. Discret. Event Dyn. Syst. Loïc Hélouët, Hervé Marchand, Blaise Genest, Thomas Gazagnaire
2014	—	`conf`	Sessions with an Unbounded Number of Agents. ACSD S. Akshay, Loïc Hélouët, Madhavan Mukund
2013	C	`conf`	Dynamic Communicating Automata and Branching High-Level MSCs. LATA Benedikt Bollig, Aiswarya Cyriac, Loïc Hélouët, Ahmet Kara, Thomas Schwentick
2013	B	`conf`	Scenario Realizability with Constraint Optimization. FASE Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard
2013	—	`book`	Scenario automata : theory and applications. (Automates d'ordres : théorie et applications). Loïc Hélouët
2013	—	`conf`	The Steady-State Control Problem for Markov Decision Processes. QEST S. Akshay, Nathalie Bertrand, Serge Haddad, Loïc Hélouët
2012	J	`jnl`	Regular set of representatives for time-constrained MSC graphs. Inf. Process. Lett. S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang
2012	—	`conf`	Robustness of Time Petri Nets under Architectural Constraints. FORMATS S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux
2012	—	`conf`	Robustness of Time Petri Nets under Guard Enlargement. RP S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier
2012	C	`conf`	Symbolically Bounding the Drift in Time-Constrained MSC Graphs. ICTAC S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang
2011	B	`conf`	Assembling Sessions. ATVA Philippe Darondeau, Loïc Hélouët, Madhavan Mukund
2011	—	`conf`	Compatibility of Data-Centric Web Services. WS-FM Benoît Masson, Loïc Hélouët, Albert Benveniste
2010	—	`conf`	Covert channel detection using Information Theory SecCo Loïc Hélouët, Aline Roumy
2010	J	`jnl`	Decidable Race Condition and Open Coregions in HMSC. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Vojtech Rehák, Petr Slovák, Jan Strejcek, Loïc Hélouët
2010	A	`conf`	Document Based Modeling of Web Services Choreographies Using Active XML. ICWS Loïc Hélouët, Albert Benveniste
2010	Misc	`conf`	Realizability of Dynamic MSC Languages. CSR Benedikt Bollig, Loïc Hélouët
2009	J	`jnl`	Causal Message Sequence Charts. Theor. Comput. Sci. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
2008	B	`conf`	Products of Message Sequence Charts. FoSSaCS Philippe Darondeau, Blaise Genest, Loïc Hélouët
2007	B	`conf`	Causal Message Sequence Charts. CONCUR Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
2007	C	`conf`	Event Correlation with Boxed Pomsets. FORTE Thomas Gazagnaire, Loïc Hélouët
2006	—	`conf`	Automating Scenario Merging. SAM Loïc Hélouët, Thibaut Hénin, Christophe Chevrier
2006	—	`conf`	Semantic-based weaving of scenarios. AOSD Jacques Klein, Loïc Hélouët, Jean-Marc Jézéquel
2005	C	`conf`	From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. FORTE Thomas Chatain, Loïc Hélouët, Claude Jard
2004	—	`conf`	Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2. SAM Loïc Hélouët
2004	C	`conf`	Merging Scenarios. FMICS Jacques Klein, Benoît Caillaud, Loïc Hélouët
2004	A*	`conf`	Revisiting Statechart Synthesis with an Algebraic Approach. ICSE Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel
2004	—	`conf`	Scenarios and Covert Channels: Another Game... GDV@CAV Loïc Hélouët, Marc Zeitoun, Aldric Degorre
2003	J	`jnl`	Distributed system requirement modeling with message sequence charts: the case of the RMTP2 protocol. Inf. Softw. Technol. Loïc Hélouët
2003	B	`conf`	High-Level Message Sequence Charts and Projections. CONCUR Blaise Genest, Loïc Hélouët, Anca Muscholl
2003	J	`jnl`	Modélisation de lignes de produits en UML. Obj. Logiciel Base données Réseaux Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel
2003	—	`conf`	Towards a UML Profile for Software Product Lines. PFE Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel
2002	—	`conf`	A Semantics for Timed MSC. VISS@ETAPS Tong Zheng, Ferhat Khendek, Loïc Hélouët
2002	J	`jnl`	An Event Structure Based Semantics for High-Level Message Sequence Charts. Math. Struct. Comput. Sci. Loïc Hélouët, Claude Jard, Benoît Caillaud
2001	—	`conf`	Some Pathological Message Sequence Charts, and How to Detect Them. SDL Forum Loïc Hélouët
2000	—	`conf`	Decomposition of Message Sequence Charts. SAM Loïc Hélouët, Pierre Le Maigat
2000	—	`conf`	HMSCs as Partial Specifications ... with PNs as Completions. MOVEP Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes
1999	—	`conf`	A simulation model for message sequence charts. SDL Forum Loïc Hélouët