Beyer, Dirk
Beyer, Dirk 1972-
Beyer, Dirk, Ph. D.
Dirk Beyer researcher
VIAF ID: 15704669 ( Personal )
Permalink: http://viaf.org/viaf/15704669
Preferred Forms
-
-
- 100 1 _ ‡a Beyer, Dirk
- 100 1 _ ‡a Beyer, Dirk ‡d 1972-
- 100 1 _ ‡a Beyer, Dirk ‡d 1972-
-
- 100 1 _ ‡a Beyer, Dirk, ‡c Ph. D.
- 100 0 _ ‡a Dirk Beyer ‡c researcher
4xx's: Alternate Name Forms (2)
5xx's: Related Names (3)
- 510 2 _ ‡a Ludwig-Maximilians-Universität München ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Simon Fraser University ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universität Passau ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
comparative study of decision diagrams for real time verification | |
Considering inheritance, overriding, overlaoding and polymorphism for measuring C†† sources | |
Cooperative verifier-based testing with CoVeriTest | |
CrocoPat a tool for efficient pattern recognistion in large object oriented programs | |
Efficient verification of real time systems using BDDs | |
Flattening inheritance structures or getting the right picture of large OO-systems | |
FMOODS 2013 | |
Formal methods for open object-based distributed systems | |
Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings | |
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata | |
FORTE 2013 | |
Lazy shape analysis | |
Managing creativity in science and hi-tech | |
Markovian demand inventory models, c2010: | |
modular hybrid modelling notation | |
Proceedings / 2012 20th IEEE International Conference on Program Comprehension (ICPC) June 11 - 13, 2012, Passau, Germany ; [celebrating 20 years] | |
Reachability analysis and refinement checking for BDD based model checking of timed automata | |
Recherche d'invariants inductifs par satisfiabilité modulo théorie et optimisation convexe. | |
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 | |
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III | |
Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings |