Jeff Kramer

MaRDI QIDQ229320zbMATH OpenDBLPWikidataFDO

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
Implied scenario detection in the presence of behaviour constraints Electronic Notes in Theoretical Computer Science	2013-07-24	Paper
Distribution of Modal Transition Systems FM 2012: Formal Methods	2012-11-08	Paper
An inductive approach for modal transition system refinement	2012-08-29	Paper
Translating FSP into LOTOS and networks of automata Formal Aspects of Computing	2010-12-17	Paper
Deriving non-Zeno behaviour models from goal models using ILP Formal Aspects of Computing	2010-05-28	Paper
Translating FSP into LOTOS and Networks of Automata Lecture Notes in Computer Science	2009-03-06	Paper
Communicating Sequential Processes. The First 25 Years Lecture Notes in Computer Science	2005-11-29	Paper
scientific article; zbMATH DE number 2090517 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1956611 (Why is no real title available?)	2003-07-30	Paper
An approach for recovering distributed system architectures Automated Software Engineering	2002-02-13	Paper
scientific article; zbMATH DE number 1283472 (Why is no real title available?)	1999-05-03	Paper
scientific article; zbMATH DE number 43273 (Why is no real title available?)	1993-01-23	Paper
The Conic toolkit for building distributed systems IEE Proceedings D Control Theory and Applications	1987-01-01	Paper
A software architecture for distributed computer control systems Automatica	1984-01-01	Paper
Invariants in the application-oriented specification of control systems Automatica	1982-01-01	Paper
An exercise in program design using SIMULA class invariants Software: Practice and Experience	1978-01-01	Paper

Research outcomes over time

This page was built for person: Jeff Kramer