Models, Algorithms, Logics and Tools

Keyphrases

Publications

2017

Rom Langerak, Jaco van de Pol, Janine N. Post, Stefano Schivo
Improving the Timed Automata Approach to Biological Pathway Dynamics. Models, Algorithms, Logics and Tools (2017)
Luyao Wang, Wanling Xie, Huibiao Zhu
Assertion-Based Reasoning Method for Calculus of Wireless System. Models, Algorithms, Logics and Tools (2017)
Ernst-Rüdiger Olderog, Maike Schwammberger
Formalising a Hazard Warning Communication Protocol with Timed Automata. Models, Algorithms, Logics and Tools (2017)
Florence Clerc, Harrison Humphrey, Prakash Panangaden
Bicategories of Markov Processes. Models, Algorithms, Logics and Tools (2017)
Anders P. Ravn, Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm
Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking. Models, Algorithms, Logics and Tools (2017)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Syntactic Markovian Bisimulation for Chemical Reaction Networks. Models, Algorithms, Logics and Tools (2017)
Mads Kronborg Agesen, Søren Enevoldsen, Thibaut Le Guilly, Anders Mariegaard, Petur Olsen, Arne Skou
Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego. Models, Algorithms, Logics and Tools (2017)
Christel Baier, Sascha Klüppelholz, Sascha Wunderlich
Towards Automated Variant Selection for Heterogeneous Tiled Architectures. Models, Algorithms, Logics and Tools (2017)
Rajeev Alur, Konstantinos Mamouras, Dogan Ulus
Derivatives of Quantitative Regular Expressions. Models, Algorithms, Logics and Tools (2017)
Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell
Timed Temporal Logics. Models, Algorithms, Logics and Tools (2017)
Marta Kwiatkowska, Gethin Norman, David Parker
Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. Models, Algorithms, Logics and Tools (2017)
Aleksandar S. Dimovski, Andrzej Wasowski
From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL. Models, Algorithms, Logics and Tools (2017)
Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas
Comparing Source Sets and Persistent Sets for Partial Order Reduction. Models, Algorithms, Logics and Tools (2017)
Hasan Baig, Jan Madsen
Taming Living Logic Using Formal Methods. Models, Algorithms, Logics and Tools (2017)
Nicolas Basset, Jean-François Raskin, Ocan Sankur
Admissible Strategies in Timed Games. Models, Algorithms, Logics and Tools (2017)
Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz
A Framework for Evaluating Schedulability Analysis Tools. Models, Algorithms, Logics and Tools (2017)
Franck Cassez, Pablo González de Aledo, Peter Gjøl Jensen
WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. Models, Algorithms, Logics and Tools (2017)
Xinxin Liu
Negative Results on Decidability and Small Model Property of Process Equations. Models, Algorithms, Logics and Tools (2017)
Joost-Pieter Katoen, Falak Sher
Modal Stochastic Games - Abstraction-Refinement of Probabilistic Automata. Models, Algorithms, Logics and Tools (2017)
Ed Brinksma, Mariëlle I. A. Stoelinga, Mark Timmer
Testing Divergent Transition Systems. Models, Algorithms, Logics and Tools (2017)
Jakaria Abdullah, Gaoyang Dai, Nan Guan, Morteza Mohaqeqi, Wang Yi
Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. Models, Algorithms, Logics and Tools (2017)
Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns
Teaching Academic Concurrency to Amazing Students. Models, Algorithms, Logics and Tools (2017)
Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos
Information Flow for Timed Automata. Models, Algorithms, Logics and Tools (2017)
Leif-Nissen Lundbæk, Andrea Callia D'Iddio, Michael Huth
Centrally Governed Blockchains: Optimizing Security, Cost, and Availability. Models, Algorithms, Logics and Tools (2017)
Klaus Havelund, Giles Reger
Runtime Verification Logics A Language Design Perspective. Models, Algorithms, Logics and Tools (2017)
Bernhard Steffen, Marc Jasper
Property-Preserving Parallel Decomposition. Models, Algorithms, Logics and Tools (2017)
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
The Cost of Exactness in Quantitative Reachability. Models, Algorithms, Logics and Tools (2017)
Matthew Hennessy
A Coinductive Equational Characterisation of Trace Inclusion for Regular Processes. Models, Algorithms, Logics and Tools (2017)
Jan Kretínský
30 Years of Modal Transition Systems: Survey of Extensions and Analysis. Models, Algorithms, Logics and Tools (2017)
Albert Benveniste, Benoît Caillaud
Synchronous Interfaces and Assume/Guarantee Contracts. Models, Algorithms, Logics and Tools (2017)
Oded Maler, Irini-Eleftheria Mens
A Generic Algorithm for Learning Symbolic Automata from Membership Queries. Models, Algorithms, Logics and Tools (2017)
Manfred Droste, Doreen Götze
A Nivat Theorem for Quantitative Automata on Unranked Trees. Models, Algorithms, Logics and Tools (2017)

volume 10460, 2017

Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday Models, Algorithms, Logics and Tools 10460 (2017)