|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 11 keywords
|
|
|
|
|
Results
Found 31 publication records. Showing 31 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 | Xiaohong Chen, Jing Liu, Frédéric Mallet, Zhi Jin |
Modeling Timing Requirements in Problem Frames Using CCSL. |
APSEC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Régis Gascon, Frédéric Mallet, Julien DeAntoni |
Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL. |
TIME |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers, Frédéric Mallet, Dominique Bertrand, Sébastien Faucou, Abdelhafid Zitouni, Mahmoud Boufaïda, Lionel Seinturier, Joël Champeau, Thomas Abdoul, Peter H. Feiler, Chokri Mraidha, Sébastien Gérard |
An Efficient Modeling and Execution Framework for Complex Systems Development. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Yin, Frédéric Mallet, Jing Liu |
Verification of MARTE/CCSL Time Requirements in Promela/SPIN. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kelly Garcés, Julien DeAntoni, Frédéric Mallet |
A Model-Based Approach for Reconciliation of Polychronous Execution Traces. |
EUROMICRO-SEAA |
2011 |
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 | Frédéric Mallet, Charles André, François Lagarde |
Un processus automatique pour concevoir les profils UML. Un profil UML pour la modélisation multiniveau. |
Technique et Science Informatiques |
2010 |
DBLP BibTeX RDF |
|
| 1 | Calin Glitia, Julien DeAntoni, Frédéric Mallet |
Logical Time at Work: Capturing Data Dependencies and Platform Constraints. |
FDL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Charles André, Frédéric Mallet, Julien DeAntoni |
VHDL Observers for Clock Constraint Checking. |
SIES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien DeAntoni, Frédéric Mallet, Frédéric Thomas, Gonzague Reydet, Jean-Philippe Babau, Chokri Mraidha, Ludovic Gauthier, Laurent Rioux, Nicolas Sordon |
RT-simex: retro-analysis of execution traces. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Mallet, François Lagarde, Charles André, Sébastien Gérard, François Terrier |
An Automated Process for Implementing Multilevel Domain Models. |
SLE |
2009 |
DBLP DOI BibTeX RDF |
|
| 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 | Frédéric Mallet, Charles André |
On the Semantics of UML/MARTE Clock Constraints. |
ISORC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Mallet, Marie-Agnès Peraldi-Frati, Charles André |
Marte CCSL to Execute East-ADL Timing Requirements. |
ISORC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Mallet, Charles André, Julien DeAntoni |
Executing AADL Models with UML/MARTE. |
ICECCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles André, Frédéric Mallet |
Specification and verification of time requirements with CCSL and Esterel. |
LCTES |
2009 |
DBLP DOI BibTeX RDF |
synchronous languages, uml, marte, time model |
| 1 | Frédéric Mallet |
Clock constraint specification language: specifying clock constraints with UML/MARTE. |
ISSE |
2008 |
DBLP DOI BibTeX RDF |
Unified modeling language, Constraints, MARTE, Time model |
| 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 | 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, Marie-Agnès Peraldi-Frati |
A multiform time approach to real-time system modeling; Application to an automotive system. |
SIES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles André, Frédéric Mallet, Marie-Agnès Peraldi-Frati |
Multiform Time in UML for Real-time Embedded Applications. |
RTCSA |
2007 |
DBLP DOI 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 | Sadaf Alam, Roland N. Ibbett, Frédéric Mallet |
Simulation of a computer architecture for quantum chromodynamics calculations. |
ACM Crossroads |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Mallet, Fernand Boéri, Jean-François Duboc |
SEP: Simulation framework to evaluate digital hardware architectures. |
ESM |
2000 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Mallet, Daniel Gaffé, Fernand Boéri |
Concurrent Control Systems: From Grafcet to VHDL. |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
GRAFCET, programmable components, Modelling, FPGA, Specification, VHDL |
| 1 | Frédéric Mallet, Fernand Boéri |
Esterel and Java in an Object-Oriented Modelling and Simulation Framework for Heterogeneous Software and Hardware Systems The SEP Approach. |
EUROMICRO |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Mallet, Fernand Boéri, Jean-François Duboc |
Hardware Modelling and Simulation Using an Object-Oriented Method. |
ESM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Mallet, Fernand Boéri, Jean-François Duboc |
Hardware Architecture Modelling Using an Object-Oriented Method. |
EUROMICRO |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #31 of 31 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")