Models, Algorithms, Logics and Tools
-15%
portes grátis
Models, Algorithms, Logics and Tools
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Bacci, Giovanni; Bacci, Giorgio; Mardare, Radu; Aceto, Luca; Legay, Axel; Ingolfsdottir, Anna
Springer International Publishing AG
07/2017
662
Mole
Inglês
9783319631202
15 a 20 dias
Descrição não disponível.
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 ModelChecking 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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
software engineering;semantics;model checking;artificial intelligence;specifications;verification;automata theory;computer software selection and evaluation;programming languages;temporal logic;formal logic;formal methods;probability;wireless telecommunication systems;data security;numerical methods;real time systems;wireless networks;translation (languages);timed automata
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 ModelChecking 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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
software engineering;semantics;model checking;artificial intelligence;specifications;verification;automata theory;computer software selection and evaluation;programming languages;temporal logic;formal logic;formal methods;probability;wireless telecommunication systems;data security;numerical methods;real time systems;wireless networks;translation (languages);timed automata
