default search action
Michele Loreti
Person information
- affiliation: University of Camerino, Italy
- affiliation (former): University of Florence, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j38]Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti:
Sibilla: A tool for reasoning about collective systems. Sci. Comput. Program. 235: 103095 (2024) - [j37]Valentina Castiglioni, Michele Loreti, Simone Tini:
Stark: A tool for the analysis of CPSs robustness. Sci. Comput. Program. 236: 103134 (2024) - [j36]Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti:
libmg: A Python library for programming graph neural networks in μG. Sci. Comput. Program. 238: 103165 (2024) - [c93]Valentina Castiglioni, Michele Loreti, Simone Tini:
Bio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems. CMSB 2024: 62-70 - [c92]Valentina Castiglioni, Michele Loreti, Simone Tini:
RobTL: Robustness Temporal Logic for CPS. CONCUR 2024: 15:1-15:23 - [c91]Nicola Del Giudice, Federico Maria Cruciani, Michele Loreti:
Visualisation of Collective Systems with Sequit and Sibilla. COORDINATION 2024: 277-294 - [c90]Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini:
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations. FMICS 2024: 21-39 - [c89]Lorenzo Bettini, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Emilio Tuosto:
Klaim in the Making. ISoLA (1) 2024: 27-49 - [c88]Nicola Del Giudice, Michele Loreti, Michela Quadrini, Aniqa Rehman:
Monitoring Local and Global Properties of Collective Adaptive Systems. ISoLA (2) 2024: 281-296 - [c87]Erik Murtaj, Michela Quadrini, Fausto Marcantoni, Michele Loreti, Hans Friedrich Witschel:
Real-Time Intrusion Detection via Machine Learning Approaches. Ital-IA 2024: 200-205 - [c86]Mattia Paccamiccio, Franco Raimondi, Michele Loreti:
Building call graph of WebAssembly programs via abstract semantics. ITASEC 2024 - [i17]Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti:
The μG Language for Programming Graph Neural Networks. CoRR abs/2407.09441 (2024) - [i16]Mattia Paccamiccio, Franco Raimondi, Michele Loreti:
Building Call Graph of WebAssembly Programs via Abstract Semantics. CoRR abs/2407.14527 (2024) - 2023
- [j35]Valentina Castiglioni, Michele Loreti, Simone Tini:
A framework to measure the robustness of programs in the unpredictable environment. Log. Methods Comput. Sci. 19(3) (2023) - [j34]Michele Loreti, Michela Quadrini:
A Spatial Logic for Simplicial Models. Log. Methods Comput. Sci. 19(3) (2023) - [j33]Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti:
MoonLight: a lightweight tool for monitoring spatio-temporal properties. Int. J. Softw. Tools Technol. Transf. 25(4): 503-517 (2023) - [c85]Valentina Castiglioni, Michele Loreti, Simone Tini:
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. COORDINATION 2023: 115-132 - [c84]Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti:
Implementing a CTL Model Checker with μ G, a Language for Programming Graph Neural Networks. FORTE 2023: 37-54 - [c83]Valentina Castiglioni, Michele Loreti, Simone Tini:
DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems. ICTCS 2023: 15-30 - 2022
- [j32]Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti:
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. Log. Methods Comput. Sci. 18(1) (2022) - [c82]Nicola Del Giudice, Michele Loreti:
YODA: Yet anOther agent Description lAnguage. ACSOS-C 2022: 82-87 - [c81]Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti:
Sibilla: A Tool for Reasoning about Collective Systems. COORDINATION 2022: 92-98 - [c80]Michele Loreti, Aniqa Rehman:
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems. QEST 2022: 133-149 - [i15]Flavio Corradini, Michele Loreti, Marco Piangerelli, Giacomo Rocchetti:
REPTILE: A Proactive Real-Time Deep Reinforcement Learning Self-adaptive Framework. CoRR abs/2203.14686 (2022) - [i14]Valentina Castiglioni, Michele Loreti, Simone Tini:
EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems. CoRR abs/2204.13357 (2022) - [i13]Valentina Castiglioni, Michele Loreti, Simone Tini:
RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems. CoRR abs/2212.11158 (2022) - 2021
- [j31]Michele Loreti:
Semantics of the probabilistic Lambda Calculus By Dirk Draheim. Formal Aspects Comput. 33(3): 457-458 (2021) - [j30]Rocco De Nicola, Tan Duong, Michele Loreti:
Provably correct implementation of the AbC calculus. Sci. Comput. Program. 202: 102567 (2021) - [c79]Valentina Castiglioni, Michele Loreti, Simone Tini:
How Adaptive and Reliable is Your Program? FORTE 2021: 60-79 - [c78]Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi:
Online monitoring of spatio-temporal properties for imprecise signals. MEMOCODE 2021: 78-88 - [i12]Michele Loreti, Michela Quadrini:
A Spatial Logic for a Simplicial Complex Model. CoRR abs/2105.08708 (2021) - [i11]Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Michele Loreti:
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. CoRR abs/2105.11400 (2021) - [i10]Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi:
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals. CoRR abs/2109.08081 (2021) - [i9]Valentina Castiglioni, Michele Loreti, Simone Tini:
A framework to measure the robustness of programs in the unpredictable environment. CoRR abs/2111.15319 (2021) - 2020
- [j29]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Program. 192: 102428 (2020) - [j28]Valentina Castiglioni, Michele Loreti, Simone Tini:
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. Theor. Comput. Sci. 813: 20-69 (2020) - [j27]Luca Bortolussi, Jane Hillston, Michele Loreti:
Fluid approximation of broadcasting systems. Theor. Comput. Sci. 816: 221-248 (2020) - [c77]Valentina Castiglioni, Michele Loreti, Simone Tini:
Measuring Adaptability and Reliability of Large Scale Systems. ISoLA (2) 2020: 380-396 - [c76]Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti:
Monitoring Spatio-Temporal Properties (Invited Tutorial). RV 2020: 21-46 - [c75]Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti:
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. RV 2020: 417-428 - [e6]Michele Loreti, Luca Spalazzi:
Proceedings of the Fourth Italian Conference on Cyber Security, Ancona, Italy, February 4th to 7th, 2020. CEUR Workshop Proceedings 2597, CEUR-WS.org 2020 [contents]
2010 – 2019
- 2019
- [j26]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268 (2019) - [j25]Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion:
Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL. ACM Trans. Model. Comput. Simul. 29(4): 20:1-20:24 (2019) - [j24]Michele Loreti:
Replicated Computations Results (RCR) Report for "Statistical Abstraction for Multi-scale Spatio-temporal Systems". ACM Trans. Model. Comput. Simul. 29(4): 23:1-23:2 (2019) - [c74]Rocco De Nicola, Tan Duong, Michele Loreti:
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. COORDINATION 2019: 111-128 - [c73]Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao:
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE 2019: 70-76 - [c72]Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar, Carlo Ghezzi:
Inferring analyzable models from trajectories of spatially-distributed internet of things. SEAMS@ICSE 2019: 100-106 - [e5]Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese:
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 11665, Springer 2019, ISBN 978-3-030-21484-5 [contents] - [i8]Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi:
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems. CoRR abs/1904.08847 (2019) - 2018
- [j23]Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. Log. Methods Comput. Sci. 14(4) (2018) - [j22]Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink:
Spatio-temporal model checking of vehicular movement in public transport systems. Int. J. Softw. Tools Technol. Transf. 20(3): 289-311 (2018) - [j21]Maurice H. ter Beek, Michele Loreti:
Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). ACM Trans. Model. Comput. Simul. 28(2): 8:1-8:4 (2018) - [j20]Michele Loreti:
Replicated Computations Results (RCR) Report for "Mesoscopic Modelling of Pedestrian Movement using Carma and its Tools". ACM Trans. Model. Comput. Simul. 28(2): 12:1-12:3 (2018) - [c71]Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti:
A Distributed Coordination Infrastructure for Attribute-Based Interaction. FORTE 2018: 1-20 - [c70]Vashti Galpin, Anastasis Georgoulas, Michele Loreti, Andrea Vandin:
Statistical Analysis of CARMA Models: an Advanced Tutorial. WSC 2018: 395-409 - [e4]Giovanna Di Marzo Serugendo, Michele Loreti:
Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings. Lecture Notes in Computer Science 10852, Springer 2018, ISBN 978-3-319-92407-6 [contents] - 2017
- [j19]Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari:
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields. Log. Methods Comput. Sci. 13(1) (2017) - [c69]Diego Latella, Michele Loreti, Mieke Massink:
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation. ModelEd, TestEd, TrustEd 2017: 254-275 - [c68]Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi:
Monitoring mobile and spatially distributed cyber-physical systems. MEMOCODE 2017: 146-155 - [c67]Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion:
Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems. QEST 2017: 317-332 - [c66]Diego Latella, Michele Loreti, Mieke Massink:
FlyFast: A Mean Field Model Checker. TACAS (2) 2017: 303-309 - [c65]Ludovica Luisa Vissat, Jane Hillston, Michele Loreti, Laura Nenzi:
Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic. VALUETOOLS 2017: 225-226 - [i7]Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. CoRR abs/1706.09334 (2017) - [i6]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. CoRR abs/1711.06092 (2017) - [i5]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
A Behavioural Theory for Interactions in Collective-Adaptive Systems. CoRR abs/1711.09762 (2017) - 2016
- [j18]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Model Checking Spatial Logics for Closure Spaces. Log. Methods Comput. Sci. 12(4) (2016) - [j17]Francesco Chiti, Romano Fantacci, Michele Loreti, Rosario Pugliese:
Context-aware wireless mobile autonomic computing and communications: research trends and emerging applications. IEEE Wirel. Commun. 23(2): 86-92 (2016) - [c64]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
On the Power of Attribute-Based Communication. FORTE 2016: 1-18 - [c63]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming of CAS Systems by Relying on Attribute-Based Communication. ISoLA (1) 2016: 539-553 - [c62]Jane Hillston, Michele Loreti:
CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems. QEST 2016: 167-171 - [c61]Michele Loreti, Jane Hillston:
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. SFM 2016: 83-119 - [c60]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Spatial Logic and Spatial Model Checking for Closure Spaces. SFM 2016: 156-201 - [c59]Laura Nenzi, Luca Bortolussi, Michele Loreti:
jSSTL - A Tool to Monitor Spatio-Temporal Properties. VALUETOOLS 2016 - [e3]Pierluigi Crescenzi, Michele Loreti:
Proceedings of the 16th Italian Conference on Theoretical Computer Science, ICTCS 2015, Firenze, Italy, September 9-11, 2015. Electronic Notes in Theoretical Computer Science 322, Elsevier 2016 [contents] - [e2]Pierre Ganty, Michele Loreti:
Trustworthy Global Computing - 10th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers. Lecture Notes in Computer Science 9533, Springer 2016, ISBN 978-3-319-28765-2 [contents] - [e1]Maurice H. ter Beek, Michele Loreti:
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. EPTCS 217, 2016 [contents] - [i4]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
On the Power of Attribute-based Communication. CoRR abs/1602.05635 (2016) - 2015
- [j16]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica 52(1): 61-106 (2015) - [j15]Marco Bernardo, Daniel Gebler, Michele Loreti:
Editorial for the Special Issue on Open Problems in Concurrency Theory. J. Log. Algebraic Methods Program. 84(6): 731 (2015) - [j14]Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti:
CaSPiS: a calculus of sessions, pipelines and services. Math. Struct. Comput. Sci. 25(3): 666-709 (2015) - [j13]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination. Sci. Comput. Program. 110: 23-50 (2015) - [c58]Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni:
On StocS: A Stochastic Extension of SCEL. Software, Services, and Systems 2015: 619-640 - [c57]Diego Latella, Michele Loreti, Mieke Massink:
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. COORDINATION 2015: 19-34 - [c56]Alberto Lluch-Lafuente, Michele Loreti, Ugo Montanari:
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. COORDINATION 2015: 101-116 - [c55]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fluid Model Checking via Discrete Time Population Models. EPEW 2015: 193-207 - [c54]Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink:
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. RV 2015: 21-37 - [c53]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo:
A calculus for attribute-based communication. SAC 2015: 1840-1845 - [c52]Dhaminda B. Abeywickrama, Nikola B. Serbedzija, Michele Loreti:
Monitoring and visualizing adaptation of autonomic systems at runtime. SAC 2015: 1857-1860 - [c51]Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink:
An Experimental Spatio-Temporal Model Checker. SEFM Workshops 2015: 297-311 - [c50]Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink:
CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL 2015: 16-31 - [c49]Pierluigi Crescenzi, Michele Loreti:
Preface. ICTCS 2015: 1-2 - [p5]Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin:
The SCEL Language: Design, Implementation, Verification. The ASCENS Approach 2015: 3-71 - [p4]Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Horký, Jaroslav Keznikl, Jan Kofron, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Giacoma Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma, Andrea Vandin, Emil Vassev:
Tools for Ensemble Design and Runtime. The ASCENS Approach 2015: 429-448 - 2014
- [j12]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Log. Methods Comput. Sci. 10(1) (2014) - [j11]Marco Bernardo, Daniel Gebler, Michele Loreti:
Report on OPCT 2014. Bull. EATCS 114 (2014) - [j10]Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi:
A Formal Approach to Autonomic Systems Programming: The SCEL Language. ACM Trans. Auton. Adapt. Syst. 9(2): 7:1-7:29 (2014) - [j9]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theor. Comput. Sci. 546: 63-92 (2014) - [c48]Jane Hillston, Michele Loreti:
Specification and Analysis of Open-Ended Systems with CARMA. E4MAS 2014: 95-116 - [c47]Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi:
Programming and Verifying Component Ensembles. FPS@ETAPS 2014: 69-83 - [c46]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Specifying and Verifying Properties of Space. IFIP TCS 2014: 222-235 - [c45]Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi:
On Programming and Policing Autonomic Computing Systems. ISoLA (1) 2014: 164-183 - [c44]Vincenzo Ciancia, Stephen Gilmore, Diego Latella, Michele Loreti, Mieke Massink:
Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data. SASO Workshops 2014: 32-37 - [c43]Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni:
Stochastically timed predicate-based communication primitives for autonomic computing. QAPL 2014: 1-16 - [c42]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Probabilistic Model Checking. ICE 2014: 45-59 - [i3]Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink:
Specifying and Verifying Properties of Space - Extended Version. CoRR abs/1406.6393 (2014) - 2013
- [j8]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
A uniform definition of stochastic process calculi. ACM Comput. Surv. 46(1): 5:1-5:35 (2013) - [j7]Marco Bernardo, Rocco De Nicola, Michele Loreti:
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Inf. Comput. 225: 29-82 (2013) - [c41]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fast Mean-Field Model-Checking. TGC 2013: 297-314 - [c40]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. TGC 2013: 315-330 - [c39]Marco Bernardo, Rocco De Nicola, Michele Loreti:
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. QAPL 2013: 81-96 - [i2]Marco Bernardo, Rocco De Nicola, Michele Loreti:
A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities". CoRR abs/1305.0538 (2013) - [i1]Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fast Mean-Field Model-Checking: Extended Version. CoRR abs/1312.3416 (2013) - 2012
- [c38]