Lecture Notes in Computer Science - FME 2001: Formal Methods for Increasing Software Productivity
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540417910, 9783540452515

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Formal Model for Reasoning About Adaptive QoS-Enabled Middleware

Lecture Notes in Computer Science - FME 2001: Formal Methods for Increasing Software Productivity ◽

10.1007/3-540-45251-6_11 ◽

2001 ◽

pp. 197-221 ◽

Cited By ~ 3

Author(s):

Nalini Venkatasubramanian ◽

Carolyn Talcott ◽

Gul Agha

Keyword(s):

Formal Model ◽

Adaptive Qos

Download Full-text

Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (M C♣)

Lecture Notes in Computer Science - FME 2001: Formal Methods for Increasing Software Productivity ◽

10.1007/3-540-45251-6_22 ◽

2001 ◽

pp. 396-418

Author(s):

Micheál Mac an Airchinnigh

Keyword(s):

Constructive Mathematics ◽

Irish School

Download Full-text

Grammar Adaptation

Lecture Notes in Computer Science - FME 2001: Formal Methods for Increasing Software Productivity ◽

10.1007/3-540-45251-6_32 ◽

2001 ◽

pp. 550-570 ◽

Cited By ~ 27

Author(s):

Ralf Lämmel

Download Full-text

Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System

Lecture Notes in Computer Science - FME 2001: Formal Methods for Increasing Software Productivity ◽

10.1007/3-540-45251-6_26 ◽

2001 ◽

pp. 449-464 ◽

Cited By ~ 2

Author(s):

Laurent Arditi ◽

Hédi Boufaïed ◽

Arnaud Cavanié ◽

Vincent Stehlé

Keyword(s):

System Level ◽

Test Cases ◽

Dsp System

Download Full-text

A Heuristic for Symmetry Reductions with Scalarsets

Lecture Notes in Computer Science - FME 2001: Formal Methods for Increasing Software Productivity ◽

10.1007/3-540-45251-6_30 ◽

2001 ◽

pp. 518-533 ◽

Cited By ~ 6

Author(s):

Dragan Bošnački ◽

Leszek Holenderski ◽

Dennis Dams

Keyword(s):

Symmetry Reductions

Download Full-text

From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study

Lecture Notes in Computer Science - FME 2001: Formal Methods for Increasing Software Productivity ◽

10.1007/3-540-45251-6_25 ◽

2001 ◽

pp. 436-448 ◽

Cited By ~ 4

Author(s):

Manuel J. Fernández Iglesias ◽

Francisco J. González-Castaño ◽

José M. Pousada Carballo ◽

Martín Llamas Nistal ◽

Alberto Romero Feijoo

Keyword(s):

Protocol Engineering

Download Full-text

An Integrated Approach to Specification and Validation of Real-Time Systems

Lecture Notes in Computer Science - FME 2001: Formal Methods for Increasing Software Productivity ◽

10.1007/3-540-45251-6_16 ◽

2001 ◽

pp. 278-299 ◽

Cited By ~ 3

Author(s):

Adnan Sherif ◽

Augusto Sampaio ◽

Sérgio Cavalcante

Keyword(s):

Real Time ◽

Integrated Approach ◽

Real Time Systems ◽

Time Systems

Download Full-text

Improvements in BDD-Based Reachability Analysis of Timed Automata

Lecture Notes in Computer Science - FME 2001: Formal Methods for Increasing Software Productivity ◽

10.1007/3-540-45251-6_18 ◽

2001 ◽

pp. 318-343 ◽

Cited By ~ 19

Author(s):

Dirk Beyer

Keyword(s):

Timed Automata ◽

Reachability Analysis

Download Full-text

Reformulation: a Way to Combine Dynamic Properties and B Refinement

Lecture Notes in Computer Science - FME 2001: Formal Methods for Increasing Software Productivity ◽

10.1007/3-540-45251-6_2 ◽

2001 ◽

pp. 2-19 ◽

Cited By ~ 8

Author(s):

F. Bellegarde ◽

C. Darlot ◽

J. Julliand ◽

O. Kouchnarenko

Keyword(s):

Dynamic Properties

Download Full-text

Avoiding State Explosion for Distributed Systems with Timestamps

Lecture Notes in Computer Science - FME 2001: Formal Methods for Increasing Software Productivity ◽

10.1007/3-540-45251-6_7 ◽

2001 ◽

pp. 119-134 ◽

Cited By ~ 2

Author(s):

Fabrice Derepas ◽

Paul Gastin ◽

David Plainfossé

Keyword(s):

Distributed Systems ◽

State Explosion

Download Full-text

Lecture Notes in Computer Science - FME 2001: Formal Methods for Increasing Software ProductivityLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Formal Model for Reasoning About Adaptive QoS-Enabled Middleware

Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (M C♣)

Grammar Adaptation

Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System

A Heuristic for Symmetry Reductions with Scalarsets

From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study

An Integrated Approach to Specification and Validation of Real-Time Systems

Improvements in BDD-Based Reachability Analysis of Timed Automata

Reformulation: a Way to Combine Dynamic Properties and B Refinement

Avoiding State Explosion for Distributed Systems with Timestamps

Lecture Notes in Computer Science - FME 2001: Formal Methods for Increasing Software Productivity
Latest Publications