close
1.

図書
図書
1. Formal modeling and analysis of timed systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings
Paul Pettersson, Wang Yi (eds.)
出版情報: Berlin : Springer, c2005  ix, 303 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3829
所蔵情報: loading…
2.

図書
図書
2. Formal modeling and analysis of timed systems : first International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers
Kim G. Larsen, Peter Niebert (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  viii, 280 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2791
所蔵情報: loading…
3.

図書
図書
3. Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15 - 17, 2008 proceedings
Franck Cassez, Claude Jard (eds.)
出版情報: Berlin ; New York : Springer, c2008  xi, 294 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 5215
所蔵情報: loading…
4.

図書
図書
4. Formal modeling and analysis of timed systems : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, proceedings
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
5.

図書
図書
5. Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on formal modelling and analysis of timed systems, FORMATS 2004 and formal techniques in real-time and fault-tolerant systems, FTRTFT 2004 Grenoble, France, September 22-24, 2004 : proceedings
Yassine Lakhnech, Sergio Yovine (eds.)
出版情報: Berlin : Springer, c2004  x, 395 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3253
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
From Software to Hardware and Back / Paul Feautrier
Of Elections and Electrons / Peter Y. Ryan
Regular Papers Formal Verification of an Avionics Sensor Voter Using SCADE / Samar Dajani-Brown ; Darren Cofer ; Amar Bouali
Mixed Delay and Threshold Voters in Critical Real-Time Systems / Chiheb Kossentini ; Paul Caspi
Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems / Simona Bernardi ; Susanna Donatelli ; Giovanna Dondossola
On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies / Jennifer M. Davoren ; Thomas Moor ; R.P. Goré ; Vaughan Coulthard ; Anil Nerode
On Timed Automata with Input-Determined Guards / Deepak D'Souza ; Nicolas Tabareau
Decomposing Verification of Timed I/O Automata / Dilsun Kirli Kaynar ; Nancy Lynch
Symbolic Model Checking for Simply-Timed Systems / Nicolas Markey ; Philippe Schnoebelen
Robustness and Implementability of Timed Automata / Martin De Wulf ; Laurent Doyen ; Jean-François Raskin
Real-Time Testing with Timed Automata Testers and Coverage Criteria / Moez Krichen ; Stavros Tripakis
Monitoring Temporal Properties of Continuous Signals / Oded Maler ; Dejan Nickovic
A Unified Fault-Tolerance Protocol / Paul Miner ; Alfons Geser ; Lee Pike ; Jeffrey Maddalon
Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications / Felix C. Gärtner ; Arshad Jhumka
Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol
Using Calendar Automata / Bruno Dutertre ; Maria Sorea
Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders / Catalin Dima ; Alain Girault ; Yves Sorel
The Influence of Durational Actions on Time Equivalences / Harald Fecher
Bounded Model Checking for Region Automata / Fang Yu ; Bow-Yaw Wang ; Yao-Wen Huang
Some Progress in Satisfiability Checking for Difference Logic / Scott Cotton ; Eugene Asarin ; Peter Niebert
Model-Checking for Weighted Timed Automata / Thomas Brihaye ; Véronique Bruyére
Symbolic Model Checking for Probabilistic Timed Automata / Marta Kwiatkowska ; Gethin Norman ; Jeremy Sproston ; Fuzhi Wang
Structured Modeling of Concurrent Stochastic Hybrid Systems / Mikhail Bernadsky ; Raman Sharykin ; Rajeev Alur
Computing Schedules for Multithreaded Real-Time Programs Using Geometry / Philippe Gerner ; Thao Dang
Forward Reachability Analysis of Timed Petri Nets / Parosh Aziz Abdulla ; Johann Deneux ; Pritha Mahata ; Aletta Nylén
Lazy Approximation for Dense Real-Time Systems
Learning of Event-Recording Automata / Olga Grinchtein ; Bengt Jonsson ; Martin Leucker
Author Index
Invited Papers
From Software to Hardware and Back / Paul Feautrier
Of Elections and Electrons / Peter Y. Ryan
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼