Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL
暂无分享,去创建一个
Vincenzo Ciancia | Mieke Massink | Luca Bortolussi | Michele Loreti | Laura Nenzi | M. Massink | L. Bortolussi | L. Nenzi | M. Loreti | V. Ciancia | Vincenzo Ciancia
[1] Ezio Bartocci,et al. System design of stochastic models using robustness of temporal properties , 2015, Theor. Comput. Sci..
[2] Calin Belta,et al. A formal methods approach to pattern synthesis in reaction diffusion systems , 2014, 53rd IEEE Conference on Decision and Control.
[3] Luca Bortolussi,et al. Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models , 2018, TACAS.
[4] Vincenzo Ciancia,et al. Spatial Logic and Spatial Model Checking for Closure Spaces , 2016, SFM.
[5] Ichiro Hasuo,et al. Time Robustness in MTL and Expressivity in Hybrid System Falsification , 2015, CAV.
[6] Oded Maler,et al. Robust Satisfaction of Temporal Logic over Real-Valued Signals , 2010, FORMATS.
[7] José Meseguer,et al. A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting , 2012, RULE.
[8] José Meseguer,et al. The Temporal Logic of Rewriting: A Gentle Introduction , 2008, Concurrency, Graphs and Models.
[9] Vincenzo Ciancia,et al. Specifying and Verifying Properties of Space , 2014, IFIP TCS.
[10] Vincenzo Ciancia,et al. Exploring Spatio-temporal Properties of Bike-Sharing Systems , 2015, 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops.
[11] Antony Galton,et al. The Mereotopology of Discrete Space , 1999, COSIT.
[12] Thomas Ferrère,et al. Efficient Robust Monitoring for STL , 2013, CAV.
[13] Luca Bortolussi,et al. Hybrid performance modelling of opportunistic networks , 2012, QAPL.
[14] A. Rinaldo,et al. Modelling cholera epidemics: the role of waterways, human mobility and sanitation , 2012, Journal of The Royal Society Interface.
[15] Ezio Bartocci,et al. Learning and detecting emergent behavior in networks of cardiac myocytes , 2008, CACM.
[16] Vincenzo Ciancia,et al. A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems , 2016, ISoLA.
[17] Diego Latella,et al. Continuous approximation of collective system behaviour: A tutorial , 2013, Perform. Evaluation.
[18] A. Prasad Sistla,et al. A Multiprocess Network Logic with Temporal and Spatial Modalities , 1983, ICALP.
[19] Anna Philippou,et al. Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.
[20] A. M. Turing,et al. The chemical basis of morphogenesis , 1952, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences.
[21] Vladimiro Sassone,et al. Static BiLog: a Unifying Language for Spatial Structures , 2008, Fundam. Informaticae.
[22] Alberto Policriti,et al. Logic-Based Multi-objective Design of Chemical Reaction Networks , 2016, HSB.
[23] Vincenzo Ciancia,et al. Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data , 2014, 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.
[24] Vincenzo Ciancia,et al. An Experimental Spatio-Temporal Model Checker , 2015, SEFM Workshops.
[25] Antony Galton,et al. A generalized topological view of motion in discrete space , 2003, Theor. Comput. Sci..
[26] Vincenzo Ciancia,et al. Model Checking Spatial Logics for Closure Spaces , 2016, Log. Methods Comput. Sci..
[27] Luca Cardelli,et al. A Spatial Logic for Querying Graphs , 2002, ICALP.
[28] George J. Pappas,et al. Robustness of temporal logic specifications for continuous-time signals , 2009, Theor. Comput. Sci..
[29] Federico Morán,et al. Noise-controlled self-replicating patterns. , 2003, Physical review letters.
[30] Thomas A. Henzinger,et al. The benefits of relaxing punctuality , 1991, PODC '91.
[31] Calin Belta,et al. SpaTeL: a novel spatial-temporal logic and its applications to networked systems , 2015, HSCC.
[32] Luca Bortolussi,et al. jSSTL - A Tool to Monitor Spatio-Temporal Properties , 2016, VALUETOOLS.
[33] Dejan Nickovic,et al. Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.
[34] Stéphane Demri,et al. On the almighty wand , 2012, Inf. Comput..
[35] Luca Bortolussi,et al. Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic , 2014, VALUETOOLS.
[36] Teemu Leppänen,et al. The Effect of Noise on Turing Patterns , 2003 .
[37] Jane Hillston,et al. Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems , 2016, QEST.
[38] Vincenzo Ciancia,et al. Spatio-temporal model checking of vehicular movement in public transport systems , 2018, International Journal on Software Tools for Technology Transfer.
[39] Vincenzo Ciancia,et al. Qualitative and Quantitative Monitoring of Spatio-Temporal Properties , 2015, RV.