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
(28)
Josef Tapken
5
Ernst-Rudiger Olderog (Ernst-Rüdiger Olderog)
4
Gerd Behrmann
3
Sebastian Kupferschmid
3
Kim Guldstrand Larsen
2
Conferences
(13)
FTRTFT
4
TACAS
2
MPC
1
ECRTS
1
FASE
1
Journals
(9)
AT-AUTOM
3
FAC
2
J CRYST GROWTH
2
J.UCS
1
SCP
1
Keywords
(85)
Embed
Subscribe
Academic
Authors
Henning Dierks
Henning Dierks,Oldenburger Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge und -Systeme,Software Engineering,Real-Time & Embedded System
Edit
Henning Dierks
Oldenburger Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge und -Systeme
Publications:
42
|
Citations:
329
Fields:
Software Engineering
,
Real-Time & Embedded Systems
,
Hardware & Architecture
View FAQ about top research areas and Fields of study
Collaborated with
28 co-authors
from 1984 to 2010
|
Cited by
272 authors
Cumulative
Annual
Sort by:
Publications
(42)
BibTeX
|
RIS
|
RefWorks
Download
Towards Component Based Design of Hybrid Systems: Safety and Stability
Werner Damm
,
Henning Dierks
,
Jens Oehlerking
,
Amir Pnueli
Conference:
Birthday ...
, pp. 96-143, 2010
Efficient Model-Checking for Real-Time Task Networks
(
Citations: 3
)
Henning Dierks
,
Alexander Metzner
,
Ingo Stierand
Conference:
International Conference on Embedded Software and Systems - ICESS
, 2009
Real-time systems - formal specification and automatic verification
(
Citations: 7
)
Ernst-Rüdiger Olderog
,
Henning Dierks
Published in 2008.
Uppaal/DMC Abstraction-Based Heuristics for Directed Model Checking
(
Citations: 13
)
Sebastian Kupferschmid
,
Klaus Dräger
,
Bernd Finkbeiner
,
Henning Dierks
,
Andreas Podelski
,
Gerd Behrmann
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 679-682, 2007
Automatic Abstraction Refinement for Timed Automata
(
Citations: 6
)
Henning Dierks
,
Sebastian Kupferschmid
,
Kim Guldstrand Larsen
Conference:
Formal Modeling and Analysis of Timed Systems - FORMATS
, pp. 114-129, 2007
Sort by:
Citations
(329 times by 195 publications)
Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too
Matthias Biiker
,
Werner Damnr
,
Giinter Ehment
,
Alexander Metzner
,
Ingo Stierandt
,
Eike Thaden
Conference:
International Symposium on Industrial Embedded Systems - SIES
, 2011
Research on the structure and PLC control of a new automatic tool changer
Gu Jinan
,
Niu Junyan
Conference:
International Conference on Consumer Electronics, Communications and Networks - CECNet
, 2011
Mathematical analysis of stage-based programmable logic controller
Anping He
,
William N. N. Hung
,
Guowu Yang
,
Jinzhao Wu
,
Lian Li
Journal:
Computers & Mathematics With Applications - COMPUT MATH APPL
, vol. 61, no. 7, pp. 1769-1785, 2011
Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy
Sebastian Kupferschmid
,
Martin Wehrle
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 276-290, 2011
Mitochondrial morphology - critical for redox signaling
Yisang Yoon
Journal:
Free Radical Biology and Medicine - FREE RADICAL BIOL MED
, vol. 51, pp. S8-S8, 2011
Comments