Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLoïc Hélouët
Person information
- affiliation: IRISA Rennes
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j17]Loïc Hélouët, Pranay Agrawal:
Waiting Nets: State Classes and Taxonomy. Fundam. Informaticae 190(2-4): 63-107 (2024)- [c51]Loïc Hélouët, Prerak Contractor:
Symbolic Domains and Reachability for Nets with Trajectories. Petri Nets 2024: 244-265 - 2023
- [c50]Loïc Hélouët
, Antoine Thébault:
Mochy: A Tool for the Modeling of Concurrent Hybrid Systems. Petri Nets 2023: 205-216 - 2022
- [j16]Loïc Hélouët, Nicolas Markey, Ritam Raha:
Reachability games with relaxed energy constraints. Inf. Comput. 285(Part): 104806 (2022) - [c49]Loïc Hélouët, Pranay Agrawal:
Waiting Nets. Petri Nets 2022: 67-89 - [i2]Loïc Hélouët, Pranay Agrawal:
Waiting Nets (Extended Version). CoRR abs/2211.10540 (2022) - 2021
- [j15]Rituraj Singh, Loïc Hélouët, Zoltán Miklós:
Reducing the Cost of Aggregation in Crowdsourcing. Trans. Large Scale Data Knowl. Centered Syst. 49: 33-69 (2021) - [c48]Loïc Hélouët, Zoltán Miklós, Rituraj Singh:
Cost and Quality in Crowdsourcing Workflows. Petri Nets 2021: 33-54 - [c47]S. Akshay, Blaise Genest, Loïc Hélouët, S. Krishna, Sparsa Roychowdhury:
Resilience of Timed Systems. FSTTCS 2021: 33:1-33:22 - 2020
- [j14]S. Akshay, Loïc Hélouët, Ramchandra Phawade:
Combining free choice and time in Petri nets. J. Log. Algebraic Methods Program. 110 (2020) - [c46]Pierre Bourhis, Loïc Hélouët, Zoltán Miklós, Rituraj Singh:
Data Centric Workflows for Crowdsourcing. Petri Nets 2020: 24-45 - [c45]S. Akshay, Blaise Genest, Loïc Hélouët, Sharvik Mital:
Timed Negotiations. FoSSaCS 2020: 37-56 - [c44]Rituraj Singh, Loïc Hélouët, Zoltán Miklós:
Reducing the Cost of Aggregation in Crowdsourcing. ICWS 2020: 77-95
2010 – 2019
- 2019
- [c43]Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur:
Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking. RSSRail 2019: 59-76 - [c42]Loïc Hélouët, Nicolas Markey, Ritam Raha:
Reachability Games with Relaxed Energy Constraints. GandALF 2019: 17-33 - 2018
- [j13]Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand:
Diagnosability of repairable faults. Discret. Event Dyn. Syst. 28(2): 183-213 (2018) - [j12]Loïc Hélouët, Karim Kecir:
Realizability of schedules by stochastic time Petri nets with blocking semantics. Sci. Comput. Program. 157: 71-102 (2018) - [c41]Loïc Hélouët, Hervé Marchand, John Mullins:
Concurrent Secrets with Quantified Suspicion. ACSD 2018: 75-84 - [c40]Béatrice Bérard, Stefan Haar, Loïc Hélouët:
Hyper Partial Order Logic. FSTTCS 2018: 20:1-20:21 - 2017
- [j11]Béatrice Bérard, Loïc Hélouët, John Mullins:
Non-interference in Partial Order Models. ACM Trans. Embed. Comput. Syst. 16(2): 44:1-44:34 (2017) - [c39]Loïc Hélouët, Hervé Marchand:
On the Cost of Diagnosis with Disambiguation. QEST 2017: 140-156 - [c38]Bruno Adeline, Pierre Dersin, Éric Fabre, Loïc Hélouët, Karim Kecir:
An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems. RSSRail 2017: 195-211 - 2016
- [j10]S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier:
Robustness of Time Petri Nets under Guard Enlargement. Fundam. Informaticae 143(3-4): 207-234 (2016) - [j9]Éric Badouel, Loïc Hélouët, Christophe Morvan:
Petri Nets with Structured Data. Fundam. Informaticae 146(1): 35-82 (2016) - [c37]Loïc Hélouët, Karim Kecir:
Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics. Petri Nets 2016: 155-175 - [c36]S. Akshay, Blaise Genest, Loïc Hélouët:
Decidable Classes of Unbounded Petri Nets with Time and Urgency. Petri Nets 2016: 301-322 - [c35]S. Akshay, Loïc Hélouët, Ramchandra Phawade:
Combining Free Choice and Time in Petri Nets. TIME 2016: 120-129 - [c34]Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand:
Diagnosability of repairable faults. WODES 2016: 230-236 - 2015
- [j8]Rouwaida Abdallah, Loïc Hélouët, Claude Jard:
Distributed implementation of message sequence charts. Softw. Syst. Model. 14(2): 1029-1048 (2015) - [c33]Béatrice Bérard, Loïc Hélouët, John Mullins:
Non-interference in Partial Order Models. ACSD 2015: 80-89 - [c32]Éric Badouel, Loïc Hélouët, Christophe Morvan:
Petri Nets with Structured Data. Petri Nets 2015: 212-233 - [c31]Éric Badouel, Loïc Hélouët, Georges Edouard Kouamou, Christophe Morvan:
A grammatical approach to data-centric case management in a distributed collaborative environment. SAC 2015: 1834-1839 - 2014
- [j7]Loïc Hélouët, Hervé Marchand, Blaise Genest, Thomas Gazagnaire:
Diagnosis from scenarios. Discret. Event Dyn. Syst. 24(4): 353-415 (2014) - [c30]S. Akshay, Loïc Hélouët, Madhavan Mukund:
Sessions with an Unbounded Number of Agents. ACSD 2014: 166-175 - [c29]Nathalie Bertrand, Eric Fabre, Stefan Haar, Serge Haddad, Loïc Hélouët:
Active Diagnosis for Probabilistic Systems. FoSSaCS 2014: 29-42 - [i1]Éric Badouel, Loïc Hélouët, Georges Edouard Kouamou, Christophe Morvan:
A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment. CoRR abs/1405.3223 (2014) - 2013
- [b1]Loïc Hélouët:
Scenario automata : theory and applications. (Automates d'ordres : théorie et applications). University of Rennes 1, France, 2013 - [c28]Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard:
Scenario Realizability with Constraint Optimization. FASE 2013: 194-209 - [c27]Benedikt Bollig, Aiswarya Cyriac, Loïc Hélouët, Ahmet Kara, Thomas Schwentick:
Dynamic Communicating Automata and Branching High-Level MSCs. LATA 2013: 177-189 - [c26]S. Akshay, Nathalie Bertrand, Serge Haddad, Loïc Hélouët:
The Steady-State Control Problem for Markov Decision Processes. QEST 2013: 290-304 - 2012
- [j6]S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang:
Regular set of representatives for time-constrained MSC graphs. Inf. Process. Lett. 112(14-15): 592-598 (2012) - [c25]S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux:
Robustness of Time Petri Nets under Architectural Constraints. FORMATS 2012: 11-26 - [c24]S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang:
Symbolically Bounding the Drift in Time-Constrained MSC Graphs. ICTAC 2012: 1-15 - [c23]S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier:
Robustness of Time Petri Nets under Guard Enlargement. RP 2012: 92-106 - 2011
- [c22]Philippe Darondeau, Loïc Hélouët, Madhavan Mukund:
Assembling Sessions. ATVA 2011: 259-274 - [c21]Benoît Masson, Loïc Hélouët, Albert Benveniste:
Compatibility of Data-Centric Web Services. WS-FM 2011: 32-47 - 2010
- [j5]Vojtech Rehák, Petr Slovák, Jan Strejcek, Loïc Hélouët:
Decidable Race Condition and Open Coregions in HMSC. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010) - [c20]Benedikt Bollig, Loïc Hélouët:
Realizability of Dynamic MSC Languages. CSR 2010: 48-59 - [c19]Loïc Hélouët, Albert Benveniste:
Document Based Modeling of Web Services Choreographies Using Active XML. ICWS 2010: 291-298 - [c18]Loïc Hélouët, Aline Roumy:
Covert channel detection using Information Theory. SecCo 2010: 34-51
2000 – 2009
- 2009
- [j4]Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang:
Causal Message Sequence Charts. Theor. Comput. Sci. 410(41): 4094-4110 (2009) - 2008
- [c17]Philippe Darondeau, Blaise Genest, Loïc Hélouët:
Products of Message Sequence Charts. FoSSaCS 2008: 458-473 - 2007
- [c16]Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang:
Causal Message Sequence Charts. CONCUR 2007: 166-180 - [c15]Thomas Gazagnaire, Loïc Hélouët:
Event Correlation with Boxed Pomsets. FORTE 2007: 160-176 - 2006
- [c14]Jacques Klein, Loïc Hélouët, Jean-Marc Jézéquel:
Semantic-based weaving of scenarios. AOSD 2006: 27-38 - [c13]Loïc Hélouët, Thibaut Hénin, Christophe Chevrier:
Automating Scenario Merging. SAM 2006: 64-81 - 2005
- [c12]Thomas Chatain, Loïc Hélouët, Claude Jard:
From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. FORTE 2005: 489-502 - 2004
- [c11]Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel:
Revisiting Statechart Synthesis with an Algebraic Approach. ICSE 2004: 242-251 - [c10]Loïc Hélouët:
Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2. SAM 2004: 189-207 - [c9]Loïc Hélouët, Marc Zeitoun, Aldric Degorre:
Scenarios and Covert Channels: Another Game... GDV@CAV 2004: 93-116 - [c8]Jacques Klein, Benoît Caillaud, Loïc Hélouët:
Merging Scenarios. FMICS 2004: 193-215 - 2003
- [j3]Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel:
Modélisation de lignes de produits en UML. Obj. Logiciel Base données Réseaux 9(1-2): 227-240 (2003) - [j2]Loïc Hélouët:
Distributed system requirement modeling with message sequence charts: the case of the RMTP2 protocol. Inf. Softw. Technol. 45(11): 701-714 (2003) - [c7]Blaise Genest, Loïc Hélouët, Anca Muscholl:
High-Level Message Sequence Charts and Projections. CONCUR 2003: 308-322 - [c6]Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel:
Towards a UML Profile for Software Product Lines. PFE 2003: 129-139 - 2002
- [j1]Loïc Hélouët, Claude Jard, Benoît Caillaud:
An Event Structure Based Semantics for High-Level Message Sequence Charts. Math. Struct. Comput. Sci. 12(4): 377-402 (2002) - [c5]Tong Zheng, Ferhat Khendek, Loïc Hélouët:
A Semantics for Timed MSC. VISS@ETAPS 2002: 85-99 - 2001
- [c4]Loïc Hélouët:
Some Pathological Message Sequence Charts, and How to Detect Them. SDL Forum 2001: 348-364 - 2000
- [c3]Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes:
HMSCs as Partial Specifications ... with PNs as Completions. MOVEP 2000: 125-152 - [c2]Loïc Hélouët, Pierre Le Maigat:
Decomposition of Message Sequence Charts. SAM 2000: 47-60
1990 – 1999
- 1999
- [c1]Loïc Hélouët:
A simulation model for message sequence charts. SDL Forum 1999: 473-488
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-20 20:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
