2008 Forum on Specification, Verification and Design Languages
Latest Publications

TOTAL DOCUMENTS

57

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By IEEE

9781424422647

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Using C# attributes to describe hardware artefacts within kiwi

2008 Forum on Specification, Verification and Design Languages ◽

10.1109/fdl.2008.4641454 ◽

2008 ◽

Author(s):

David Greaves ◽

Satnam Singh

Download Full-text

Using SystemC for an extended MATLAB/Simulink verification flow

2008 Forum on Specification, Verification and Design Languages ◽

10.1109/fdl.2008.4641449 ◽

2008 ◽

Author(s):

Kai Hylla ◽

Jan-Hendrik Oetjens ◽

Wolfgang Nebel

Keyword(s):

Matlab Simulink

Download Full-text

Event-triggered vs. time-triggered communications with UML MARTE

2008 Forum on Specification, Verification and Design Languages ◽

10.1109/fdl.2008.4641438 ◽

2008 ◽

Author(s):

Frederic Mallet ◽

Robert de Simone ◽

Laurent Rioux

Keyword(s):

Uml Marte ◽

Event Triggered

Download Full-text

Formal specification of delta MINs for MPSOC in the ACL2 logic

2008 Forum on Specification, Verification and Design Languages ◽

10.1109/fdl.2008.4641461 ◽

2008 ◽

Author(s):

Maissa Elleuch ◽

Yassine Aydi ◽

Mohamed Abid

Keyword(s):

Formal Specification

Download Full-text

A SYSTEMC language extension for high-level reconfiguration modelling

2008 Forum on Specification, Verification and Design Languages ◽

10.1109/fdl.2008.4641421 ◽

2008 ◽

Author(s):

Andreas Raabe ◽

Armin Felke

Keyword(s):

Language Extension ◽

Download Full-text

Comparison of ASCET and UML - Preparations for an abstract software architecture

2008 Forum on Specification, Verification and Design Languages ◽

10.1109/fdl.2008.4641451 ◽

2008 ◽

Author(s):

D. Ahrens ◽

A. Pfeiffer ◽

T. Bertram

Keyword(s):

Software Architecture

Download Full-text

A requirements-driven simulation framework for communication infrastructures design

2008 Forum on Specification, Verification and Design Languages ◽

10.1109/fdl.2008.4641431 ◽

2008 ◽

Author(s):

Alessandro Meroni ◽

Vincenzo Rana ◽

Marco Domenico Santambrogio ◽

Francesco Bruschi

Keyword(s):

Simulation Framework

Download Full-text

Methodologies for high-level modelling and evaluation in the automotive domain

2008 Forum on Specification, Verification and Design Languages ◽

10.1109/fdl.2008.4641424 ◽

2008 ◽

Author(s):

S. Hoelldampf ◽

D. Zaum ◽

M. Olbrich ◽

E. Barke ◽

I. Neumann ◽

...

Keyword(s):

Download Full-text

Symbolic quasi-static scheduling of actor-oriented SystemC models

2008 Forum on Specification, Verification and Design Languages ◽

10.1109/fdl.2008.4641412 ◽

2008 ◽

Author(s):

Jens Gladigau ◽

Christian Haubelt ◽

Jurgen Teich

Keyword(s):

Static Scheduling

Download Full-text

UML 2.0 interactions with OCL/RT constraints

2008 Forum on Specification, Verification and Design Languages ◽

10.1109/fdl.2008.4641440 ◽

2008 ◽

Author(s):

Daniel Calegari Garcia ◽

Maria Victoria Cengarle

Keyword(s):

Download Full-text