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

9783642410703, 9783642410710

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Toward the Revision of CTL Models through Kripke Modal Transition Systems

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

10.1007/978-3-642-41071-0_9 ◽

2013 ◽

pp. 115-130 ◽

Cited By ~ 3

Author(s):

Paulo T. Guerra ◽

Aline Andrade ◽

Renata Wassermann

Keyword(s):

Transition Systems ◽

Modal Transition Systems

Download Full-text

Unifying Theories of Logic and Specification

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

10.1007/978-3-642-41071-0_3 ◽

2013 ◽

pp. 18-33 ◽

Cited By ~ 2

Author(s):

Victor Bandur ◽

Jim Woodcock

Download Full-text

Generating Protocol Software from CPN Models Annotated with Pragmatics

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

10.1007/978-3-642-41071-0_16 ◽

2013 ◽

pp. 227-242 ◽

Cited By ~ 6

Author(s):

Kent Inge Fagerland Simonsen ◽

Lars M. Kristensen ◽

Ekkart Kindler

Download Full-text

A Refinement Framework for Autonomous Agents

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

10.1007/978-3-642-41071-0_12 ◽

2013 ◽

pp. 163-178 ◽

Cited By ~ 1

Author(s):

Qin Li ◽

Graeme Smith

Keyword(s):

Autonomous Agents

Download Full-text

A Formal Semantics for SysML Activity Diagrams

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

10.1007/978-3-642-41071-0_13 ◽

2013 ◽

pp. 179-194 ◽

Cited By ~ 2

Author(s):

Lucas Lima ◽

André Didier ◽

Márcio Cornélio

Keyword(s):

Formal Semantics ◽

Activity Diagrams ◽

Sysml Activity Diagrams

Download Full-text

Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking

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

10.1007/978-3-642-41071-0_8 ◽

2013 ◽

pp. 99-114 ◽

Cited By ~ 5

Author(s):

Christoph Gladisch ◽

Shmuel Tyszberowicz

Keyword(s):

Data Structure ◽

Formal Verification ◽

Linked Data

Download Full-text

On the Use of SPIN for Studying the Behavior of Nested Petri Nets

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

10.1007/978-3-642-41071-0_7 ◽

2013 ◽

pp. 83-98 ◽

Cited By ~ 2

Author(s):

Mirtha Lina Fernández Venero ◽

Flávio Soares Corrêa da Silva

Keyword(s):

Petri Nets

Download Full-text

Institution-Based Semantics for MOF and QVT-Relations

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

10.1007/978-3-642-41071-0_4 ◽

2013 ◽

pp. 34-50 ◽

Cited By ~ 2

Author(s):

Daniel Calegari ◽

Nora Szasz

Keyword(s):

Qvt Relations

Download Full-text

Deductive Generalization

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

10.1007/978-3-642-41071-0_2 ◽

2013 ◽

pp. 17-17

Author(s):

Kenneth L. McMillan

Download Full-text

Algebraic Graph Transformations with Inheritance

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

10.1007/978-3-642-41071-0_15 ◽

2013 ◽

pp. 211-226 ◽

Cited By ~ 4

Author(s):

Michael Löwe ◽

Harald König ◽

Christoph Schulz ◽

Marius Schultchen

Keyword(s):

Graph Transformations

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Toward the Revision of CTL Models through Kripke Modal Transition Systems

Unifying Theories of Logic and Specification

Generating Protocol Software from CPN Models Annotated with Pragmatics

A Refinement Framework for Autonomous Agents

A Formal Semantics for SysML Activity Diagrams

Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking

On the Use of SPIN for Studying the Behavior of Nested Petri Nets

Institution-Based Semantics for MOF and QVT-Relations

Deductive Generalization

Algebraic Graph Transformations with Inheritance

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