Concepedia

Tobias Michaels

TM

Statistics

Publications

2

Citations

75

H-Index

2

Active since

2012

Affiliations

Technische Universität Braunschweig(Current)

Tobias Michaels is an author at Technische Universität Braunschweig specializing in formal verification, computer engineering, and real-time systems.

Top concepts

EngineeringProcess ControlComputer ScienceReal-time SystemsFormal VerificationSystems EngineeringComputer EngineeringAutomationVerificationFormal Methods

Publications per year

2012–2013

2

Publications

2

Monitoring Arbitrary Activation Patterns in Real-Time Systems

Moritz Neukirchner, Tobias Michaels, Philip Axer et al. · 2012 · 39 citations

Discrete Time Property, Arbitrary Activation Patterns, Engineering +22

Monitoring of Workload Arrival Functions for Mixed-Criticality Systems

Moritz Neukirchner, Philip Axer, Tobias Michaels et al. · 2013 · 36 citations

Engineering, Software Engineering, Software Analysis +20

1–2 of 2