Florence Maraninchi

1.5k total citations
27 papers, 382 citations indexed

About

Florence Maraninchi is a scholar working on Hardware and Architecture, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Florence Maraninchi has authored 27 papers receiving a total of 382 indexed citations (citations by other indexed papers that have themselves been cited), including 18 papers in Hardware and Architecture, 15 papers in Computational Theory and Mathematics and 6 papers in Computer Networks and Communications. Recurrent topics in Florence Maraninchi's work include Embedded Systems Design Techniques (16 papers), Formal Methods in Verification (15 papers) and Logic, programming, and type systems (5 papers). Florence Maraninchi is often cited by papers focused on Embedded Systems Design Techniques (16 papers), Formal Methods in Verification (15 papers) and Logic, programming, and type systems (5 papers). Florence Maraninchi collaborates with scholars based in France, Switzerland and United States. Florence Maraninchi's co-authors include Laurent Maillet-Contoz, Matthieu Moy, Christos Sofronis, Stavros Tripakis, Norman Scaife, P. Caspi, Karine Altisen, Muriel Jourdan, Laurent Mounier and Pascal Raymond and has published in prestigious journals such as Communications of the ACM, ACM SIGPLAN Notices and Science of Computer Programming.

In The Last Decade

Florence Maraninchi

25 papers receiving 338 citations

Peers

Countries citing papers authored by Florence Maraninchi

Since Specialization

Citations

This map shows the geographic impact of Florence Maraninchi's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Florence Maraninchi with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Florence Maraninchi more than expected).

Fields of papers citing papers by Florence Maraninchi

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Florence Maraninchi. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Florence Maraninchi. The network helps show where Florence Maraninchi may publish in the future.

Co-authorship network of co-authors of Florence Maraninchi

This figure shows the co-authorship network connecting the top 25 collaborators of Florence Maraninchi. A scholar is included among the top collaborators of Florence Maraninchi based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Florence Maraninchi. Florence Maraninchi is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work	Indexed citations
1	Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form 2024 ·Technische Universität Berlin – Universitätsbibliothek ·Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi	0
2	Let us not put all our eggs in one basket 2022 ·Communications of the ACM ·Florence Maraninchi	0
3	System-Level Modeling of Energy in TLM for Early Validation of Power and Thermal Management 2013 ·Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 ·(unknown), Matthieu Moy, Florence Maraninchi	2
4	Synchronous programming of device drivers for global resource control in embedded operating systems 2013 ·ACM Transactions on Embedded Computing Systems ·(unknown), Florence Maraninchi, Laurent Mounier	3
5	Formal and executable contracts for transaction-level modeling in SystemC 2009 ·(unknown), Florence Maraninchi, (unknown)	3
6	42: Programmable Models of Computation for the Component-Based Virtual Prototyping of Heterogeneous Embedded Systems 2009 ·Florence Maraninchi	1
7	Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems 2009 ·EURASIP Journal on Embedded Systems ·Florence Maraninchi, Michael Mendler, Marc Pouzet, Alain Girault, Éric Rutten	1
8	A method for the efficient development of timed and untimed transaction-level models of systems-on-chip 2008 ·(unknown), Florence Maraninchi, Laurent Maillet-Contoz	18
9	Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework 2006 ·Science of Computer Programming ·Karine Altisen, Florence Maraninchi, (unknown)	14
10	On the Importance of Modeling the Environment when Analyzing Sensor Networks 2006 ·(unknown), Florence Maraninchi, (unknown)	4
11	Interference of Larissa Aspects 2006 ·(unknown), Karine Altisen, Florence Maraninchi	3
12	Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip 2006 ·HAL (Le Centre pour la Communication Scientifique Directe) ·(unknown), Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy	29
13	LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level 2005 ·Design Automation for Embedded Systems ·Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz	28
14	Defining and translating a "safe" subset of simulink/stateflow into lustre 2004 ·Norman Scaife, Christos Sofronis, P. Caspi, Stavros Tripakis, Florence Maraninchi	73
15	Logical-time contracts for reactive embedded components 2004 ·HAL (Le Centre pour la Communication Scientifique Directe) ·Florence Maraninchi, (unknown)	6
16	Effective programming language support for discrete-continuous mode-switching control systems 2003 ·Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) ·Florence Maraninchi, (unknown), Éric Rutten	4
17	Mode-Automata: a new domain-specific construct for the development of safe critical systems 2002 ·Science of Computer Programming ·Florence Maraninchi, (unknown)	62
18	Static timing analysis of real-time systems 1995 ·ACM SIGPLAN Notices ·Muriel Jourdan, Florence Maraninchi	1
19	Studying Synchronous Communication Mechanisms by Abstractions 1994 ·Muriel Jourdan, Florence Maraninchi	1
20	The Argos Language: Graphical Representation of Automata and Description of Reactive Systems 1991 ·Florence Maraninchi	36

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact