Skip to Main content Skip to Navigation
  1. Search


...
hal-01060450v1  Conference papers
Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon. Characterization of Reachable Attractors Using Petri Net Unfoldings
CMSB 2014, Nov 2014, Manchester, United Kingdom. pp.14, ⟨10.1007/978-3-319-12982-2_10⟩
...
tel-00926306v1  Habilitation à diriger des recherches
Thomas Chatain. Concurrency in Real-Time Distributed Systems, from Unfoldings to Implementability
Formal Languages and Automata Theory [cs.FL]. École normale supérieure de Cachan - ENS Cachan, 2013
...
hal-01354109v2  Conference papers
Juraj Kolčák, David Šafránek, Stefan Haar, Loïc Paulevé. Unfolding of Parametric Boolean Networks
7th International Workshop on Static Analysis and Systems Biology (SASB 2016), Sep 2016, Edimbourg, United Kingdom. pp.67-90, ⟨10.1016/j.entcs.2018.03.009⟩
...
inria-00638204v1  Journal articles
Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König. Unfolding-based Diagnosis of Systems with an Evolving Topology
Information and Computation, Elsevier, 2010, 10, pp.1169-1192. ⟨10.1016/j.ic.2009.11.009⟩
...
hal-00573690v1  Preprints, Working Papers, ...
Paolo Tranquilli. Termination of Threads with Shared Memory via Infinitary Choice
2011
...
tel-00505940v1  Theses
Ludovic Henrio. Calcul d'objet asynchrone : confluence et déterminisme
Modélisation et simulation. Université Nice Sophia Antipolis, 2003. Français
inria-00468041v1  Conference papers
Angel Núñez, Jacques Noyé. A Domain-Specific Language for Coordinating Concurrent Aspects in Java
3ème Journée Francophone sur le Développement de Logiciels Par Aspects (JFDLPA 2007), Mar 2007, Toulouse, France
inria-00467938v1  Conference papers
Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt. Concurrent Aspects
5th International Conference on Generative Programming and Component Engineering (GPCE '06), Oct 2006, Portland, United States. pp.79-88, ⟨10.1145/1173706.1173718⟩
...
tel-00011239v1  Theses
David Teller. Ressources limitées pour la mobilité : utilisation, réutilisation, garanties.
Génie logiciel [cs.SE]. Ecole normale supérieure de lyon - ENS LYON; Université Claude Bernard - Lyon I, 2004. Français
...
pastel-00756952v1  Theses
Andrés Aristizábal. Bisimulation Techniques and Algorithms for Concurrent Constraint Programming
Other [cs.OH]. Ecole Polytechnique X, 2012. English
...
hal-02435522v1  Reports
Denis Roegel. Detecting interference through graph reduction
[Research Report] Loria & Inria Grand Est. 1997
...
tel-00327441v1  Theses
Christian Brunette. Construction et simulation graphiques de comportements : le modèle des Icobjs
Autre [cs.OH]. École Nationale Supérieure des Mines de Paris, 2004. Français
...
hal-01354906v1  Journal articles
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Perez. Self-adaptation and secure information flow in multiparty communications
Formal Aspects of Computing, Springer Verlag, 2016, 28 (4), pp.28. ⟨10.1007/s00165-016-0381-3⟩
...
inria-00166125v2  Reports
Louis Mandel, Luc Maranget. Programming in JoCaml --- Extended Version
[Research Report] RR-6261, INRIA. 2007
...
hal-01960404v1  Conference papers
Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha Roop, Reinhard von Hanxleden. Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach
ESOP 2018 - European Symposium on Programming, Apr 2018, Thessaloniki, Greece
...
tel-01759291v1  Theses
Nhat Minh Lê. Kahn process networks as concurrent data structures : lock freedom, parallelism, relaxation in shared memory
Programming Languages [cs.PL]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEE051⟩
...
hal-01187538v1  Master thesis
Raphaël Monat. Thread-Modular Static Analysis by Abstract Interpretation: designing relational abstractions of interferences
Performance [cs.PF]. 2015
...
hal-01081413v1  Conference papers
Jade Alglave, Luc Maranget, Michael Tautschnig. Herding cats: Modelling, simulation, testing, and data-mining for weak memory
PLDI '14: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2014, Edinburg, United Kingdom. pp.40, ⟨10.1145/2594291.2594347⟩
...
tel-01238752v1  Theses
Jurgen Michael van Ham. Seamless concurrent programming of objects, aspects and events
Programming Languages [cs.PL]. Ecole des Mines de Nantes, 2015. English. ⟨NNT : 2015EMNA0118⟩
...
tel-00322528v1  Theses
Thomas Gazagnaire. Langages de scénarios : Utiliser des ordres partiels pour modéliser, vérifier et superviser des systèmes parallèles et répartis.
Génie logiciel [cs.SE]. Université Rennes 1, 2008. Français
...
hal-01256067v1  Reports
Achour Mostefaoui, Michel Raynal. Time-Efficient Read/Write Register in Crash-prone Asynchronous Message-Passing Systems
[Research Report] IRISA. 2016, pp.14
...
inria-00505233v1  Reports
Damien Imbs, Michel Raynal. A Simple Snapshot Algorithm for Multicore Systems
[Research Report] PI 1955, 2010
...
inria-00339292v1  Reports
Damien Imbs, Michel Raynal. Help when needed, but no more: Efficient Read/Write Partial Snapshot
[Research Report] PI 1907, 2008, pp.26
...
inria-00583304v1  Reports
Sergio Rajsbaum, Michel Raynal. Power and limits of distributed computing shared memory models
[Research Report] PI-1974, 2011, pp.15
...
inria-00476861v1  Conference papers
Diana Moise, Gabriel Antoniu, Luc Bougé. Improving the Hadoop Map/Reduce Framework to Support Concurrent Appends through the BlobSeer BLOB management system
Proceedings of the 19th ACM International Symposium on High Performance Distributed Computing (HPDC'10), Workshop on MapReduce and its Applications, Jun 2010, Chicago, United States. pp.834--840, ⟨10.1145/1851476.1851596⟩
...
tel-01680213v2  Theses
Yannick Zakowski. Verification of a Concurrent Garbage Collector
Data Structures and Algorithms [cs.DS]. École normale supérieure de Rennes, 2017. English. ⟨NNT : 2017ENSR0010⟩
hal-02980943v1  Journal articles
Jean-René Courtault, Didier Galmiche, David Pym. A Logic of Separating Modalities
Theoretical Computer Science, Elsevier, 2016, 637 (1), pp.30-58. ⟨10.1016/j.tcs.2016.04.040⟩
...
inria-00090434v2  Journal articles
Joachim Niehren, Jan Schwinghammer, Gert Smolka. A Concurrent Lambda Calculus with Futures
Theoretical Computer Science, Elsevier, 2006, Theoretical Computer Science, 364 (3), pp.338-356. ⟨10.1016/j.tcs.2006:08.016⟩
...
hal-03043623v1  Reports
Hugo Pompougnac, Ulysse Beaugnon, Albert Cohen, Dumitru Potop-Butucaru. From SSA to Synchronous Concurrency and Back
[Research Report] RR-9380, INRIA Sophia Antipolis - Méditerranée (France). 2020, pp.23