|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 28 occurrences of 24 keywords
|
|
|
|
|
Results
Found 53 publication records. Showing 53 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jean-Vivien Millo, Robert de Simone |
Periodic scheduling of marked graphs using balanced binary words  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Dumitru Potop-Butucaru, Yves Sorel, Robert de Simone, Jean-Pierre Talpin |
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Mallet, Charles André, Robert de Simone |
Logical time: specification vs. implementation. |
ACM SIGSOFT Software Engineering Notes |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Perseil, Jean-Michel Bruel, Agusti Canals, Robert de Simone, Sébastien Gérard, Elie Najm |
Introduction to special issue: papers from UML&FM'2009. |
ISSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Mallet, Julien DeAntoni, Charles André, Robert de Simone |
The clock constraint specification language for building timed causality models - Application to synchronous data flow graphs. |
ISSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Boucaron, Anthony Coadou, Robert de Simone |
Latency-Insensitive Design: Retry Relay-Station and Fusion Shell. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin |
Clock-driven distributed real-time implementation of endochronous synchronous programs. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
clock calculus, distributed real-time scheduling, intermediate representation, synchronous model |
| 1 | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin |
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
synchronous specification, asynchronous implementation, weak endochrony, GALS |
| 1 | Aamir Mehut Khan, Frédéric Mallet, Charles André, Robert de Simone |
IP-XACT components with abstract time characterization. |
FDL |
2009 |
DBLP BibTeX RDF |
|
| 1 | Alain Girault, Robert de Simone |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Mallet, Robert de Simone |
MARTE: a profile for RT/E systems modeling, analysis--and simulation? |
SimuTools |
2008 |
DBLP DOI BibTeX RDF |
UML profile, MARTE |
| 1 | Frédéric Mallet, Robert de Simone, Laurent Rioux |
Event-Triggered vs. Time-Triggered Communications with UML MARTE. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Su-Young Lee 0002, Frédéric Mallet, Robert de Simone |
Dealing with AADL End-to-End Flow Latency with UML MARTE. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Boucaron, Robert de Simone, Jean-Vivien Millo |
Formal Methods for Scheduling of Latency-Insensitive Designs. |
EURASIP J. Emb. Sys. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel |
Necessary and sufficient conditions for deterministic desynchronization. |
EMSOFT |
2007 |
DBLP DOI BibTeX RDF |
endochrony, execution machine, reaction to signal absence, correctness, determinism, GALS, desynchronization, kahn process network |
| 1 | Robert de Simone, Charles André |
Time Modeling in MARTE. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Mallet, Charles André, Robert de Simone |
Modeling of immediate vs. delayed data communications: from AADL to UML Marte. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Charles André, Frédéric Mallet, Robert de Simone |
Modeling Time(s). |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
real-time embedded, UML profile |
| 1 | Madeleine Faugère, Thimothée Bourbeau, Robert de Simone, Sébastien Gérard |
MARTE: Also an UML Profile for Modeling AADL Applications. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Vecchié, Robert de Simone |
Syntax-driven optimisations for reachable state space construction of ESTEREL programs. |
IJES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Vecchié, Robert de Simone |
Syntax-driven Behavior Partitioning for Model-checking of Esterel Programs. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Boucaron, Jean-Vivien Millo, Robert de Simone |
Another Glance at Relay Stations in Latency-Insensitive Design. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert de Simone, Charles André |
Towards a "Synchronous Reactive" UML profile? |
STTT |
2006 |
DBLP DOI BibTeX RDF |
UML, Embedded systems, Real-time, Synchronous, Reactive |
| 1 | Julien Boucaron, Robert de Simone, Jean-Vivien Millo |
Latency-insensitive design and central repetitive scheduling. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi |
Guidelines for a graduate curriculum on embedded software and systems. |
ACM Trans. Embedded Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Graduate curriculum, architecture and design, extrafunctional properties, distributed systems, embedded systems, real-time, control, labs |
| 1 | Olivier Tardieu, Robert de Simone |
Loops in esterel. |
ACM Trans. Embedded Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
static analysis, code generation, Synchronous languages |
| 1 | Arnaud Cuccuru, Robert de Simone, Thierry Saunier, Günther Siegel, Yves Sorel |
P2I: An Innovative MDA Methodology for Embedded Real-Time System. |
DSD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Vecchié, Robert de Simone |
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Tardieu, Robert de Simone |
Curing schizophrenia by program rewriting in Esterel. |
MEMOCODE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone |
The synchronous languages 12 years later. |
Proceedings of the IEEE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Dumitru Potop-Butucaru, Robert de Simone |
Optimizations for Faster Execution of Esterel Programs. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Tardieu, Robert de Simone |
Instantaneous Termination in Pure Esterel. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi, Robert de Simone |
Ninth International Conference on Concurrency Theory 1998 - Editorial. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone |
ESTEREL: a formal method applied to avionic software development. |
Sci. Comput. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Sangiorgi, Robert de Simone (eds.) |
CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings |
CONCUR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Boussinot, Robert de Simone |
The SL Synchronous Language. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
synchronous programming languages, Parallelism, concurrency, automata, reactive systems |
| 1 | Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone |
The FC2TOOLS Set (Tool Demonstration). |
TACAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone |
The FC2TOOLS Set. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone |
The FC2TOOLS Set. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Amar Bouali, Jean-Paul Marmorat, Robert de Simone, Horia Toma |
Verifying Synchronous Reactive Systems Programmed in ESTEREL. |
FTRTFT |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Monica Lara de Souza, Robert de Simone |
Using PO Methods for Verfying Behavioural Equivalences. |
FORTE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone |
Model-Based Verification Methods and Tools (Abstract). |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert de Simone, Annie Ressouche |
Compositional Semantics of ESTEREL and Verification by Compositional Reductions. |
CAV |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Valérie Roy, Robert de Simone |
Auto/Autograph. |
Formal Methods in System Design |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Amar Bouali, Robert de Simone |
Symbolic Bisimulation Minimisation. |
CAV |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Amar Bouali, Robert de Simone |
Causal Models for Rational Algebraic Processes. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Valérie Roy, Robert de Simone |
Auto/Autograph. |
CAV |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Valérie Roy, Robert de Simone, Didier Vergamini |
Process Calculi, from Theory to Practice: Verification Tools. |
Automatic Verification Methods for Finite State Systems |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert de Simone |
Higher-Level Synchronising Devices in Meije-SCCS. |
Theor. Comput. Sci. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Gérard Roucairol, Robert de Simone |
Petri nets and algebraic calculi of processes. |
Applications and Theory in Petri Nets |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Gérard Roucairol, Robert de Simone |
Petri Nets and Algebraic Calculi of Processes. |
STACS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert de Simone |
Langages Infinitaires et Produit de Mixage. |
Theor. Comput. Sci. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert de Simone |
On Meije and SCCS: Infinite Sum Operators VS. Non-Guarded Definitions. |
Theor. Comput. Sci. |
1984 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #53 of 53 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")