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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642165573, 9783642165580

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Workflow Composition and Enactment Using jORCA

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

10.1007/978-3-642-16558-0_28 ◽

2010 ◽

pp. 328-339 ◽

Cited By ~ 6

Author(s):

Johan Karlsson ◽

Victoria Martín-Requena ◽

Javier Ríos ◽

Oswaldo Trelles

Keyword(s):

Workflow Composition

Download Full-text

Inferring Compact Models of Communication Protocol Entities

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

10.1007/978-3-642-16558-0_53 ◽

2010 ◽

pp. 658-672 ◽

Cited By ~ 9

Author(s):

Therese Bohlin ◽

Bengt Jonsson ◽

Siavash Soleimanifard

Keyword(s):

Communication Protocol ◽

Compact Models

Download Full-text

Inference and Abstraction of the Biometric Passport

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

10.1007/978-3-642-16558-0_54 ◽

2010 ◽

pp. 673-686 ◽

Cited By ~ 38

Author(s):

Fides Aarts ◽

Julien Schmaltz ◽

Frits Vaandrager

Download Full-text

Learning Techniques for Software Verification and Validation – Special Track at ISoLA 2010

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

10.1007/978-3-642-16558-0_51 ◽

2010 ◽

pp. 640-642 ◽

Cited By ~ 2

Author(s):

Dimitra Giannakopoulou ◽

Corina S. Păsăreanu

Keyword(s):

Software Verification ◽

Verification And Validation ◽

Learning Techniques ◽

Software Verification And Validation

Download Full-text

Relay Placement Problem in Smart Grid Deployment

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

10.1007/978-3-642-16558-0_35 ◽

2010 ◽

pp. 411-424 ◽

Cited By ~ 5

Author(s):

Wei-Lun Wang ◽

Quincy Wu

Keyword(s):

Smart Grid ◽

Placement Problem ◽

Relay Placement

Download Full-text

Semantically-Guided Workflow Construction in Taverna: The SADI and BioMoby Plug-Ins

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

10.1007/978-3-642-16558-0_26 ◽

2010 ◽

pp. 301-312 ◽

Cited By ~ 13

Author(s):

David Withers ◽

Edward Kawas ◽

Luke McCarthy ◽

Benjamin Vandervalk ◽

Mark Wilkinson

Download Full-text

Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset

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

10.1007/978-3-642-16558-0_10 ◽

2010 ◽

pp. 90-105 ◽

Cited By ~ 18

Author(s):

Twan Basten ◽

Emiel van Benthum ◽

Marc Geilen ◽

Martijn Hendriks ◽

Fred Houben ◽

...

Keyword(s):

Embedded Systems ◽

Design Space Exploration ◽

Design Space ◽

Space Exploration ◽

Model Driven

Download Full-text

A Distributed Dynamics for WebGraph Decontamination

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

10.1007/978-3-642-16558-0_39 ◽

2010 ◽

pp. 462-472 ◽

Cited By ~ 3

Author(s):

Vanessa C. F. Gonçalves ◽

Priscila M. V. Lima ◽

Nelson Maculan ◽

Felipe M. G. França

Download Full-text

A Web-Based Framework for Collaborative Innovation

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

10.1007/978-3-642-16558-0_38 ◽

2010 ◽

pp. 447-461 ◽

Cited By ~ 2

Author(s):

Donald Cowan ◽

Paulo Alencar ◽

Fred McGarry ◽

Carlos Lucena ◽

Ingrid Nunes

Keyword(s):

Web Based ◽

Collaborative Innovation

Download Full-text

Telco Service Delivery Platforms in the Last Decade - A R&D Perspective

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

10.1007/978-3-642-16558-0_31 ◽

2010 ◽

pp. 367-374

Author(s):

Sandford Bessler

Keyword(s):

Service Delivery

Download Full-text

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification, and ValidationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Workflow Composition and Enactment Using jORCA

Inferring Compact Models of Communication Protocol Entities

Inference and Abstraction of the Biometric Passport

Learning Techniques for Software Verification and Validation – Special Track at ISoLA 2010

Relay Placement Problem in Smart Grid Deployment

Semantically-Guided Workflow Construction in Taverna: The SADI and BioMoby Plug-Ins

Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset

A Distributed Dynamics for WebGraph Decontamination

A Web-Based Framework for Collaborative Innovation

Telco Service Delivery Platforms in the Last Decade - A R&D Perspective

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