Suchergebnisse - Beyer, Dirk 1972-

Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata

von Beyer, Dirk 1972-

Online lesen (frei zugänglich)

Entscheidungsorientiertes Zentralbereichscontrolling: Ansatzpunkte zur multikriteriellen Effizienzbewertung von Zentralbereichsleistungen

von Beyer, Dirk 1972-

Wert- und risikoorientiertes Controlling: der Unternehmenswert als Handlungsmaxime im Controlling

von Beyer, Dirk 1972-, Kirchner-Khairy, Sandra 1973-

Online lesen

Wert- und risikoorientiertes Controlling: der Unternehmenswert als Handlungsmaxime im Controlling

von Beyer, Dirk 1972-, Kirchner-Khairy, Sandra 1973-

Inhaltsverzeichnis

A comparative study of decision diagrams for real-time verification

von Beyer, Dirk 1972-, Noack, Andreas 1976-

CrocoPat: a tool for efficient pattern recognition in large object-oriented programs

von Beyer, Dirk 1972-, Lewerentz, Claus

Considering inheritance, overriding, overloading and polymorphism for measuring C++ sources

von Simon, Frank, Beyer, Dirk 1972-

A formalism for modular modelling of hybrid systems

von Beyer, Dirk 1972-, Rust, Heinrich

Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata

von Beyer, Dirk 1972-

Inhaltsverzeichnis

Reachability analysis and refinement checking for BDD based model checking of timed automata

von Beyer, Dirk 1972-

Rabbit: Verification of real-time systems

von Beyer, Dirk 1972-

Flattening inheritance structures: or getting the right picture of large OO-systems

von Beyer, Dirk 1972-, Lewerentz, Claus, Simon, Frank 1969-

Efficient verification of real time systems using BDDs

von Beyer, Dirk 1972-, Noack, Andreas 1976-

A modular hybrid modelling notation

von Beyer, Dirk 1972-, Rust, Heinrich

Tests and proofs: 13th international conference, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, proceedings

Weitere beteiligte Personen: “… Beyer, Dirk 1972- …”
Online lesen

Fundamental approaches to software engineering: 27th International Conference, FASE 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024 : proceedings

Weitere beteiligte Personen: “… Beyer, Dirk 1972- …”
Online lesen (frei zugänglich)

Verification, model checking, and abstract interpretation: 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, proceedings

Weitere beteiligte Personen: “… Beyer, Dirk 1972- …”
Online lesen

Tools and algorithms for the construction and analysis of systems: 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings, part I

Weitere beteiligte Personen: “… Beyer, Dirk 1972- …”
Online lesen (frei zugänglich)

Tools and algorithms for the construction and analysis of systems: 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings, part II

Weitere beteiligte Personen: “… Beyer, Dirk 1972- …”
Online lesen (frei zugänglich)

TOOLympics Challenge 2023: updates, results, successes of the formal-methods competitions

Weitere beteiligte Personen: “… Beyer, Dirk 1972- …”
Online lesen