Jeff Kramer

Available identifiers

zbMath Open kramer.jeffDBLPk/JeffKramerWikidataQ102343425 ScholiaQ102343425MaRDI QIDQ229320

List of research outcomes

Publication	Date of Publication	Type
Implied Scenario Detection in the Presence of Behaviour Constraints	2013-07-24	Paper
Distribution of Modal Transition Systems	2012-11-08	Paper
An Inductive Approach for Modal Transition System Refinement	2012-08-29	Paper
Translating FSP into LOTOS and networks of automata	2010-12-17	Paper
Deriving non-zeno behaviour models from goal models using ILP	2010-05-28	Paper
Translating FSP into LOTOS and Networks of Automata	2009-03-06	Paper
Communicating Sequential Processes. The First 25 Years	2005-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q4809153	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4417967	2003-07-30	Paper
An approach for recovering distributed system architectures	2002-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q4240122	1999-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q3992841	1993-01-23	Paper
The Conic toolkit for building distributed systems	1987-01-01	Paper
A software architecture for distributed computer control systems	1984-01-01	Paper
Invariants in the application-oriented specification of control systems	1982-01-01	Paper
An exercise in program design using SIMULA class invariants	1978-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jeff Kramer