Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday /: essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday. (2017)
- Record Type:
- Book
- Title:
- Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday /: essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday. (2017)
- Main Title:
- Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday
- Further Information:
- Note: Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare (eds.).
- Editors:
- Aceto, Luca
Bacci, Giorgio
(Computer scientist), Bacci, Giovanni
Legay, Axel
Mardare, Radu
Anna Ingólfsdóttir, 1952- - Other Names:
- Larsen, K. G (Kim G.) 1957- honouree.
- 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 ProcessEquations.-Timed Temporal Logics.-Synchronous Interfaces and Assume/Guarantee Contracts.-From Transition Systems to Variability Models & From Lifted ModelChecking Back to UPPAAL.-Firm Deadline Checking of Safety-Critical Java Applications withStatistical Model Checking.-Symbolic Verification and Strategy Synthesis for Linearly-PricedProbabilistic 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 HeterogeneousTiledArchitectures.-Admissible Strategies in Timed Games.-Modal Stochastic Games: Abstraction-Refinement of ProbabilisticAutomata.-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 LogicInformation 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 ProcessEquations.-Timed Temporal Logics.-Synchronous Interfaces and Assume/Guarantee Contracts.-From Transition Systems to Variability Models & From Lifted ModelChecking Back to UPPAAL.-Firm Deadline Checking of Safety-Critical Java Applications withStatistical Model Checking.-Symbolic Verification and Strategy Synthesis for Linearly-PricedProbabilistic 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 HeterogeneousTiledArchitectures.-Admissible Strategies in Timed Games.-Modal Stochastic Games: Abstraction-Refinement of ProbabilisticAutomata.-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 BinaryPrograms with UPPAAL.-Centrally Governed Blockchains: Optimizing Security, Cost, andAvailability.-Energy Consumption Forecast of Photo-Voltaic Comfort Cooling UsingUPPAAL Stratego.-Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation andImplementation of Cyber-Physical Systems.-Formalising a Hazard Warning Communication Protocol with TimedAutomata. … (more)
- Publisher Details:
- Cham : Springer
- Publication Date:
- 2017
- Copyright Date:
- 2017
- Extent:
- 1 online resource (662 pages)
- Subjects:
- 005.14
Computer science
Formal languages
Machine theory
Computer simulation
Computer software -- Verification
Artificial intelligence
Semantics -- Data processing
Programming languages (Electronic computers)
Artificial intelligence
Computer science
Computer simulation
Computer software -- Verification
Formal languages
Machine theory
Programming languages (Electronic computers)
Semantics -- Data processing - Languages:
- English
- ISBNs:
- 9783319631219
- Related ISBNs:
- 9783319631202
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.370761
- Ingest File:
- 02_350.xml