Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
| Corporate Author: | |
|---|---|
| Other Authors: | , , , , , |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edition: | 1st ed. 2017. |
| Series: | Theoretical Computer Science and General Issues ;
10460 |
| Subjects: |
Table of Contents:
- Information Flow for Timed Automata
- A Nivat Theorem for Quantitative Automata on Unranked Trees
- 30 Years of Modal Transition Systems: Survey of Extensions and Analysis
- Derivatives of Quantitative Regular Expressions
- Improving the Timed Automata Approach to Biological Pathway Dynamics
- Bicategories of Markov Processes
- Property-Preserving Parallel Decomposition
- A Generic Algorithm for Learning Symbolic Automata from Membership Queries
- Teaching Academic Concurrency to Amazing Students
- Negative Results on Decidability and Small Model Property of Process Equations
- Timed Temporal Logics
- Synchronous Interfaces and Assume/Guarantee Contracts
- From Transition Systems to Variability Models & From Lifted Model Checking Back to UPPAAL
- Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking
- Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata
- Runtime Verification Logics - A Language Design Perspective
- Testing Divergent Transition Systems
- The Cost of Exactness in Quantitative Reachability
- Towards Automated Variant Selection for HeterogeneousTiled Architectures
- Admissible Strategies in Timed Games
- Modal Stochastic Games: Abstraction-Refinement of Probabilistic Automata
- A Coinductive Equational Characterisation of Trace Inclusion for Regular Processes
- Syntactic Markovian Bisimulation for Chemical Reaction Networks
- Assertion-Based Reasoning Method for Calculus of Wireless System
- Taming Living Logic Using Formal Methods
- Comparing Source Sets and Persistent Sets for Partial Order Reduction
- A Framework for Evaluating Schedulability Analysis Tools
- WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL
- Centrally Governed Blockchains: Optimizing Security, Cost, and Availability
- Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego
- Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems
- Formalising a Hazard Warning Communication Protocol with Timed Automata.