Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Netherlands

9781402062537, 9781402062544

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Compositional Reactive Semantics of SystemC and Verification with RuleBase

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems ◽

10.1007/978-1-4020-6254-4_18 ◽

2007 ◽

pp. 227-243 ◽

Cited By ~ 5

Author(s):

Rudrapatna K. Shyamasundar ◽

Frederic Doucet ◽

Rajesh K. Gupta ◽

Ingolf H. Krüger

Download Full-text

Can Semi-Formal be Made More Formal?

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems ◽

10.1007/978-1-4020-6254-4_16 ◽

2007 ◽

pp. 193-211 ◽

Cited By ~ 2

Author(s):

Ansuman Banerjee ◽

Pallab Dasgupta ◽

Partha P. Chakrabarti

Download Full-text

An Abstraction Technique for Real-Time Verification

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems ◽

10.1007/978-1-4020-6254-4_1 ◽

2007 ◽

pp. 1-17 ◽

Cited By ~ 2

Author(s):

Edmund M. Clarke ◽

Flavio Lerda ◽

Muralidhar Talupur

Keyword(s):

Real Time

Download Full-text

Approximate Symbolic Reachability of Networks of Transition Systems

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems ◽

10.1007/978-1-4020-6254-4_10 ◽

2007 ◽

pp. 117-136 ◽

Cited By ~ 1

Author(s):

Sudeep Juvekar ◽

Ankur Taly ◽

Varun Kanade ◽

Supratik Chakraborty

Keyword(s):

Transition Systems

Download Full-text

Beyond Satisfiability: Extensions and Applications

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems ◽

10.1007/978-1-4020-6254-4_17 ◽

2007 ◽

pp. 213-225

Author(s):

Natarajan Shankar

Download Full-text

Verifiable Design of Asynchronous Software

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems ◽

10.1007/978-1-4020-6254-4_9 ◽

2007 ◽

pp. 115-116

Author(s):

Prakash Chandrasekaran ◽

Christopher L. Conway ◽

Joseph M. Joy ◽

Sriram K. Rajamani

Download Full-text

A Design Methodology for Distributed Real-Time Automotive Applications

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems ◽

10.1007/978-1-4020-6254-4_13 ◽

2007 ◽

pp. 157-174 ◽

Cited By ~ 1

Author(s):

Werner Damm ◽

Alexander Metzner

Keyword(s):

Real Time ◽

Design Methodology ◽

Automotive Applications

Download Full-text

Predicting Failures of and Repairing Inductive Proof Attempts

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems ◽

10.1007/978-1-4020-6254-4_15 ◽

2007 ◽

pp. 177-191

Author(s):

Mahadevan Subramaniam ◽

Deepak Kapur ◽

Stephan Falke

Keyword(s):

Inductive Proof

Download Full-text

All Those Duration Calculi: An Integrated Approach

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems ◽

10.1007/978-1-4020-6254-4_6 ◽

2007 ◽

pp. 67-81

Author(s):

Paritosh K. Pandya

Keyword(s):

Integrated Approach

Download Full-text

Model-Based Development of Embedded Systems: The SysWeaver Approach

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems ◽

10.1007/978-1-4020-6254-4_3 ◽

2007 ◽

pp. 35-46

Author(s):

Raj Rajkumar

Keyword(s):

Embedded Systems ◽

Model Based

Download Full-text

Next Generation Design and Verification Methodologies for Distributed Embedded Control SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Netherlands

Compositional Reactive Semantics of SystemC and Verification with RuleBase

Can Semi-Formal be Made More Formal?

An Abstraction Technique for Real-Time Verification

Approximate Symbolic Reachability of Networks of Transition Systems

Beyond Satisfiability: Extensions and Applications

Verifiable Design of Asynchronous Software

A Design Methodology for Distributed Real-Time Automotive Applications

Predicting Failures of and Repairing Inductive Proof Attempts

All Those Duration Calculi: An Integrated Approach

Model-Based Development of Embedded Systems: The SysWeaver Approach

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
Latest Publications