Skip to Main content Skip to Navigation
New interface


...
hal-01590900v1  Conference papers
Yrvann EmzivatBenoit DelahayeDidier LimeOlivier Henri Roux. Probabilistic Time Petri Nets
37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY, Jun 2016, Torun, Poland. pp.261-280
...
hal-01590884v1  Conference papers
Benoit DelahayeDidier LimeLaure Petrucci. Parameter Synthesis for Parametric Interval Markov Chains
17th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2016, Saint Petersburg, Forida, United States. pp.372 - 390, ⟨10.1007/978-3-662-49122-5_18⟩
...
hal-01219823v1  Reports
Benoit DelahayeDidier LimeLaure Petrucci. Parameter Synthesis for Parametric Interval Markov Chains
[Research Report] LINA-University of Nantes; Ecole Centrale de Nantes (ECN); LIPN. 2015
...
hal-01379431v1  Journal articles
Sundararaman AkshayLoïc HélouëtClaude JardPierre-Alain Reyniers. Robustness of Time Petri Nets under Guard Enlargement
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2016, 143 (3-4), ⟨10.3233/FI-2016-1312⟩
...
hal-01101657v1  Conference papers
Matthieu PerrinAchour MostefaouiClaude Jard. Update Consistency for Wait-free Concurrent Objects
IPDPS - IEEE International Parallel & Distributed Processing Symposium, May 2015, Hyderabad, India
...
hal-01590892v1  Conference papers
Etienne AndréBenoit Delahaye. Consistency in Parametric Interval Probabilistic Timed Automata
23rd International Symposium on Temporal Representation and Reasoning, Oct 2016, Copenhagen, Denmark
...
hal-01326849v1  Journal articles
Marin BertierMatthieu PerrinCédric Tedeschi. On the Complexity of Concurrent Multiset Rewriting
International Journal of Foundations of Computer Science, World Scientific Publishing, 2016, 27 (1), ⟨10.1142/S0129054116500052⟩
...
hal-01347069v2  Conference papers
Matthieu PerrinMatoula PetroliaAchour MostefaouiClaude Jard. On Composition and Implementation of Sequential Consistency
30th International Symposium on Distributed Computing, Sep 2016, Paris, France
...
tel-01390700v1  Theses
Matthieu Perrin. Spécification des objets partagés dans les systèmes répartis sans-attente
Calcul parallèle, distribué et partagé [cs.DC]. Université de Nantes (Unam), 2016. Français
...
hal-01152761v1  Conference papers
Matthieu PerrinClaude JardAchour Mostefaoui. Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC
NETYS - 3rd International Conference on NETwork sYStems, May 2015, Agadir, Morocco
...
hal-01101340v2  Reports
Matthieu PerrinClaude JardAchour Mostefaoui. Proof of the Instrumented Semantics for Orc
[Research Report] LINA-University of Nantes. 2015
...
hal-01131602v1  Conference papers
Nicolas BeldiceanuBárbara Dumas FerisPhilippe GraveyMd Sabbir HasanClaude Jard et al.  The EPOC project: Energy Proportional and Opportunistic Computing system
International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), May 2015, Lisbonne, Portugal
...
hal-01222021v1  Conference papers
Nicolas DavidClaude JardDidier LimeOlivier Henri Roux. Discrete Parameters in Petri Nets
Application and Theory of Petri Nets and Concurrency, 36th International Conference, PETRI NETS 2015, Jun 2015, Bruxelles, Belgium. pp.137-156, ⟨10.1007/978-3-319-19488-2_7⟩
...
hal-00840372v1  Journal articles
Rouwaida AbdallahLoïc HélouëtClaude Jard. Distributed Implementation of Message Sequence Charts
Software and Systems Modeling, Springer Verlag, 2015, 14, pp.10-32. ⟨10.1007/s10270-013-0357-1⟩
...
hal-01151594v2  Reports
Mohamed Amine AouadhiBenoit DelahayeArnaud Lanoix. About Probabilistic Event-B
[Research Report] LINA-University of Nantes. 2015
...
hal-01223119v1  Reports
Davide FreyRoy FriedmanAchour MostefaouiMatthieu PerrinMichel Raynal et al.  D.1.2 – Modular quasi-causal data structures
[Research Report] D1.2, LINA-University of Nantes; IRISA. 2015