Formal Methods: Applications and Technology - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540709510, 9783540709527

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment

Formal Methods: Applications and Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70952-7_3 ◽

2007 ◽

pp. 35-50

Author(s):

Kai Lampka ◽

Markus Siegle ◽

Max Walter

Keyword(s):

Efficient Tool ◽

Telecommunication Equipment

Download Full-text

Can Saturation Be Parallelised?

Formal Methods: Applications and Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70952-7_23 ◽

2007 ◽

pp. 331-346 ◽

Author(s):

Jonathan Ezekiel ◽

Gerald Lüttgen ◽

Radu Siminiceanu

Download Full-text

Blasting Linux Code

Formal Methods: Applications and Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70952-7_14 ◽

2007 ◽

pp. 211-226 ◽

Author(s):

Jan Tobias Mühlberg ◽

Gerald Lüttgen

Download Full-text

UML 2.0 State Machines: Complete Formal Semantics Via core state machine

Formal Methods: Applications and Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70952-7_16 ◽

2007 ◽

pp. 244-260 ◽

Author(s):

Harald Fecher ◽

Jens Schönborn

Keyword(s):

Formal Semantics ◽

State Machine ◽

State Machines ◽

Download Full-text

Automated Incremental Synthesis of Timed Automata

Formal Methods: Applications and Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70952-7_17 ◽

2007 ◽

pp. 261-276 ◽

Author(s):

Borzoo Bonakdarpour ◽

Sandeep S. Kulkarni

Keyword(s):

Download Full-text

Evaluating Quality of Service for Service Level Agreements

Formal Methods: Applications and Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70952-7_12 ◽

2007 ◽

pp. 181-194 ◽

Author(s):

Allan Clark ◽

Stephen Gilmore

Keyword(s):

Quality Of Service ◽

Service Level ◽

Service Level Agreements

Download Full-text

On Combining Partial Order Reduction with Fairness Assumptions

Formal Methods: Applications and Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70952-7_6 ◽

2007 ◽

pp. 84-99 ◽

Author(s):

Luboš Brim ◽

Ivana Černá ◽

Pavel Moravec ◽

Jiří Šimša

Keyword(s):

Partial Order ◽

Order Reduction ◽

Partial Order Reduction

Download Full-text

Discovering Symmetries

Formal Methods: Applications and Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70952-7_5 ◽

2007 ◽

pp. 67-83 ◽

Author(s):

Hassen Saïdi

Download Full-text

Parallel SAT Solving in Bounded Model Checking

Formal Methods: Applications and Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70952-7_21 ◽

2007 ◽

pp. 301-315 ◽

Author(s):

Erika Ábrahám ◽

Tobias Schubert ◽

Bernd Becker ◽

Martin Fränzle ◽

Christian Herde

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Download Full-text

Verifying VHDL Designs with Multiple Clocks in SMV

Formal Methods: Applications and Technology - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70952-7_10 ◽

2007 ◽

pp. 148-164

Author(s):

A. Smrčka ◽

V. Řehák ◽

T. Vojnar ◽

D. Šafránek ◽

P. Matoušek ◽

...

Download Full-text