The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Loïc Hélouët" ( http://dblp.L3S.de/Authors/Loïc_Hélouët )

URL (Homepage):  http://www.irisa.fr/distribcom/Personal_Pages/helouet/newloic.html  Author page on DBLP  Author page in RDF  Community of Loïc Hélouët in ASPL-2

Publication years (Num. hits)
1999-2005 (15) 2006-2012 (16) 2013-2016 (18) 2017-2019 (9)
Publication types (Num. hits)
article(17) book(1) inproceedings(40)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

Results
Found 59 publication records. Showing 58 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Loïc Hélouët, Nicolas Markey, Ritam Raha Reachability Games with Relaxed Energy Constraints. Search on Bibsonomy GandALF The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nathalie Bertrand 0001, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking. Search on Bibsonomy RSSRail The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand Diagnosability of repairable faults. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Loïc Hélouët, Karim Kecir Realizability of schedules by stochastic time Petri nets with blocking semantics. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Loïc Hélouët, Hervé Marchand, John Mullins Concurrent Secrets with Quantified Suspicion. Search on Bibsonomy ACSD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Béatrice Bérard, Stefan Haar, Loïc Hélouët Hyper Partial Order Logic. Search on Bibsonomy FSTTCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Béatrice Bérard, Loïc Hélouët, John Mullins Non-interference in Partial Order Models. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bruno Adeline, Pierre Dersin, Éric Fabre, Loïc Hélouët, Karim Kecir An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems. Search on Bibsonomy RSSRail The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Loïc Hélouët, Hervé Marchand On the Cost of Diagnosis with Disambiguation. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Eric Badouel, Loïc Hélouët, Christophe Morvan Petri Nets with Structured Data. Search on Bibsonomy Fundam. Inform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier Robustness of Time Petri Nets under Guard Enlargement. Search on Bibsonomy Fundam. Inform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1S. Akshay, Blaise Genest, Loïc Hélouët Decidable Classes of Unbounded Petri Nets with Time and Urgency. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Loïc Hélouët, Karim Kecir Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics. Search on Bibsonomy Petri Nets The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand Diagnosability of repairable faults. Search on Bibsonomy WODES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1S. Akshay, Loïc Hélouët, Ramchandra Phawade Combining Free Choice and Time in Petri Nets. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rouwaida Abdallah, Loïc Hélouët, Claude Jard Distributed implementation of message sequence charts. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Eric Badouel, Loïc Hélouët, Christophe Morvan Petri Nets with Structured Data. Search on Bibsonomy Petri Nets The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Eric Badouel, Loïc Hélouët, Georges Edouard Kouamou, Christophe Morvan A grammatical approach to data-centric case management in a distributed collaborative environment. Search on Bibsonomy SAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Béatrice Bérard, Loïc Hélouët, John Mullins Non-interference in Partial Order Models. Search on Bibsonomy ACSD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Loïc Hélouët, Hervé Marchand, Blaise Genest, Thomas Gazagnaire Diagnosis from scenarios. Search on Bibsonomy Discrete Event Dynamic Systems The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Eric Badouel, Loïc Hélouët, Georges Edouard Kouamou, Christophe Morvan A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Nathalie Bertrand 0001, Eric Fabre, Stefan Haar, Serge Haddad, Loïc Hélouët Active Diagnosis for Probabilistic Systems. Search on Bibsonomy FoSSaCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1S. Akshay, Loïc Hélouët, Madhavan Mukund Sessions with an Unbounded Number of Agents. Search on Bibsonomy ACSD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Loïc Hélouët Scenario automata : theory and applications. (Automates d'ordres : théorie et applications). Search on Bibsonomy 2013   RDF
1S. Akshay, Nathalie Bertrand 0001, Serge Haddad, Loïc Hélouët The Steady-State Control Problem for Markov Decision Processes. Search on Bibsonomy QEST The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Benedikt Bollig, Aiswarya Cyriac, Loïc Hélouët, Ahmet Kara 0002, Thomas Schwentick Dynamic Communicating Automata and Branching High-Level MSCs. Search on Bibsonomy LATA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard Scenario Realizability with Constraint Optimization. Search on Bibsonomy FASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang Regular set of representatives for time-constrained MSC graphs. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1S. Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang Symbolically Bounding the Drift in Time-Constrained MSC Graphs. Search on Bibsonomy ICTAC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier Robustness of Time Petri Nets under Guard Enlargement. Search on Bibsonomy RP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1S. Akshay, Loïc Hélouët, Claude Jard, Didier Lime, Olivier H. Roux Robustness of Time Petri Nets under Architectural Constraints. Search on Bibsonomy FORMATS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Loïc Hélouët, Madhavan Mukund Assembling Sessions. Search on Bibsonomy ATVA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Benoît Masson, Loïc Hélouët, Albert Benveniste Compatibility of Data-Centric Web Services. Search on Bibsonomy WS-FM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vojtech Rehák, Petr Slovák, Jan Strejcek, Loïc Hélouët Decidable Race Condition and Open Coregions in HMSC. Search on Bibsonomy ECEASST The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Loïc Hélouët, Aline Roumy Covert channel detection using Information Theory Search on Bibsonomy SecCo The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Loïc Hélouët, Albert Benveniste Document Based Modeling of Web Services Choreographies Using Active XML. Search on Bibsonomy ICWS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Active XML, Web services, composition, choreographies
1Benedikt Bollig, Loïc Hélouët Realizability of Dynamic MSC Languages. Search on Bibsonomy CSR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang Causal Message Sequence Charts. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Blaise Genest, Loïc Hélouët Products of Message Sequence Charts. Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang Causal Message Sequence Charts. Search on Bibsonomy CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas Gazagnaire, Loïc Hélouët Event Correlation with Boxed Pomsets. Search on Bibsonomy FORTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Loïc Hélouët, Thibaut Hénin, Christophe Chevrier Automating Scenario Merging. Search on Bibsonomy SAM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jacques Klein, Loïc Hélouët, Jean-Marc Jézéquel Semantic-based weaving of scenarios. Search on Bibsonomy AOSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF scenarios, aspect-oriented modeling, aspects weaving
1Jacques Klein, Benoît Caillaud, Loïc Hélouët Merging Scenarios. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Loïc Hélouët, Marc Zeitoun, Aldric Degorre Scenarios and Covert Channels: Another Game... Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Thomas Chatain, Loïc Hélouët, Claude Jard From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. Search on Bibsonomy FORTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Loïc Hélouët Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2. Search on Bibsonomy SAM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel Revisiting Statechart Synthesis with an Algebraic Approach. Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel Modélisation de lignes de produits en UML. Search on Bibsonomy L'OBJET The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Loïc Hélouët Distributed system requirement modeling with message sequence charts: the case of the RMTP2 protocol. Search on Bibsonomy Information & Software Technology The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel Towards a UML Profile for Software Product Lines. Search on Bibsonomy PFE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Blaise Genest, Loïc Hélouët, Anca Muscholl High-Level Message Sequence Charts and Projections. Search on Bibsonomy CONCUR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Tong Zheng, Ferhat Khendek, Loïc Hélouët A Semantics for Timed MSC. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Loïc Hélouët, Claude Jard, Benoît Caillaud An Event Structure Based Semantics for High-Level Message Sequence Charts. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Loïc Hélouët Some Pathological Message Sequence Charts, and How to Detect Them. Search on Bibsonomy SDL Forum The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Loïc Hélouët, Pierre Le Maigat Decomposition of Message Sequence Charts. Search on Bibsonomy SAM The full citation details ... 2000 DBLP  BibTeX  RDF
1Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes HMSCs as Partial Specifications ... with PNs as Completions. Search on Bibsonomy MOVEP The full citation details ... 2000 DBLP  BibTeX  RDF
1Loïc Hélouët A simulation model for message sequence charts. Search on Bibsonomy SDL Forum The full citation details ... 1999 DBLP  BibTeX  RDF
Displaying result #1 - #58 of 58 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license