Florence Maraninchi
Florence Maraninchi
Professor, Grenoble INP / Ensimag & Verimag Lab
E-mail confirmado em imag.fr - Página inicial
Título
Citado por
Citado por
Ano
The Argos language: Graphical representation of automata and description of reactive systems
F Maraninchi
IEEE Workshop on Visual Languages 3, 1991
2321991
Operational and compositional semantics of synchronous automaton compositions
F Maraninchi
International Conference on Concurrency Theory, 550-564, 1992
2251992
Mode-automata: a new domain-specific construct for the development of safe critical systems
F Maraninchi, Y Rémond
Science of computer programming 46 (3), 219-254, 2003
1642003
Argos: an automaton-based synchronous language
F Maraninchi, Y Rémond
Computer languages 27 (1-3), 61-92, 2001
1622001
Defining and translating a" safe" subset of simulink/stateflow into lustre
N Scaife, C Sofronis, P Caspi, S Tripakis, F Maraninchi
Proceedings of the 4th ACM international conference on Embedded software …, 2004
1482004
Mode-automata: About modes and states for reactive systems
F Maraninchi, Y Rémond
European Symposium On Programming, 185-199, 1998
1431998
A SystemC/TLM Semantics in Promela and Its Possible Applications
C Traulsen, J Cornet, M Moy, F Maraninchi
International SPIN Workshop on Model Checking of Software, 204-222, 2007
1002007
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip
M Moy, F Maraninchi, L Maillet-Contoz
Proceedings of the 5th ACM international conference on Embedded software …, 2005
972005
Using controller-synthesis techniques to build property-enforcing layers
K Altisen, A Clodic, F Maraninchi, E Rutten
European Symposium on Programming, 174-188, 2003
942003
Guidelines for a graduate curriculum on embedded software and systems
P Caspi, A Sangiovanni-Vincentelli, L Almeida, A Benveniste, ...
ACM Transactions on Embedded Computing Systems (TECS) 4 (3), 587-611, 2005
872005
LusSy: A toolbox for the analysis of systems-on-a-chip at the transactional level
M Moy, F Maraninchi, L Maillet-Contoz
Fifth International Conference on Application of Concurrency to System …, 2005
722005
LusSy: an open tool for the analysis of systems-on-a-chip at the transaction level
M Moy, F Maraninchi, L Maillet-Contoz
Design Automation for Embedded Systems 10 (2-3), 73-104, 2005
692005
Argonaute: graphical description, semantics and verification of reactive systems by using a process algebra
F Maraninchi
International Conference on Computer Aided Verification, 38-53, 1989
661989
Automatic generation of schedulings for improving the test coverage of systems-on-a-chip
C Helmstetter, F Maraninchi, L Maillet-Contoz, M Moy
2006 Formal Methods in Computer Aided Design, 171-178, 2006
592006
GLONEMO: Global and accurate formal models for the analysis of ad-hoc sensor networks
L Samper, F Maraninchi, L Mounier, L Mandel
Proceedings of the first international conference on Integrated internet ad …, 2006
582006
A multiparadigm language for reactive systems
M Jourdan, F Lagnier, F Maraninchi, P Raymond
Proceedings of 1994 IEEE International Conference on Computer Languages …, 1994
551994
On the symbolic analysis of combinational loops in circuits and synchronous programs
N Halbwachs, F Maraninchi
Euromicro, 1995
531995
Verifying quantitative real-time properties of synchronous programs
M Jourdan, F Maraninchi, A Olivero
International Conference on Computer Aided Verification, 347-358, 1993
501993
A method for the efficient development of timed and untimed transaction-level models of systems-on-chip
J Cornet, F Maraninchi, L Maillet-Contoz
Proceedings of the conference on Design, automation and test in Europe, 9-14, 2008
492008
Logical-time contracts for reactive embedded components
F Maraninchi, L Morel
Proceedings. 30th Euromicro Conference, 2004., 48-55, 2004
452004
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20