Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642324680, 9783642324697

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32469-7_12 ◽

2012 ◽

pp. 177-191

Author(s):

Vlad Popa ◽

Wolfgang Schwitzer

Keyword(s):

Embedded Systems ◽

Communication Latencies

Download Full-text

Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32469-7_14 ◽

2012 ◽

pp. 207-221 ◽

Cited By ~ 8

Author(s):

Jiří Slabý ◽

Jan Strejček ◽

Marek Trtík

Keyword(s):

Symbolic Execution ◽

State Machines

Download Full-text

Certifying and Reasoning on Cost Annotations in C Programs

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32469-7_3 ◽

2012 ◽

pp. 32-46 ◽

Cited By ~ 9

Author(s):

Nicolas Ayache ◽

Roberto M. Amadio ◽

Yann Régis-Gianas

Keyword(s):

C Programs

Download Full-text

Automated Extraction of Abstract Behavioural Models from JMS Applications

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32469-7_2 ◽

2012 ◽

pp. 16-31 ◽

Cited By ~ 2

Author(s):

Elvira Albert ◽

Bjarte M. Østvold ◽

José Miguel Rojas

Keyword(s):

Automated Extraction

Download Full-text

Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32469-7_11 ◽

2012 ◽

pp. 162-176 ◽

Cited By ~ 3

Author(s):

Luca Ferrucci ◽

Dino Mandrioli ◽

Angelo Morzenti ◽

Matteo Rossi

Keyword(s):

Temporal Logic ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Automated Verification ◽

Standard Analysis ◽

Metric Temporal Logic ◽

Non Standard Analysis

Download Full-text

Real-Time Specification Patterns and Tools

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32469-7_1 ◽

2012 ◽

pp. 1-15 ◽

Cited By ~ 11

Author(s):

Nouha Abid ◽

Silvano Dal Zilio ◽

Didier Le Botlan

Keyword(s):

Real Time

Download Full-text

Waiting for Locks: How Long Does It Usually Take?

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32469-7_4 ◽

2012 ◽

pp. 47-62 ◽

Cited By ~ 6

Author(s):

Christel Baier ◽

Marcus Daum ◽

Benjamin Engel ◽

Hermann Härtig ◽

Joachim Klein ◽

...

Download Full-text

A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32469-7_13 ◽

2012 ◽

pp. 192-206 ◽

Cited By ~ 3

Author(s):

Konrad Siek ◽

Paweł T. Wojciechowski

Keyword(s):

Static Analysis ◽

Upper Bounds ◽

Formal Design

Download Full-text

Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32469-7_6 ◽

2012 ◽

pp. 78-92 ◽

Cited By ~ 14

Author(s):

Jiri Barnat ◽

Jan Beran ◽

Lubos Brim ◽

Tomas Kratochvíla ◽

Petr Ročkai

Keyword(s):

Formal Verification ◽

Tool Chain

Download Full-text

Microcontroller Assembly Synthesis from Timed Automaton Task Specifications

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32469-7_5 ◽

2012 ◽

pp. 63-77 ◽

Cited By ~ 1

Author(s):

Victor Bandur ◽

Wolfram Kahl ◽

Alan Wassyng

Keyword(s):

Timed Automaton

Download Full-text

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems

Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution

Certifying and Reasoning on Cost Annotations in C Programs

Automated Extraction of Abstract Behavioural Models from JMS Applications

Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis

Real-Time Specification Patterns and Tools

Waiting for Locks: How Long Does It Usually Take?

A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java

Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs

Microcontroller Assembly Synthesis from Timed Automaton Task Specifications

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science
Latest Publications