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
(43)
Murali Rangarajan
8
Vijay K. Garg
6
Steven P. Miller
6
Michael W. Whalen
4
Tariq Samad
3
Conferences
(14)
SPIN
5
DAS
4
CDC
4
FMICS
3
RTSS
2
Journals
(5)
IJIS
1
SCP
1
CACM
1
ERCIM
1
IEEE CONTROL SYST MAG
1
Keywords
(97)
Embed
Subscribe
Academic
Authors
Darren D. Cofer
Darren D. Cofer,Rockwell Collins,Software Engineering,Real-Time & Embedded Systems,Machine Learning & Pattern Recognition
Edit
Darren D. Cofer
Rockwell Collins
Publications:
38
|
Citations:
140
Fields:
Software Engineering
,
Real-Time & Embedded Systems
,
Machine Learning & Pattern Recognition
View FAQ about top research areas and Fields of study
Collaborated with
43 co-authors
from 1992 to 2012
|
Cited by
239 authors
Cumulative
Annual
Sort by:
Publications
(38)
BibTeX
|
RIS
|
RefWorks
Download
Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems
Abdullah Al-Nayeem
,
Lui Sha
,
Darren D. Cofer
,
Steven M. Miller
Conference:
IEEE/ACM International Conference on Cyber-Physical Systems - ICCPS
, 2012
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)
Darren D. Cofer
,
Alessandro Fantechi
,
Stefan Leue
,
Pedro Merino
Journal:
Science of Computer Programming - SCP
, vol. 76, no. 2, pp. 63-64, 2011
Software model checking takes off
(
Citations: 4
)
Steven P. Miller
,
Michael W. Whalen
,
Darren D. Cofer
Journal:
Communications of The ACM - CACM
, vol. 53, no. 2, pp. 58-64, 2010
Model Checking: Cleared for Take Off
Darren D. Cofer
,
Rockwell Collins
,
Cedar Rapids
Conference:
International Workshop on Model Checking of Software - SPIN
, pp. 76-87, 2010
Implementing logical synchrony in integrated modular avionics
(
Citations: 5
)
Steven P. Miller
,
Darren D. Cofer
,
Lui Sha
,
J. Meseguer
,
A. Al-Nayeem
Conference:
Document Analysis Systems - DAS
, 2009
Sort by:
Citations
(140 times by 121 publications)
From control law diagrams to Ada via Circus
(
Citations: 4
)
Ana Cavalcanti
,
Phil Clayton
,
Colin O’Halloran
Journal:
Formal Aspects of Computing - FAC
, vol. 23, no. 4, pp. 465-512, 2011
Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling
(
Citations: 3
)
Mikael Åsberg
,
Paul Pettersson
,
Thomas Nolte
Conference:
Euromicro Conference on Real-Time Systems - ECRTS
, pp. 172-181, 2011
An overview of interrupt accounting techniques for multiprocessor real-time systems
(
Citations: 1
)
Björn B. Brandenburg
,
Hennadiy Leontyev
,
James H. Anderson
Journal:
Journal of Systems Architecture - JSA
, vol. 57, no. 6, pp. 638-654, 2011
SimCheck: a contract type system for Simulink
Pritam Roy
,
Natarajan Shankar
Journal:
Innovations in Systems and Software Engineering - ISSE
, vol. 7, no. 2, pp. 73-83, 2011
Model Checking a TTCAN Implementation
Daniel Keating
,
Allan McInnes
,
Michael Hayes
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, pp. 387-396, 2011
Comments