2010 Forum on Specification & Design Languages (FDL 2010)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IET

9782953050431

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Robustness with respect to error specifications

2010 Forum on Specification & Design Languages (FDL 2010) ◽

10.1049/ic.2010.0121 ◽

2010 ◽

Author(s):

B. Jobstmann

Get full-text (via PubEx)

LBSD2: Power and Performance Optimisation

2010 Forum on Specification & Design Languages (FDL 2010) ◽

10.1049/ic.2010.0162 ◽

2010 ◽

Keyword(s):

And Performance

Get full-text (via PubEx)

Modeling time-triggered architecture based safety-critical embedded systems using SystemC

2010 Forum on Specification & Design Languages (FDL 2010) ◽

10.1049/ic.2010.0122 ◽

2010 ◽

Cited By ~ 3

Author(s):

J. Perez ◽

C.F. Nicolas ◽

R. Obermaisser ◽

C. El Salloum

Keyword(s):

Embedded Systems ◽

Safety Critical

Get full-text (via PubEx)

HetMoC: heterogeneous modelling in SystemC

2010 Forum on Specification & Design Languages (FDL 2010) ◽

10.1049/ic.2010.0139 ◽

2010 ◽

Cited By ~ 1

Author(s):

Jun Zhu ◽

I. Sander ◽

A. Jantsch

Get full-text (via PubEx)

Towards abstract analysis techniques for range based system simulations

2010 Forum on Specification & Design Languages (FDL 2010) ◽

10.1049/ic.2010.0146 ◽

2010 ◽

Cited By ~ 2

Author(s):

F. Schupfer ◽

M. Kärgel ◽

C. Grimm ◽

M. Olbrich ◽

E. Barke

Keyword(s):

Analysis Techniques

Get full-text (via PubEx)

Exercises in architecture specification using CaSH

2010 Forum on Specification & Design Languages (FDL 2010) ◽

10.1049/ic.2010.0149 ◽

2010 ◽

Cited By ~ 3

Author(s):

J. Kuper ◽

C. Baaij ◽

M. Kooijman ◽

M. Gerards

Keyword(s):

Architecture Specification

Get full-text (via PubEx)

Towards high-level executable specifications of heterogeneous systems with SystemC-AMS: application to a Manycore PCR-CE lab on chip for DNA sequencing

2010 Forum on Specification & Design Languages (FDL 2010) ◽

10.1049/ic.2010.0154 ◽

2010 ◽

Author(s):

F. Pe^cheux ◽

A. Habib

Keyword(s):

Dna Sequencing ◽

Heterogeneous Systems ◽

Lab On Chip ◽

Executable Specifications ◽

On Chip ◽

High Level

Get full-text (via PubEx)

Modeling switched capacitor sigma delta modulator nonidealities in SystemC-AMS

2010 Forum on Specification & Design Languages (FDL 2010) ◽

10.1049/ic.2010.0155 ◽

2010 ◽

Cited By ~ 6

Author(s):

S. Adhikari ◽

C. Grimm

Keyword(s):

Switched Capacitor ◽

Sigma Delta Modulator ◽

Sigma Delta

Get full-text (via PubEx)

ABD1: Formal Models for Verification and Debug

2010 Forum on Specification & Design Languages (FDL 2010) ◽

10.1049/ic.2010.0161 ◽

2010 ◽

Keyword(s):

Formal Models

Get full-text (via PubEx)

UMES2: Time modelling with MARTE

2010 Forum on Specification & Design Languages (FDL 2010) ◽

10.1049/ic.2010.0171 ◽

2010 ◽

Get full-text (via PubEx)

2010 Forum on Specification & Design Languages (FDL 2010)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IET

Robustness with respect to error specifications

LBSD2: Power and Performance Optimisation

Modeling time-triggered architecture based safety-critical embedded systems using SystemC

HetMoC: heterogeneous modelling in SystemC

Towards abstract analysis techniques for range based system simulations

Exercises in architecture specification using CaSH

Towards high-level executable specifications of heterogeneous systems with SystemC-AMS: application to a Manycore PCR-CE lab on chip for DNA sequencing

Modeling switched capacitor sigma delta modulator nonidealities in SystemC-AMS

ABD1: Formal Models for Verification and Debug

UMES2: Time modelling with MARTE

2010 Forum on Specification & Design Languages (FDL 2010)
Latest Publications