Gregor von Bochmann

Available identifiers

zbMath Open von-bochmann.gregorWikidataQ28878151 ScholiaQ28878151MaRDI QIDQ455929

List of research outcomes

Publication	Date of Publication	Type
The lotos model of a fault protected system and its verification using a petri net based approach	2024-04-29	Paper
Testing for a conformance relation based on acceptance	2022-11-02	Paper
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets	2020-12-04	Paper
Deriving protocol specifications from service specifications written in LOTOS	2020-12-02	Paper
Using logic to solve the submodule construction problem	2013-06-28	Paper
Load balancing in peer-to-peer systems using a diffusive approach	2012-10-23	Paper
Some notes on the history of protocol engineering	2011-02-02	Paper
Progressive Solutions to a Parallel Automata Equation	2010-05-26	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2003	2010-05-26	Paper
A computation method for scenario studies in WDM network planning	2010-03-11	Paper
Deriving protocol specifications from service specifications written as Predicate/Transition-nets	2006-12-07	Paper
Progressive solutions to a parallel automata equation	2006-10-20	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4450992	2004-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4437065	2003-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4422062	2003-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4412566	2003-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4801043	2003-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q2768677	2002-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4942027	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4037094	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037398	1993-05-18	Paper
Failure-equivalent transformation of transition systems to avoid internal actions	1993-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q4028641	1993-03-28	Paper
The equivalence in the DCP model	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3660864	1983-01-01	Paper
On the Construction of Submodule Specifications and Communication Protocols	1983-01-01	Paper
Hardware Specification with Temporal Logic: An Example	1982-01-01	Paper
Architecture of distributed computer systems	1979-01-01	Paper
Semantic equivalence of covering attribute grammars	1979-01-01	Paper
Compile Time Memory Allocation for Parallel Processes	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138075	1977-01-01	Paper
Semantic evaluation from left to right	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4122832	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4066588	1974-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: Gregor von Bochmann