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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642340314, 9783642340321

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

OWL-DL Domain-Models as Abstract Workflows

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

10.1007/978-3-642-34032-1_6 ◽

2012 ◽

pp. 56-66 ◽

Cited By ~ 5

Author(s):

Ian Wood ◽

Ben Vandervalk ◽

Luke McCarthy ◽

Mark D. Wilkinson

Keyword(s):

Domain Models

Software Aspects of Robotic Systems

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

10.1007/978-3-642-34032-1_30 ◽

2012 ◽

pp. 323-323

Author(s):

Jens Knoop ◽

Dietmar Schreiner

Keyword(s):

Robotic Systems

Timing Constraints: Theory Meets Practice

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

10.1007/978-3-642-34032-1_11 ◽

2012 ◽

pp. 78-79

Author(s):

Björn Lisper ◽

Johan Nordlander ◽

Sophie Quinton

Keyword(s):

Timing Constraints

Considerations for Healthcare Applications in a Platform as a Service Environment

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

10.1007/978-3-642-34032-1_9 ◽

2012 ◽

pp. 73-74

Author(s):

Andreas Holubek ◽

Christian Metzger

Keyword(s):

Healthcare Applications ◽

Platform As A Service ◽

Service Environment

Efficient and Robust Shape Retrieval from Deformable Templates

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

10.1007/978-3-642-34032-1_5 ◽

2012 ◽

pp. 42-55

Author(s):

Alexander E. Nezhinsky ◽

Fons J. Verbeek

Keyword(s):

Shape Retrieval ◽

Deformable Templates

Checking Correctness of Services Modeled as Priced Timed Automata

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

10.1007/978-3-642-34032-1_29 ◽

2012 ◽

pp. 308-322 ◽

Cited By ~ 2

Author(s):

Aida Čaušević ◽

Cristina Seceleanu ◽

Paul Pettersson

Keyword(s):

Timed Automata

Product Line Engineering Applied to CBTC Systems Development

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

10.1007/978-3-642-34032-1_22 ◽

2012 ◽

pp. 216-230 ◽

Cited By ~ 3

Author(s):

Alessio Ferrari ◽

Giorgio Oronzo Spagnolo ◽

Giacomo Martelli ◽

Simone Menabeni

Keyword(s):

Systems Development ◽

Product Line ◽

Product Line Engineering ◽

Line Engineering

Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective

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

10.1007/978-3-642-34032-1_20 ◽

2012 ◽

pp. 190-204 ◽

Cited By ~ 7

Author(s):

Francesco Flammini ◽

Stefano Marrone ◽

Nicola Mazzocca ◽

Roberto Nardone ◽

Valeria Vittorini

Keyword(s):

Control Systems ◽

Model Driven ◽

Computer Based

Formal Methods for Intelligent Transportation Systems

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

10.1007/978-3-642-34032-1_19 ◽

2012 ◽

pp. 187-189 ◽

Cited By ~ 6

Author(s):

Alessandro Fantechi ◽

Francesco Flammini ◽

Stefania Gnesi

Keyword(s):

Formal Methods ◽

Intelligent Transportation Systems ◽

Intelligent Transportation ◽

Transportation Systems

Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain

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

10.1007/978-3-642-34032-1_8 ◽

2012 ◽

pp. 70-72

Author(s):

Tiziana Margaria ◽

Steve Boßelmann ◽

Bertold Kujath

Keyword(s):

Role Based ◽

Simple Modeling

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

OWL-DL Domain-Models as Abstract Workflows

Software Aspects of Robotic Systems

Timing Constraints: Theory Meets Practice

Considerations for Healthcare Applications in a Platform as a Service Environment

Efficient and Robust Shape Retrieval from Deformable Templates

Checking Correctness of Services Modeled as Priced Timed Automata

Product Line Engineering Applied to CBTC Systems Development

Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective

Formal Methods for Intelligent Transportation Systems

Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain

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