• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 30 matches

• 2023
• 
  Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan:
  Leveraging polyhedral reductions for solving Petri net reachability problems. Int. J. Softw. Tools Technol. Transf. 25(1): 95-114 (2023)
• 
  Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan:
  Automated Polyhedral Abstraction Proving. Petri Nets 2023: 324-345
• 
  Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan:
  Leveraging polyhedral reductions for solving Petri net reachability problems. CoRR abs/2302.02686 (2023)
• 2021
• 
  Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan:
  Accelerating the Computation of Dead and Concurrent Places Using Reductions. SPIN 2021: 45-62
• 
  Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan:
  Accelerating the Computation of Dead and Concurrent Places using Reductions. CoRR abs/2106.12813 (2021)
• 2020
• 
  Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio:
  Counting Petri net markings from reduction equations. Int. J. Softw. Tools Technol. Transf. 22(2): 163-181 (2020)
• 
  Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias:
  A New Product Construction for the Diagnosability of Patterns in Time Petri Net. CDC 2020: 104-109
• 
  Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan:
  On the Petri Nets with a Single Shared Place and Beyond. CoRR abs/2005.04818 (2020)
• 
  Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan:
  Checking marking reachability with the state equation in Petri net subclasses. CoRR abs/2006.05600 (2020)
• 2019
• 
  Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias:
  A State Class Construction for Computing the Intersection of Time Petri Nets Languages. FORMATS 2019: 79-95
• 
  Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf:
  Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) 2019: 50-68
• 
  Yannick Pencolé, Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Audine Subias:
  A State Class Construction for Computing the Intersection of Time Petri Nets Languages. CoRR abs/1908.02087 (2019)
• 2018
• 
  Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf:
  MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13: 181-209 (2018)
• 
  Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio:
  Petri Net Reductions for Counting Markings. SPIN 2018: 65-84
• 
  Rafael Scarduelli, Pierre-Alain Bourdil, Silvano Dal-Zilio, Didier Le Botlan:
  Time-accurate Middleware for the Virtualization of Communication Protocols. CoRR abs/1805.09256 (2018)
• 
  Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio:
  Petri Net Reductions for Counting Markings. CoRR abs/1807.02973 (2018)
• 2015
• 
  Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal-Zilio, Mamoun Filali, Didier Le Botlan, Guillaume Verdier, François Vernadat:
  Real-Time Model Checking Support for AADL. CoRR abs/1503.00493 (2015)
• 
  Silvano Dal-Zilio, Bernard Berthomieu, Didier Le Botlan:
  Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina. CoRR abs/1509.06506 (2015)
• 2014
• 
  Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan:
  A formal framework to specify and verify real-time properties on critical systems. Int. J. Crit. Comput. Based Syst. 5(1/2): 4-30 (2014)
• 
  Didier Le Botlan, Didier Rémy:
  MLF: raising ML to the power of system F. ACM SIGPLAN Notices 49(4S): 52-63 (2014)
• 2013
• 
  Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan:
  A Verified Approach for Checking Real-Time Specification Patterns. CoRR abs/1301.7531 (2013)
• 
  Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan:
  Real-Time Specification Patterns and Tools. CoRR abs/1301.7534 (2013)
• 2012
• 
  Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan:
  Real-Time Specification Patterns and Tools. FMICS 2012: 1-15
• 2009
• 
  Didier Le Botlan, Didier Rémy:
  Recasting MLF. Inf. Comput. 207(6): 726-785 (2009)
• 2006
• 
  Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt:
  Concurrent aspects. GPCE 2006: 79-88
• 
  Fabien Baligand, Didier Le Botlan, Thomas Ledoux, Pierre Combes:
  A Language for Quality of Service Requirements Specification in Web Services Orchestrations. ICSOC Workshops 2006: 38-49
• 2004
• 
  Didier Le Botlan:
  MLF: An extension of ML with first-class polymorphism and implicit instantiation. (MLF : Une extension de ML avec polymorphisme de second ordre et instanciation implicite). École Polytechnique, Palaiseau, France, 2004
• 
  Guido Tack, Didier Le Botlan:
  Compositional Abstractions for Search Factories. MOZ 2004: 211-223
• 
  Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka:
  Alice through the looking glass. Trends in Functional Programming 2004: 79-95
• 2003
• 
  Didier Le Botlan, Didier Rémy:
  ML^F: raising ML to the power of system F. ICFP 2003: 27-38