Florence Maraninchi

Available identifiers

zbMath Open maraninchi.florenceMaRDI QIDQ1870862

List of research outcomes

Publication	Date of Publication	Type
Full simulation coverage for SystemC transaction-level models of systems-on-a-chip	2009-12-02	Paper
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework	2006-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4417893	2003-07-30	Paper
Mode-automata: A new domain-specific construct for the development of safe critical systems.	2003-05-14	Paper
Argos: an automaton-based synchronous language	2001-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Florence Maraninchi