close
1.

図書

図書
Eugene Asarin, Patricia Bouyer (eds.)
出版情報: Berlin : Springer, c2006  xi, 367 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4202
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Timed Alternating-Time Temporal Logic / Thomas A. Henzinger ; Vinayak S. Prabhu
Concurrent Semantics Without the Notions of State or State Transitions / Edward A. Lee
Decidability and Expressive Power of Real Time Logics / Alexander Rabinovich
Contributed Papers
Extended Directed Search for Probabilistic Timed Reachability / Husain Aljazzar ; Stefan Leue
Intersection of Regular Signal-Event (Timed) Languages / Beatrice Berard ; Paul Gastin ; Antoine Petit
Refinements and Abstractions of Signal-Event (Timed) Languages
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets / Bernard Berthomieu ; Florent Peres ; Francois Vernadat
Matching Scenarios with Timing Constraints / Prakash Chandrasekaran ; Madhavan Mukund
Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata / Remy Chevallier ; Emmanuelle Encrenaz-Tiphene ; Laurent Fribourg ; Weiwen Xu
Model Checking Timed Automata with Priorities Using DBM Subtraction / Alexandre David ; John Hakansson ; Kim G. Larsen ; Paul Pettersson
Symbolic Robustness Analysis of Timed Automata / Conrado Daws ; Piotr Kordy
Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion / Adam Duguid
Temporal Logic Verification Using Simulation / Georgios E. Fainekos ; Antoine Girard ; George J. Pappas
Undecidable Problems About Timed Automata / Olivier Finkel
On Timed Simulation Relations for Hybrid Systems and Compositionality / Goran Frehse
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling / Carlo A. Furia ; Matteo Rossi
On the Computational Power of Timed Differentiable Petri Nets / Serge Haddad ; Laura Recalde ; Manuel Silva
Model-Checking Timed ATL for Durational Concurrent Game Structures / Francois Laroussinie ; Nicolas Markey ; Ghassan Oreiby
A Dose of Timed Logic, in Guarded Measure / Kamal Lodaya ; Paritosh K. Pandya
From MITL to Timed Automata / Oded Maler ; Dejan Nickovic ; Amir Pnueli
Adding Invariants to Event Zone Automata / Peter Niebert ; Hongyang Qu
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems / Gordon Pace ; Gerardo Schneider
On the Expressiveness of MTL with Past Operators / Pavithra Prabhakar ; Deepak D'Souza
Simulator for Real-Time Abstract State Machines / Pavel Vasilyev
A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes / Nicolas Wolovick ; Sven Johr
Author Index
Invited Talks
Timed Alternating-Time Temporal Logic / Thomas A. Henzinger ; Vinayak S. Prabhu
Concurrent Semantics Without the Notions of State or State Transitions / Edward A. Lee
2.

電子ブック

EB
Eugene Asarin, Patricia Bouyer, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Timed Alternating-Time Temporal Logic / Thomas A. Henzinger ; Vinayak S. Prabhu
Concurrent Semantics Without the Notions of State or State Transitions / Edward A. Lee
Decidability and Expressive Power of Real Time Logics / Alexander Rabinovich
Contributed Papers
Extended Directed Search for Probabilistic Timed Reachability / Husain Aljazzar ; Stefan Leue
Intersection of Regular Signal-Event (Timed) Languages / Beatrice Berard ; Paul Gastin ; Antoine Petit
Refinements and Abstractions of Signal-Event (Timed) Languages
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets / Bernard Berthomieu ; Florent Peres ; Francois Vernadat
Matching Scenarios with Timing Constraints / Prakash Chandrasekaran ; Madhavan Mukund
Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata / Remy Chevallier ; Emmanuelle Encrenaz-Tiphene ; Laurent Fribourg ; Weiwen Xu
Model Checking Timed Automata with Priorities Using DBM Subtraction / Alexandre David ; John Hakansson ; Kim G. Larsen ; Paul Pettersson
Symbolic Robustness Analysis of Timed Automata / Conrado Daws ; Piotr Kordy
Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion / Adam Duguid
Temporal Logic Verification Using Simulation / Georgios E. Fainekos ; Antoine Girard ; George J. Pappas
Undecidable Problems About Timed Automata / Olivier Finkel
On Timed Simulation Relations for Hybrid Systems and Compositionality / Goran Frehse
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling / Carlo A. Furia ; Matteo Rossi
On the Computational Power of Timed Differentiable Petri Nets / Serge Haddad ; Laura Recalde ; Manuel Silva
Model-Checking Timed ATL for Durational Concurrent Game Structures / Francois Laroussinie ; Nicolas Markey ; Ghassan Oreiby
A Dose of Timed Logic, in Guarded Measure / Kamal Lodaya ; Paritosh K. Pandya
From MITL to Timed Automata / Oded Maler ; Dejan Nickovic ; Amir Pnueli
Adding Invariants to Event Zone Automata / Peter Niebert ; Hongyang Qu
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems / Gordon Pace ; Gerardo Schneider
On the Expressiveness of MTL with Past Operators / Pavithra Prabhakar ; Deepak D'Souza
Simulator for Real-Time Abstract State Machines / Pavel Vasilyev
A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes / Nicolas Wolovick ; Sven Johr
Author Index
Invited Talks
Timed Alternating-Time Temporal Logic / Thomas A. Henzinger ; Vinayak S. Prabhu
Concurrent Semantics Without the Notions of State or State Transitions / Edward A. Lee
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼