( en | de | ru )

 

Disambiguation of "Hatcliff, John"

Author of the publication

copydeleteadd this publication to your clipboard
A Case Study in Domain-Customized Model Checking for Real-Time Component Software.

, , , and . ISoLA, volume 4313 of Lecture Notes in Computer Science, page 161-180. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Shincy John

Roswitha John

Anita John

Dominik John

Steven Johnsen

 

Other publications of authors with the same name

SyncGen: An Aspect-Oriented Framework for Synchronization., , , and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 158-162. Springer, (2004)Foundational Security Principles for Medical Application Platforms - (Extended Abstract)., and . WISA, volume 8267 of Lecture Notes in Computer Science, page 213-217. Springer, (2013)Explicating symbolic execution (xSymExe): an evidence-based verification framework., , , and . ICSE, page 222-231. IEEE Computer Society, (2013)Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling., , , and . IMBSA, volume 12297 of Lecture Notes in Computer Science, page 34-50. Springer, (2020)Thunks (Continued)., and . WSA, volume 81-82 of Series Bigre, page 3-11. Atelier Irisa, IRISA, Campus de Beaulieu, (1992)Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq., , , , , , , , and . HILT, page 21-22. ACM, (2013)A Case Study in Domain-Customized Model Checking for Real-Time Component Software., , , and . ISoLA, volume 4313 of Lecture Notes in Computer Science, page 161-180. Springer, (2004)Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems., , , , , , , , and . FASE, volume 2984 of Lecture Notes in Computer Science, page 160-164. Springer, (2004)A Correlation Framework for the CORBA Component Model., , and . FASE, volume 2984 of Lecture Notes in Computer Science, page 144-159. Springer, (2004)Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs., and . CC, volume 2985 of Lecture Notes in Computer Science, page 39-56. Springer, (2004)