Autor: "Petrucci, Laure" - OpacWWW

Skocz do pozycji: 1.

Tytuł:: Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving
Autorzy:: Arias, Jaime
Bae, Kyungmin
Olarte, Carlos
Ölveczky, Peter Csaba
Petrucci, Laure
Rømming, Fredrik; Pokaż więcej
Źródło:: In Science of Computer Programming March 2024 233

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Distributed parametric model checking timed automata under non-Zenoness assumption
Autorzy:: André, ÉtienneAff1, IDs1070302200400z_cor1
Nguyen, Hoang Gia
Petrucci, Laure
Sun, Jun; Pokaż więcej
Źródło:: Formal Methods in System Design: An International Journal. 59(1-3):253-290

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Quasi-optimal partial order reduction
Autorzy:: Coti, Camille
Petrucci, Laure
Rodríguez, CésarAff1, Aff3
Sousa, Marcelo; Pokaż więcej
Źródło:: Formal Methods in System Design: An International Journal. 57(1):3-33

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Parametric Verification: An Introduction
Autorzy:: André, Étienne
Knapik, Michał
Lime, Didier
Penczek, WojciechAff12, Aff14
Petrucci, Laure; Pokaż więcej
Źródło:: Transactions on Petri Nets and Other Models of Concurrency XIV. 11790:64-100

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Minimal-Time Synthesis for Parametric Timed Automata
Autorzy:: André, ÉtienneAff16, Aff17, Aff18
Bloemen, Vincent
Petrucci, Laure
van de Pol, JacoAff19, Aff20; Pokaż więcej
Źródło:: Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II. 11428:211-228

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: One-Sided Communications for More Efficient Parallel State Space Exploration over RDMA Clusters
Autorzy:: Coti, Camille
Evangelista, Sami
Petrucci, Laure; Pokaż więcej
Źródło:: Euro-Par 2018: Parallel Processing : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings. 11014:432-446

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Quasi-Optimal Partial Order Reduction
Autorzy:: Nguyen, Huyen T. T.
Rodríguez, CésarAff15, Aff17
Sousa, Marcelo
Coti, Camille
Petrucci, Laure; Pokaż więcej
Źródło:: Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II. 10982:354-371

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Parameter Synthesis Algorithms for Parametric Interval Markov Chains
Autorzy:: Petrucci, Laure
van de Pol, Jaco; Pokaż więcej
Źródło:: Formal Techniques for Distributed Objects, Components, and Systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings. 10854:121-140

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Parallel Model Checking Algorithms for Linear-Time Temporal Logic
Autorzy:: Barnat, Jiri
Bloemen, Vincent
Duret-Lutz, Alexandre
Laarman, Alfons
Petrucci, Laure
van de Pol, Jaco
Renault, Etienne; Pokaż więcej
Źródło:: Handbook of Parallel Constraint Reasoning. :457-507

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Parametric Model Checking Timed Automata Under Non-Zenoness Assumption
Autorzy:: André, Étienne
Nguyen, Hoang Gia
Petrucci, Laure
Sun, Jun; Pokaż więcej
Źródło:: NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. 10227:35-51

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 11.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Parameter Synthesis for Parametric Interval Markov Chains
Autorzy:: Delahaye, Benoît
Lime, Didier
Petrucci, Laure; Pokaż więcej
Źródło:: Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings. 9583:372-390

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: PeCAn: Compositional Verification of Petri Nets Made Easy
Autorzy:: Le, Dinh-Thuan
Nguyen, Huu-Vu
Nguyen, Van-Tinh
Mai, Phuong-Nam
Pham-Duy, Bao-Trung
Quan, Thanh-Tho
André, Étienne
Petrucci, Laure
Liu, Yang; Pokaż więcej
Źródło:: Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings. 8837:242-247

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems
Autorzy:: André, Étienne
Barbot, Benoît
Démoulins, Clément
Hillah, Lom MessanAff21, Aff22
Hulin-Hubard, Francis
Kordon, FabriceAff21, Aff22
Linard, Alban
Petrucci, Laure; Pokaż więcej
Źródło:: Formal Methods and Software Engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings. 8144:199-214

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Verification of Reachability Properties for Time Petri Nets
Autorzy:: Klai, KaisAff18, Aff19
Aber, Naim
Petrucci, Laure; Pokaż więcej
Źródło:: Reachability Problems : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings. 8169:159-170

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: From Code to Coloured Petri Nets: Modelling Guidelines
Autorzy:: Dedova, Anna
Petrucci, Laure; Pokaż więcej
Źródło:: Transactions on Petri Nets and Other Models of Concurrency VIII. 8100:71-88

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs
Autorzy:: André, Étienne
Pellegrino, Giuseppe
Petrucci, Laure; Pokaż więcej
Źródło:: Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings. 8053:1-15

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Multi-threaded Explicit State Space Exploration with State Reconstruction
Autorzy:: Evangelista, Sami
Kristensen, Lars Michael
Petrucci, Laure; Pokaż więcej
Źródło:: Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. 8172:208-223

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Modelling and Formal Verification of the NEO Protocol
Autorzy:: Choppy, Christine
Dedova, Anna
Evangelista, Sami
Klaï, Kaïs
Petrucci, Laure
Youcef, Samir; Pokaż więcej
Źródło:: Transactions on Petri Nets and Other Models of Concurrency VI. 7400:197-225

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Extending pnml Scope: A Framework to Combine Petri Nets Types
Autorzy:: Hillah, Lom-Messan
Kordon, Fabrice
Lakos, Charles
Petrucci, Laure; Pokaż więcej
Źródło:: Transactions on Petri Nets and Other Models of Concurrency VI. 7400:46-70

Książka elektroniczna

na półce

Szczegóły

Informacja

Wyszukujesz frazę ""Petrucci, Laure"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji