Ed Brinksma

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
From data structure to process structure	2024-04-29	Paper
Causal ambiguity and partial orders in event structures CONCUR '97: Concurrency Theory	2023-05-17	Paper
Cache consistency by design	2020-12-03	Paper
Testing divergent transition systems Lecture Notes in Computer Science	2020-02-24	Paper
Design of a PLC control program for a batch plant VHS case study 1 European Journal of Control	2014-08-07	Paper
A Semantic Framework for Test Coverage Automated Technology for Verification and Analysis	2008-09-04	Paper
Optimal infinite scheduling for multi-priced timed automata Formal Methods in System Design	2008-03-11	Paper
Hybrid Systems: Computation and Control Lecture Notes in Computer Science	2007-09-25	Paper
Formal Approaches to Software Testing Lecture Notes in Computer Science	2005-12-02	Paper
scientific article; zbMATH DE number 2102705 (Why is no real title available?)	2004-09-24	Paper
scientific article; zbMATH DE number 2102693 (Why is no real title available?)	2004-09-24	Paper
scientific article; zbMATH DE number 1759598 (Why is no real title available?)	2002-11-28	Paper
scientific article; zbMATH DE number 1796156 (Why is no real title available?)	2002-09-04	Paper
scientific article; zbMATH DE number 1786475 (Why is no real title available?)	2002-08-21	Paper
Verification is experimentation! International Journal on Software Tools for Technology Transfer. STTT	2002-07-25	Paper
scientific article; zbMATH DE number 1746452 (Why is no real title available?)	2002-05-28	Paper
scientific article; zbMATH DE number 1670553 (Why is no real title available?)	2001-11-11	Paper
scientific article; zbMATH DE number 140224 (Why is no real title available?)	1993-03-28	Paper
Specification styles in distributed systems design and verification Theoretical Computer Science	1992-06-26	Paper

Research outcomes over time

This page was built for person: Ed Brinksma