Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(138)
Bruno Bouyssounouse
27
Marius Bozga
22
Susanne Graf
21
Sergio Yovine
18
Saddek Bensalem
16
Conferences
(56)
CAV
8
EMSOFT
7
STACS
4
Hybrid Systems
4
ICALP
3
Journals
(20)
IANDC
6
FMSD
4
RTS
3
CSUR
3
ACTA
3
Keywords
(312)
Embed
Subscribe
Academic
Authors
Joseph Sifakis
Edit
Joseph Sifakis
Centre National de la Recherche Scientifique
Publications: 202
|
Citations: 6812
|
G-Index: 81
|
H-Index: 41
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Algorithms & Theory
,
Real-Time & Embedded Systems
View FAQ about top research area and research interests
Collaborated with
138 co-authors
from 1975 to 2011
; Cited by
4539 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(202)
BibTeX
|
RIS
|
RefWorks
Download
Rigorous Component-Based System Design Using the BIP Framework
(
Citations: 1
)
Ananda Basu
,
Saddek Bensalem
,
Marius Bozga
,
Jacques Combaz
,
Mohamad Jaber
,
Thanh-Hung Nguyen
,
Joseph Sifakis
Journal:
IEEE Software - MS
, vol. 28, no. 3, pp. 41-48, 2011
D-Finder 2: Towards Efficient Correctness of Incremental Design
(
Citations: 2
)
Saddek Bensalem
,
Andreas Griesmayer
,
Axel Legay
,
Thanh-Hung Nguyen
,
Joseph Sifakis
,
Rongjie Yan
Published in 2011.
Time-predictable and composable architectures for dependable embedded systems
Saddek Bensalem
,
Kees Goossens
,
Christoph M. Kirsch
,
Roman Obermaisser
,
Edward A. Lee
,
Joseph Sifakis
Published in 2011.
Rigorous system level modeling and analysis of mixed HW/SW systems
P. Bourgos
,
A. Basu
,
M. Bozga
,
S. Bensalem
,
J. Sifakis
,
K. Huang
Conference:
International Conference on Formal Methods and Models for Co-Design - MEMOCODE
, 2011
A vision for computer science — the system perspective
Joseph Sifakis
Published in 2011.
Order by:
Citations
(6812 times by 4654 publications)
A Real-Time-Linux-Based Framework for Model-Driven Engineering in Control and Automation
(
Citations: 6
)
George Doukas
,
Kleanthis Thramboulidis
Journal:
IEEE Transactions on Industrial Electronics - IEEE TRANS IND ELECTRON
, vol. 58, no. 3, pp. 914-924, 2011
An abstract model of service discovery and binding
(
Citations: 5
)
José Luiz Fiadeiro
,
Antónia Lopes
,
Laura Bocchi
Published in 2011.
Low-Cost Reconfigurable Control System for Small UAVs
(
Citations: 4
)
Ondřej Spinka
,
Ondřej Holub
,
Zdenek Hanzalek
Journal:
IEEE Transactions on Industrial Electronics - IEEE TRANS IND ELECTRON
, vol. 58, no. 3, pp. 880-889, 2011
Path-oriented bounded reachability analysis of composed linear hybrid systems
(
Citations: 2
)
Lei Bu
,
Xuandong Li
Journal:
International Journal on Software Tools for Technology Transfer - STTT
, vol. 13, no. 4, pp. 307-317, 2011
A Classification Framework for Software Component Models
(
Citations: 3
)
Ivica CrnkoviMember
,
Severine Sentilles
,
Vulgarakis Aneta
,
Michel R. V. Chaudron
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 5, pp. 593-615, 2011
Comments