Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540857778, 9783540857785

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-540-85778-5_19 ◽

2008 ◽

pp. 265-279 ◽

Cited By ~ 2

Author(s):

Hanifa Boucheneb ◽

Kamel Barkaoui

Keyword(s):

Petri Net ◽

Time Petri Net

Download Full-text

A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-540-85778-5_14 ◽

2008 ◽

pp. 188-202 ◽

Cited By ~ 1

Author(s):

Anne Remke ◽

Boudewijn R. Haverkort

Keyword(s):

Model Checking ◽

Queueing Networks

Download Full-text

Infinite Runs in Weighted Timed Automata with Energy Constraints

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-540-85778-5_4 ◽

2008 ◽

pp. 33-47 ◽

Cited By ~ 74

Author(s):

Patricia Bouyer ◽

Uli Fahrenberg ◽

Kim G. Larsen ◽

Nicolas Markey ◽

Jiří Srba

Keyword(s):

Timed Automata ◽

Energy Constraints

Download Full-text

Compositional Abstraction in Real-Time Model Checking

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-540-85778-5_17 ◽

2008 ◽

pp. 233-249 ◽

Cited By ~ 14

Author(s):

Jasper Berendsen ◽

Frits Vaandrager

Keyword(s):

Model Checking ◽

Real Time ◽

Time Model

Download Full-text

On Scheduling Policies for Streams of Structured Jobs

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-540-85778-5_11 ◽

2008 ◽

pp. 141-154 ◽

Cited By ~ 2

Author(s):

Aldric Degorre ◽

Oded Maler

Keyword(s):

Scheduling Policies

Download Full-text

Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-540-85778-5_6 ◽

2008 ◽

pp. 63-77 ◽

Cited By ~ 6

Author(s):

Patricia Bouyer ◽

Thomas Brihaye ◽

Marcin Jurdziński ◽

Ranko Lazić ◽

Michał Rutkowski

Keyword(s):

Average Price ◽

Hybrid Automata

Download Full-text

Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-540-85778-5_8 ◽

2008 ◽

pp. 93-108 ◽

Cited By ~ 4

Author(s):

Alexander Rabinovich

Keyword(s):

Temporal Logics

Download Full-text

Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-540-85778-5_15 ◽

2008 ◽

pp. 203-217 ◽

Cited By ~ 4

Author(s):

Joost-Pieter Katoen ◽

Alexandru Mereacre

Keyword(s):

Model Checking ◽

Markov Chains ◽

Piecewise Constant

Download Full-text

A Framework for Distributing Real-Time Functions

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-540-85778-5_12 ◽

2008 ◽

pp. 155-169 ◽

Cited By ~ 9

Author(s):

Frédéric Boniol ◽

Pierre-Emmanuel Hladik ◽

Claire Pagetti ◽

Frédéric Aspro ◽

Victor Jégu

Keyword(s):

Real Time

Download Full-text

Some Recent Results in Metric Temporal Logic

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-540-85778-5_1 ◽

2008 ◽

pp. 1-13 ◽

Cited By ~ 54

Author(s):

Joël Ouaknine ◽

James Worrell

Keyword(s):

Temporal Logic ◽

Metric Temporal Logic

Download Full-text

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs

A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks

Infinite Runs in Weighted Timed Automata with Energy Constraints

Compositional Abstraction in Real-Time Model Checking

On Scheduling Policies for Streams of Structured Jobs

Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets

Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities

Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains

A Framework for Distributing Real-Time Functions

Some Recent Results in Metric Temporal Logic

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems
Latest Publications