|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 5 keywords
|
|
|
|
|
Results
Found 23 publication records. Showing 23 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha |
Compositional Verification of Architectural Models.  |
NASA Formal Methods  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino |
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven P. Miller, Michael W. Whalen, Darren D. Cofer |
Software model checking takes off. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Darren D. Cofer |
Model Checking: Cleared for Take Off. |
SPIN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Darren D. Cofer, Alessandro Fantechi (eds.) |
Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer |
A Formal Architecture Pattern for Real-Time Distributed Systems. |
IEEE Real-Time Systems Symposium |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Darren D. Cofer, Michael W. Whalen, Steven P. Miller |
Model-Checking of Safety-Critical Software for Avionics. |
ERCIM News |
2008 |
DBLP BibTeX RDF |
|
| 1 | Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm |
Integration of Formal Analysis into a Model-Based Software Development Process. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
Model checking, software verification, Model-based development, Flight control |
| 1 | Murali Rangarajan, Darren D. Cofer |
Computing Worst-Case Response Times in Real-Time Avionics Applications. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
Model checking, real-time, software verification, flight control |
| 1 | Changyan Zhou, Ratnesh Kumar, Devesh Bhatt, Kirk Schloegel, Darren D. Cofer |
A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules. |
SEKE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tariq Samad, Darren D. Cofer, Vu Ha, Pam Binns |
High-confidence control: Ensuring reliability in high-performance real-time systems. |
Int. J. Intell. Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Samar Dajani-Brown, Darren D. Cofer, Amar Bouali |
Formal Verification of an Avionics Sensor Voter Using SCADE. |
FORMATS/FTRTFT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer |
Analysis of Distributed Spin Applied to Industrial-Scale Models. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vu Ha, Murali Rangarajan, Darren D. Cofer, Harald Rueß, Bruno Dutertre |
Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt |
Formal Modeling and Analysis of an Avionics Triplex Sensor Voter. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Darren D. Cofer, Murali Rangarajan |
Simulation and verification II: event-triggered environments for verification of real-time systems. |
Winter Simulation Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Darren D. Cofer, Murali Rangarajan |
Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. |
EMSOFT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Darren D. Cofer, Murali Rangarajan |
Formal Verification of Overhead Accounting in an Avionics RTOS. (PDF / PS) |
IEEE Real-Time Systems Symposium |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Murali Rangarajan, Darren D. Cofer |
Model-Checking Complex Software - A Memory Perspective. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal |
Applications of Model Checking at Honeywell Laboratories. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Weininger, Darren D. Cofer |
Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Darren D. Cofer |
Reliable Implementation of Hybrid Control Systems for Advanced Avionics. |
Hybrid Systems |
1996 |
DBLP BibTeX RDF |
|
| 1 | Darren D. Cofer, Vijay K. Garg |
On Controlling Timed Discrete Event Systems. |
Hybrid Systems |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #23 of 23 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")