Optimal Paths in Weighted Timed Automata

Rajeev Alur Salvatore La Torre George Pappas 2001 Optimal Paths in Weighted Timed Automata Maria Di Benedetto Alberto Sangiovanni-Vincentelli Hybrid Systems: Computation and Control Lecture Notes in Computer Science 2034 Springer Berlin / Heidelberg 49–62 10.1007/3-540-45351-2_8 Paolo Ballarini Hilal Djafri Marie Duflot Serge Haddad Nihal Pekergin 2011 COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic QEST IEEE Computer Society 143–144 http://doi.ieeecomputersociety.org/10.1109/QEST.2011.24 Naama Barkai Stanislas Leibler 2000 Biological rhythms: Circadian clocks limited by noise Nature 403 267–268 10.1038/35002258 Ananda Basu Saddek Bensalem Marius Bozga Benoît Caillaud Benoît Delahaye Axel Legay 2010 Statistical Abstraction and Model-Checking of Large Heterogeneous Systems FMOODS/FORTE Lecture Notes in Computer Science 6117 Springer 32–46 10.1007/978-3-642-13464-7_4 Ananda Basu Saddek Bensalem Marius Bozga Benoît Delahaye Axel Legay 2012 Statistical abstraction and model-checking of large heterogeneous systems STTT 14 1 53–72 10.1007/s10009-011-0201-2 Ananda Basu Saddek Bensalem Marius Bozga Benoît Delahaye Axel Legay Emmanuel Sifakis 2010 Verification of an AFDX Infrastructure Using Simulations and Probabilities RV Lecture Notes in Computer Science 6418 Springer 330–344 10.1007/978-3-642-16612-9_25 Gerd Behrmann Ansgar Fehnker Thomas Hune Kim Guldstrand Larsen Paul Pettersson Judi Romijn Frits W. Vaandrager 2001 Minimum-Cost Reachability for Priced Timed Automata HSCC 147–161 10.1007/3-540-45351-2_15 P. Bulychev A. David K.G. Larsen A. Legay G. Li D.B. Poulsen Rewrite-Based Statistical Model Checking of WMTL To appear at RV 2012 Peter E. Bulychev Alexandre David Kim G. Larsen Axel Legay Marius Mikucionis 2012 Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach IWIGP EPTCS 78 1–14 10.4204/EPTCS.78.1 Peter E. Bulychev Alexandre David Kim Guldstrand Larsen Axel Legay Guangyuan Li Danny Bøgsted Poulsen Amélie Stainer 2012 Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic Nikolaj Bjørner Andrei Voronkov LPAR Lecture Notes in Computer Science 7180 Springer 168–182 10.1007/978-3-642-28717-6_15 Edmund Clarke Alexandre Donzé Axel Legay 2010 On simulation-based probabilistic model checking of mixed-analog circuits Formal Methods in System Design 36 97–113 10.1007/s10703-009-0076-y Alexandre David DeHui Du Kim G. Larsen Marius Mikučionis Arne Skou 2012 An Evaluation Framework for Energy Aware Buildings using Statistical Model Checking Submitted Alexandre David Kim. G. Larsen Axel Legay Marius Mikučionis 2012 Schedulability of Herschel-Planck Revisited Using Statistical Model Checking Bernhard Steffen Tiziana Margaria 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

Heraclion, Crete

To appear Alexandre David Kim G. Larsen Axel Legay Marius Mikučionis Danny Bøgsted Poulsen Sean Sedwards 2012 Runtime Verification of Biological Systems Bernhard Steffen Tiziana Margaria 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

Heraclion, Crete

To appear Alexandre David Kim G. Larsen Axel Legay Marius Mikučionis Danny Bøgsted Poulsen Jonas Van Vliet Zheng Wang 2011 Statistical Model Checking for Networks of Priced Timed Automata FORMATS LNCS Springer 80–96 10.1007/978-3-642-24310-3_7 Alexandre David Kim G. Larsen Axel Legay Marius Mikučionis Zheng Wang 2011 Time for statistical model checking of real-time systems Proceedings of the 23rd international conference on Computer aided verification LNCS Springer-Verlag

Berlin, Heidelberg

349–355 http://dl.acm.org/citation.cfm?id=2032305.2032332 Alexandre David Kim G. Larsen Axel Legay Ulrik Nyman Andrzej Wasowski 2010 Timed I/O automata: a complete specification theory for real-time systems HSCC ACM ACM 91–100 10.1145/1755952.1755967 Ansgar Fehnker Franjo Ivancic 2004 Benchmarks for Hybrid Systems Verification Rajeev Alur George J. Pappas HSCC Lecture Notes in Computer Science 2993 Springer 326–341 10.1007/978-3-540-24743-2_22 Daniel T. Gillespie 1977 Exact Stochastic Simulation of Coupled Chemical Reactions Journal of Physical Chemistry 81 2340–2361 10.1021/j100540a008 Rodolfo Gómez 2009 A Compositional Translation of Timed Automata with Deadlines to UPPAAL Timed Automata Joël Ouaknine Frits Vaandrager Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science 5813 Springer Berlin / Heidelberg 179–194 10.1007/978-3-642-04368-0_15 Haijun Gong Paolo Zuliani Anvesh Komuravelli James R. Faeder Edmund M. Clarke 2010 Computational Modeling and Verification of Signaling Pathways in Cancer ANB Lecture Notes in Computer Science 6479 Springer 117–135 10.1007/978-3-642-28067-2_7 Cyrille Jegourel Axel Legay Sean Sedwards 2012 Cross-entropy optimisation of importance sampling parameters for statistical model checking Madhusudan Parthasarathy Sanjit A. Seshia CAV LNCS Springer

Berkeley, California, USA

To appear Cyrille Jegourel Axel Legay Sean Sedwards 2012 A Platform for High Performance Statistical Model Checking – PLASMA Cormac Flanagan Barbara König TACAS LNCS Springer

Tallinn, Estonia

10.1007/978-3-642-28756-5_37 Sumit Kumar Jha Edmund M. Clarke Christopher James Langmead Axel Legay André Platzer Paolo Zuliani 2009 A Bayesian Approach to Model Checking Biological Systems CMSB LNCS 5688 Springer 218–234 10.1007/978-3-642-03845-7_15 Joost-Pieter Katoen Ivan S. Zapreev Ernst Moritz Hahn Holger Hermanns David N. Jansen 2011 The ins and outs of the probabilistic model checker MRMC Perform. Eval. 68 2 90–104 10.1016/j.peva.2010.04.001 Ron Koymans 1990 Specifying Real-Time Properties with Metric Temporal Logic Real-Time Systems 2 4 255–299 10.1007/BF01995674 S. Laplante R. Lassaigne F. Magniez S. Peyronnet M. de Rougemont 2007 Probabilistic abstraction for model checking: An approach based on property testing ACM TCS 8 4 10.1145/1276920.1276922 Kim Guldstrand Larsen Arne Skou 1991 Bisimulation through Probabilistic Testing Inf. Comput. 94 1 1–28 10.1016/0890-5401(91)90030-6 Axel Legay Benoît Delahaye Saddek Bensalem 2010 Statistical Model Checking: An Overview RV Lecture Notes in Computer Science 6418 Springer 122–135 10.1007/978-3-642-16612-9_11 João Martins André Platzer João Leite 2011 Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications ICFEM Lecture Notes in Computer Science 6991 Springer 131–146 10.1007/978-3-642-24559-6_11 Amir Pnueli 1977 The Temporal Logic of Programs FOCS IEEE Computer Society 46–57 http://doi.ieeecomputersociety.org/10.1109/SFCS.1977.32 Koushik Sen Mahesh Viswanathan Gul Agha 2004 Statistical Model Checking of Black-Box Probabilistic Systems CAV LNCS 3114 Springer 202–215 10.1007/11513988_26 José M. G. Vilar Hao Yuan Kueh Naama Barkai Stanislas Leibler 2002 Mechanisms of noise-resistance in genetic oscillators Proceedings of the National Academy of Sciences 99 9 5988–5992 10.1073/pnas.092133899 http://www.pnas.org/content/99/9/5988.abstract Håkan L. S. Younes Reid G. Simmons 2002 Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling CAV LNCS 2404 Springer 223–235 10.1007/3-540-45657-0_17 Paolo Zuliani Christel Baier Edmund M. Clarke 2012 Rare-event verification for stochastic hybrid systems HSCC ACM 217–226 10.1145/2185632.2185665 Paolo Zuliani André Platzer Edmund M. Clarke 2010 Bayesian statistical model checking with application to Simulink/Stateflow verification HSCC ACM 243–252 10.1145/1755952.1755987