default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60. Birthday: Kim Guldstrand Larsen 2017
- Luca Aceto, Giorgio Bacci
, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare:
Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 10460, Springer 2017, ISBN 978-3-319-63120-2
Formal Languages and Automata Theory
- Flemming Nielson, Hanne Riis Nielson, Panagiotis Vasilikos:
Information Flow for Timed Automata. 3-21 - Manfred Droste, Doreen Götze:
A Nivat Theorem for Quantitative Automata on Unranked Trees. 22-35 - Jan Kretínský:
30 Years of Modal Transition Systems: Survey of Extensions and Analysis. 36-74 - Rajeev Alur, Konstantinos Mamouras, Dogan Ulus:
Derivatives of Quantitative Regular Expressions. 75-95 - Rom Langerak, Jaco van de Pol, Janine N. Post, Stefano Schivo:
Improving the Timed Automata Approach to Biological Pathway Dynamics. 96-111 - Florence Clerc, Harrison Humphrey, Prakash Panangaden:
Bicategories of Markov Processes. 112-124 - Bernhard Steffen, Marc Jasper:
Property-Preserving Parallel Decomposition. 125-145 - Oded Maler, Irini-Eleftheria Mens:
A Generic Algorithm for Learning Symbolic Automata from Membership Queries. 146-169 - Sebastian Biewer, Felix Freiberger, Pascal Leo Held, Holger Hermanns:
Teaching Academic Concurrency to Amazing Students. 170-195
Logic
- Xinxin Liu:
Negative Results on Decidability and Small Model Property of Process Equations. 199-210 - Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell:
Timed Temporal Logics. 211-230
Verification, Model Checking and Testing
- Albert Benveniste, Benoît Caillaud:
Synchronous Interfaces and Assume/Guarantee Contracts. 233-248 - Aleksandar S. Dimovski, Andrzej Wasowski:
From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL. 249-268 - 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. 269-288 - Marta Kwiatkowska, Gethin Norman, David Parker:
Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. 289-309 - Klaus Havelund, Giles Reger:
Runtime Verification Logics A Language Design Perspective. 310-338 - Ed Brinksma, Mariëlle I. A. Stoelinga, Mark Timmer:
Testing Divergent Transition Systems. 339-366 - Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger:
The Cost of Exactness in Quantitative Reachability. 367-381 - Christel Baier, Sascha Klüppelholz, Sascha Wunderlich:
Towards Automated Variant Selection for Heterogeneous Tiled Architectures. 382-399
Algorithmic Game Theory and Mechanism Design
- Nicolas Basset, Jean-François Raskin, Ocan Sankur:
Admissible Strategies in Timed Games. 403-425 - Joost-Pieter Katoen, Falak Sher:
Modal Stochastic Games - Abstraction-Refinement of Probabilistic Automata. 426-445
Semantics and Reasoning
- Matthew Hennessy:
A Coinductive Equational Characterisation of Trace Inclusion for Regular Processes. 449-465 - Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Syntactic Markovian Bisimulation for Chemical Reaction Networks. 466-483 - Luyao Wang, Wanling Xie, Huibiao Zhu:
Assertion-Based Reasoning Method for Calculus of Wireless System. 484-502 - Hasan Baig, Jan Madsen:
Taming Living Logic Using Formal Methods. 503-515 - Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas:
Comparing Source Sets and Persistent Sets for Partial Order Reduction. 516-536
Real-Time and Distributed Systems
- Lijun Shan, Susanne Graf, Sophie Quinton, Loïc Fejoz:
A Framework for Evaluating Schedulability Analysis Tools. 539-559 - Franck Cassez, Pablo González de Aledo, Peter Gjøl Jensen:
WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. 560-577 - Leif-Nissen Lundbæk, Andrea Callia D'Iddio, Michael Huth:
Centrally Governed Blockchains: Optimizing Security, Cost, and Availability. 578-599
Modeling and Simulation
- 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. 603-622 - 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. 623-639 - Ernst-Rüdiger Olderog, Maike Schwammberger:
Formalising a Hazard Warning Communication Protocol with Timed Automata. 640-660
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-11 00:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
