Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(50)
Charles Andre (Charles André)
23
Robert de Simone
12
Julien DeAntoni
6
Fernand Boeri (Fernand Boéri)
5
Marie-agnes Peraldi-frati (Marie-agnès Peraldi-frati)
5
Conferences
(13)
ICECCS
4
EUROMICRO
3
SIES
3
ISORC
2
ESM
2
Journals
(5)
ISSE
2
XRDS
1
SIGPLAN
1
ACM Sigsoft Software Engineering Notes
1
TSI
1
Keywords
(119)
Embed
Subscribe
Academic
Authors
Frederic Mallet
Frederic Mallet (Frédéric Mallet),Université de Nice Sophia Antipolis,Software Engineering,Real-Time & Embedded Systems,Programming Languages
Edit
Frederic Mallet (Frédéric Mallet)
Université de Nice Sophia Antipolis
Publications:
44
|
Citations:
84
Fields:
Software Engineering
,
Real-Time & Embedded Systems
,
Programming Languages
View FAQ about top research areas and Fields of study
Collaborated with
50 co-authors
from 1998 to 2011
|
Cited by
122 authors
Cumulative
Annual
Sort by:
Publications
(44)
BibTeX
|
RIS
|
RefWorks
Download
An Efficient Modeling and Execution Framework for Complex Systems Development
Isabelle Perseil
,
Laurent Pautet
,
Jean-François Rolland
,
Mamoun Filali
,
Didier Delanote
,
Stefan Van Baelen
,
Wouter Joosen
,
Yolande Berbers
,
Fréderic Mallet
,
Dominique Bertrand
,
Sébastien Faucou
,
Abdelhafid Zitouni
http://academic.research.microsoft.com/io.ashx?type=5&id=51050598&selfId1=3041957&selfId2=0&maxNumber=12&query=
Conference:
International Conference on Engineering of Complex Computer Systems - ICECCS
, 2011
Logical time: specification vs. implementation
Frédéric Mallet
,
Charles André
,
Robert de Simone
Journal:
ACM Sigsoft Software Engineering Notes
, pp. 1-8, 2011
Modeling Timing Requirements in Problem Frames Using CCSL
Xiaohong Chen
,
Jing Liu
,
Frederic Mallet
,
Zhi Jin
Conference:
Asia-Pacific Software Engineering Conference - APSEC
, pp. 381-388, 2011
Verification of MARTE/CCSL Time Requirements in Promela/SPIN
Ling Yin
,
Frédéric Mallet
,
Jing Liu
Conference:
International Conference on Engineering of Complex Computer Systems - ICECCS
, 2011
RT-simex: retro-analysis of execution traces
Julien DeAntoni
,
Frédéric Mallet
,
Frédéric Thomas
,
Gonzague Reydet
,
Jean-Philippe Babau
,
Chokri Mraidha
,
Ludovic Gauthier
,
Laurent Rioux
,
Nicolas Sordon
Published in 2010.
Sort by:
Citations
(84 times by 60 publications)
An Efficient Modeling and Execution Framework for Complex Systems Development
Isabelle Perseil
,
Laurent Pautet
,
Jean-François Rolland
,
Mamoun Filali
,
Didier Delanote
,
Stefan Van Baelen
,
Wouter Joosen
,
Yolande Berbers
,
Fréderic Mallet
,
Dominique Bertrand
,
Sébastien Faucou
,
Abdelhafid Zitouni
http://academic.research.microsoft.com/io.ashx?type=5&id=51050598&selfId1=3041957&selfId2=0&maxNumber=12&query=
Conference:
International Conference on Engineering of Complex Computer Systems - ICECCS
, 2011
Polychronous controller synthesis from MARTE CCSL timing specifications
Huafeng Yu
,
Jean-Pierre Talpin
,
Loic Besnard
,
Thierry Gautier
,
Herve Marchand
,
Paul Le Guernic
Conference:
International Conference on Formal Methods and Models for Co-Design - MEMOCODE
, 2011
System synthesis from AADL using Polychrony
Yue Ma
,
Huafeng Yu
,
Thierry Gautier
,
Jean-Pierre Talpin
,
Loic Besnard
,
Paul Le Guernic
Conference:
Electronic System Level Synthesis Conference - ESLsyn
, 2011
SCIPX: A systemc to IP-Xact extraction tool
Jean-Francois Le Tallec
,
Robert de Simone
Conference:
Electronic System Level Synthesis Conference - ESLsyn
, 2011
Pattern-Driven Support for Designing Component-Based Architectural Models
Jagadish Suryadevara
,
Cristina Seceleanu
,
Paul Pettersson
Conference:
Engineering of Computer-Based Systems - ECBS
, 2011
Comments