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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642198281, 9783642198298

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Statistical Verification of Probabilistic Properties with Unbounded Until

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

10.1007/978-3-642-19829-8_10 ◽

2011 ◽

pp. 144-160 ◽

Cited By ~ 24

Author(s):

Håkan L. S. Younes ◽

Edmund M. Clarke ◽

Paolo Zuliani

Keyword(s):

Statistical Verification

Download Full-text

Midlet Navigation Graphs in JML

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

10.1007/978-3-642-19829-8_2 ◽

2011 ◽

pp. 17-32 ◽

Cited By ~ 1

Author(s):

Wojciech Mostowski ◽

Erik Poll

Download Full-text

Automating Refinement of Circus Programs

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

10.1007/978-3-642-19829-8_18 ◽

2011 ◽

pp. 274-290 ◽

Cited By ~ 2

Author(s):

Frank Zeyda ◽

Ana Cavalcanti

Download Full-text

Normalization of Linear Horn Clauses

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

10.1007/978-3-642-19829-8_16 ◽

2011 ◽

pp. 242-257

Author(s):

Thomas Martin Gawlitza ◽

Helmut Seidl ◽

Kumar Neeraj Verma

Keyword(s):

Horn Clauses

Download Full-text

A High-Level Language for Modeling Algorithms and Their Properties

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

10.1007/978-3-642-19829-8_4 ◽

2011 ◽

pp. 49-63 ◽

Cited By ~ 2

Author(s):

Sabina Akhtar ◽

Stephan Merz ◽

Martin Quinson

Keyword(s):

High Level Language ◽

High Level

Download Full-text

A Modal Interface Theory with Data Constraints

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

10.1007/978-3-642-19829-8_6 ◽

2011 ◽

pp. 80-95 ◽

Cited By ~ 6

Author(s):

Sebastian S. Bauer ◽

Rolf Hennicker ◽

Michel Bidoit

Keyword(s):

Interface Theory ◽

Data Constraints

Download Full-text

A Formal Environment Model for Multi-Agent Systems

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

10.1007/978-3-642-19829-8_5 ◽

2011 ◽

pp. 64-79 ◽

Cited By ~ 5

Author(s):

Paulo Salem da Silva ◽

Ana C. V. de Melo

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Environment Model ◽

Multi Agent

Download Full-text

Formal Development of a Cardiac Pacemaker: From Specification to Code

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

10.1007/978-3-642-19829-8_14 ◽

2011 ◽

pp. 210-225 ◽

Cited By ~ 3

Author(s):

Artur O. Gomes ◽

Marcel V. M. Oliveira

Keyword(s):

Cardiac Pacemaker ◽

Formal Development

Download Full-text

A Decision Procedure for Bisimilarity of Generalized Regular Expressions

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

10.1007/978-3-642-19829-8_15 ◽

2011 ◽

pp. 226-241 ◽

Cited By ~ 5

Author(s):

Marcello Bonsangue ◽

Georgiana Caltais ◽

Eugen-Ioan Goriac ◽

Dorel Lucanu ◽

Jan Rutten ◽

...

Keyword(s):

Decision Procedure ◽

Regular Expressions

Download Full-text

Runtime Verification for Generic Classes with ConGu 2

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

10.1007/978-3-642-19829-8_3 ◽

2011 ◽

pp. 33-48 ◽

Cited By ~ 2

Author(s):

Pedro Crispim ◽

Antónia Lopes ◽

Vasco T. Vasconcelos

Keyword(s):

Runtime Verification

Download Full-text

Lecture Notes in Computer Science - Formal Methods: Foundations and ApplicationsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Statistical Verification of Probabilistic Properties with Unbounded Until

Midlet Navigation Graphs in JML

Automating Refinement of Circus Programs

Normalization of Linear Horn Clauses

A High-Level Language for Modeling Algorithms and Their Properties

A Modal Interface Theory with Data Constraints

A Formal Environment Model for Multi-Agent Systems

Formal Development of a Cardiac Pacemaker: From Specification to Code

A Decision Procedure for Bisimilarity of Generalized Regular Expressions

Runtime Verification for Generic Classes with ConGu 2

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