Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662452301, 9783662452318

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Formalism for Stochastic Adaptive Systems

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-45231-8_12 ◽

2014 ◽

pp. 160-176 ◽

Cited By ~ 2

Author(s):

Benoît Boyer ◽

Axel Legay ◽

Louis-Marie Traonouez

Keyword(s):

Adaptive Systems

Download Full-text

Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-45231-8_39 ◽

2014 ◽

pp. 486-488 ◽

Cited By ~ 2

Author(s):

George Chatzieleftheriou ◽

Apostolos Chatzopoulos ◽

Panagiotis Katsaros

Keyword(s):

Static Analysis ◽

Analysis Tools

Download Full-text

Introduction to Track on Engineering Virtualized Services

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-45231-8_1 ◽

2014 ◽

pp. 1-4

Author(s):

Reiner Hähnle ◽

Einar Broch Johnsen

Download Full-text

Processes and Data Integration in the Networked Healthcare

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-45231-8_43 ◽

2014 ◽

pp. 524-525

Author(s):

Tiziana Margaria ◽

Christoph Rasche

Keyword(s):

Data Integration

Download Full-text

Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-45231-8_41 ◽

2014 ◽

pp. 493-508 ◽

Cited By ~ 11

Author(s):

Markus Schordan ◽

Pei-Hung Lin ◽

Dan Quinlan ◽

Louis-Noël Pouchet

Keyword(s):

State Space ◽

Finite State ◽

Finite State Space

Download Full-text

Programming with Actors in Java 8

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-45231-8_4 ◽

2014 ◽

pp. 37-53 ◽

Cited By ~ 4

Author(s):

Behrooz Nobakht ◽

Frank S. de Boer

Download Full-text

SWEET – A Tool for WCET Flow Analysis (Extended Abstract)

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-45231-8_38 ◽

2014 ◽

pp. 482-485 ◽

Cited By ~ 10

Author(s):

Björn Lisper

Keyword(s):

Flow Analysis

Download Full-text

Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-45231-8_30 ◽

2014 ◽

pp. 391-403 ◽

Cited By ~ 24

Author(s):

Sara Bufo ◽

Ezio Bartocci ◽

Guido Sanguinetti ◽

Massimo Borelli ◽

Umberto Lucangelo ◽

...

Keyword(s):

Intensive Care ◽

Temporal Logic ◽

Assisted Ventilation ◽

Intensive Care Patients

Download Full-text

Dr. Watson? Balancing Automation and Human Expertise in Healthcare Delivery

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-45231-8_46 ◽

2014 ◽

pp. 561-569 ◽

Cited By ~ 2

Author(s):

Mark Gaynor ◽

George Wyner ◽

Amar Gupta

Keyword(s):

Healthcare Delivery

Download Full-text

Model Checking Hybrid Systems

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-662-45231-8_28 ◽

2014 ◽

pp. 385-386 ◽

Cited By ~ 6

Author(s):

Edmund M. Clarke ◽

Sicun Gao

Keyword(s):

Model Checking ◽

Hybrid Systems

Download Full-text

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Formalism for Stochastic Adaptive Systems

Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II

Introduction to Track on Engineering Virtualized Services

Processes and Data Integration in the Networked Healthcare

Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations

Programming with Actors in Java 8

SWEET – A Tool for WCET Flow Analysis (Extended Abstract)

Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients

Dr. Watson? Balancing Automation and Human Expertise in Healthcare Delivery

Model Checking Hybrid Systems

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - Lecture Notes in Computer Science
Latest Publications