Selection by year, by research interest, with abstracts, ...

Publications of Dirk Beyer

Books and proceedings

  1. Dirk Beyer and Michele Boreale, editors. Proceedings of the 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS), LNCS 7892, 2013. Springer-Verlag, Heidelberg. [bibtex-entry]

  2. Dirk Beyer, Arie van Deursen, and Michael W. Godfrey, editors. Proceedings of the 20th IEEE International Conference on Program Comprehension, 2012. IEEE. [bibtex-entry]

  3. Dirk Beyer. Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata. Mensch & Buch Verlag, Berlin, 2002.
    Also: Dissertation, Brandenburgische Technische Universität Cottbus, 2002. [ WWW ] [ PDF ] Keyword(s): Formal Verification of Real-Time Systems. [Abstract] [Annotation] [bibtex-entry]

Articles in journal or book chapters

  1. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. The Software Model Checker Blast: Applications to Software Engineering. International Journal on Software Tools for Technology Transfer (STTT), 9(5-6):505-525, 2007. Invited to special issue of selected papers from FASE 2004/05. [ WWW ] [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  2. Dirk Beyer, Andreas Noack, and Claus Lewerentz. Efficient Relational Calculation for Software Analysis. IEEE Transactions on Software Engineering (TSE), 31(2):137-149, 2005. Invited to special issue of selected papers from WCRE 2003. [ WWW ] [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

Articles in conference or workshop proceedings

  1. Dirk Beyer. Status Report on Software Verification (Competition Summary SV-COMP 2014). In E. Abraham and K. Havelund, editors, Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and of Analysis Systems (TACAS 2014, Grenoble, France, April 5-13), LNCS 8413, 2014. Springer-Verlag, Heidelberg. [ WWW ] [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  2. Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, and Alexander von Rhein. Domain Types: Abstract-Domain Selection Based on Variable Usage. In V. Bertacco and A. Legay, editors, Proceedings of the 9th Haifa Verification Conference (HVC 2013, Haifa, Israel, November 5-7), LNCS 8244, pages 262–278, 2013. Springer-Verlag, Heidelberg. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  3. Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Grösslinger, and Dirk Beyer. Strategies for Product-Line Verification: Case Studies and Experiments. In D. Notkin, B. H. C. Cheng, and K. Pohl, editors, Proceedings of the 35th International Conference on Software Engineering (ICSE 2013, San Francisco, CA, USA, May 18-26), 2013. IEEE. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  4. Dirk Beyer. Second Competition on Software Verification (Summary of SV-COMP 2013). In N. Piterman and S. Smolka, editors, Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and of Analysis Systems (TACAS 2013, Rome, Italy, March 16-24), LNCS 7795, pages 594-609, 2013. Springer-Verlag, Heidelberg. [ WWW ] [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  5. Dirk Beyer, Andreas Holzer, Michael Tautschnig, and Helmut Veith. Information Reuse for Multi-goal Reachability Analyses. In M. Felleisen and P. Gardner, editors, Proceedings of the 22nd European Symposium on Programming (ESOP 2013, Rome, Italy, March 19-22), LNCS 7792, pages 472-491, 2013. Springer-Verlag, Heidelberg. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  6. Dirk Beyer and Stefan Löwe. Explicit-State Software Model Checking Based on CEGAR and Interpolation. In V. Cortellessa and D. Varro, editors, Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE 2013, Rome, Italy, March 20-22), LNCS 7793, pages 146-162, 2013. Springer-Verlag, Heidelberg. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  7. Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, and Philipp Wendler. Precision Reuse for Efficient Regression Verification. In B. Meyer, L. Baresi, and M. Mezini, editors, Proceedings of the 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on Foundations of Software Engineering (ESEC/FSE 2013, St. Petersburg, Russia, August 18-26), pages 389-399, 2013. ACM. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  8. Dirk Beyer and Andreas Stahlbauer. BDD-Based Software Model Checking with CPAchecker. In A. Kucera et al., editor, Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2012, Znojmo, Czech Republic, October 26-28), LNCS 7721, pages 1-11, 2013. Springer-Verlag, Heidelberg. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  9. Dirk Beyer and Philipp Wendler. Reuse of Verification Results: Conditional Model Checking, Precision Reuse, and Verification Witnesses. In E. Bartocci and C. R. Ramakrishnan, editors, Proceedings of the 2013 International Symposium on Model Checking of Software (SPIN 2013, Stony Brook, NY, USA, July 8-9), LNCS 7976, pages 1-17, 2013. Springer-Verlag, Heidelberg. [ WWW ] [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  10. Dirk Beyer. Competition on Software Verification (SV-COMP). In C. Flanagan and B. König, editors, Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and of Analysis Systems (TACAS 2012, Tallinn, Estonia, March 27-30), LNCS 7214, pages 504--524, 2012. Springer-Verlag, Heidelberg. [ WWW ] [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  11. Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, and Philipp Wendler. Conditional Model Checking: A Technique to Pass Information between Verifiers. In Tevfik Bultan and Martin Robillard, editors, Proceedings of the 20th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2012, Cary, NC, November 10-17), 2012. ACM. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  12. Dirk Beyer and Alexander K. Petrenko. Linux Driver Verification. In T. Margaria and B. Steffen, editors, Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2012, Part II, Heraklion, Crete, October 15-18), LNCS 7610, pages 1-6, 2012. Springer-Verlag, Heidelberg. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  13. Dirk Beyer and Philipp Wendler. Algorithms for Software Model Checking: Predicate Abstraction vs. IMPACT. In Gianpiero Cabodi and Satnam Singh, editors, Proceedings of the 12th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2012, Cambrige, UK, October 22-25), pages 106-113, 2012. FMCAD. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  14. Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, and Dirk Beyer. The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. In T. Margaria and B. Steffen, editors, Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2012, Part I, Heraklion, Crete, October 15-18), LNCS 7609, pages 608-614, 2012. Springer-Verlag, Heidelberg. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  15. Sven Apel and Dirk Beyer. Feature Cohesion in Software Product Lines: An Exploratory Study. In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011, Honolulu, HI, May 21-28), pages 421-430, 2011. ACM Press, New York (NY). [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

  16. Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer. Detection of Feature Interactions using Feature-Aware Verification. In Proceedings of the 26th International Conference on Automated Software Engineering (ASE 2011, Lawrence, KS, November 6-10), pages 372-375, 2011. IEEE. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  17. Dirk Beyer and M. Erkan Keremoglu. CPAchecker: A Tool for Configurable Software Verification. In G. Gopalakrishnan and S. Qadeer, editors, Proceedings of the 23rd International Conference on Computer Aided Verification (CAV 2011, Snowbird, UT, July 14-20), LNCS 6806, pages 184-190, 2011. Springer-Verlag, Heidelberg. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  18. Dirk Beyer and Ashgan Fararooy. A Simple and Effective Measure for Complex Low-Level Dependencies. In Proceedings of the 18th IEEE International Conference on Program Comprehension (ICPC 2010, Braga, June 30 - July 2), pages 80-83, 2010. IEEE Computer Society Press, Los Alamitos (CA). [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

  19. Dirk Beyer and Ashgan Fararooy. CheckDep: A Tool for Tracking Software Dependencies. In Proceedings of the 18th IEEE International Conference on Program Comprehension (ICPC 2010, Braga, June 30 - July 2), pages 42-43, 2010. IEEE Computer Society Press, Los Alamitos (CA). [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

  20. Dirk Beyer and Ashgan Fararooy. DepDigger: A Tool for Detecting Complex Low-Level Dependencies. In Proceedings of the 18th IEEE International Conference on Program Comprehension (ICPC 2010, Braga, June 30 - July 2), pages 40-41, 2010. IEEE Computer Society Press, Los Alamitos (CA). [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

  21. Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz, and Damien Zufferey. Shape Refinement through Explicit Heap Analysis. In D.S. Rosenblum and G. Taentzer, editors, Proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering (FASE 2010, Paphos, Cyprus, March 22-26), LNCS 6013, pages 263-277, 2010. Springer-Verlag, Heidelberg. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  22. Dirk Beyer, M. Erkan Keremoglu, and Philipp Wendler. Predicate Abstraction with Adjustable-Block Encoding. In Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2010, Lugano, October 20-23), pages 189-197, 2010. FMCAD. [ WWW ] [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  23. Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, and Roberto Sebastiani. Software Model Checking via Large-Block Encoding. In Proceedings of the 9th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2009, Austin, TX, November 15-18), pages 25-32, 2009. IEEE Computer Society Press, Los Alamitos (CA). [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  24. Dirk Beyer. CCVisu: Automatic Visual Software Decomposition. In Proceedings of the 30th ACM/IEEE International Conference on Software Engineering (ICSE 2008, Leipzig, May 10-18), pages 967-968, 2008. ACM Press, New York (NY). [ WWW ] [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

  25. Dirk Beyer, Thomas A. Henzinger, and Grégory Théoduloz. Program Analysis with Dynamic Precision Adjustment. In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008, L'Aquila, September 15-19), pages 29-38, 2008. IEEE Computer Society Press, Los Alamitos (CA). [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  26. Dirk Beyer, Damien Zufferey, and Rupak Majumdar. CSIsat: Interpolation for LA+EUF. In A. Gupta and S. Malik, editors, Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008, Princeton, NY, July 7-14), LNCS 5123, pages 304-308, 2008. Springer-Verlag, Heidelberg. [ WWW ] [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  27. Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger, and Sanjit A. Seshia. An Application of Web-Service Interfaces. In Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007, Salt Lake City, UT, July 9-13), pages 831-838, 2007. IEEE Computer Society Press, Los Alamitos (CA). [ PDF ] Keyword(s): Interfaces for Component-Based Design. [Abstract] [Annotation] [bibtex-entry]

  28. Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, and Andrey Rybalchenko. Invariant Synthesis for Combined Theories. In Proceedings of the Eighth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2007, Nice, January 14-16), LNCS 4349, pages 378-394, 2007. Springer-Verlag, Heidelberg. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  29. Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, and Andrey Rybalchenko. Path Invariants. In Proceedings of the 2007 ACM Conference on Programming Language Design and Implementation (PLDI 2007, San Diego, CA, June 10-13), pages 300-309, 2007. ACM Press, New York (NY). [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  30. Dirk Beyer, Thomas A. Henzinger, and Vasu Singh. Algorithms for Interface Synthesis. In W. Damm and H. Hermanns, editors, Proceedings of the 19th International Conference on Computer Aided Verification (CAV 2007, Berlin, July 3-7), LNCS 4590, pages 4-19, 2007. Springer-Verlag, Heidelberg. [ PDF ] Keyword(s): Interfaces for Component-Based Design, Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  31. Dirk Beyer, Thomas A. Henzinger, and Grégory Théoduloz. Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis. In W. Damm and H. Hermanns, editors, Proceedings of the 19th International Conference on Computer Aided Verification (CAV 2007, Berlin, July 3-7), LNCS 4590, pages 504-518, 2007. Springer-Verlag, Heidelberg. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  32. Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, and Daniela Schilling. Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation. In Proceedings of the 28th ACM/IEEE International Conference on Software Engineering (ICSE 2006, Shanghai, May 20-28), pages 72-81, 2006. ACM Press, New York (NY). [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  33. Dirk Beyer. Co-Change Visualization Applied to PostgreSQL and ArgoUML. In Proceedings of the Third International Workshop on Mining Software Repositories (MSR 2006, Shanghai, May 22-23), pages 165-166, 2006. ACM Press. [ WWW ] [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [bibtex-entry]

  34. Dirk Beyer. Relational Programming with CrocoPat. In Proceedings of the 28th ACM/IEEE International Conference on Software Engineering (ICSE 2006, Shanghai, May 20-28), pages 807-810, 2006. ACM Press, New York (NY). [ WWW ] [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

  35. Dirk Beyer and Ahmed E. Hassan. Animated Visualization of Software History using Evolution Storyboards. In Proceedings of the 13th IEEE Working Conference on Reverse Engineering (WCRE 2006, Benevento, October 23-27), pages 199-208, 2006. IEEE Computer Society Press, Los Alamitos (CA). [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

  36. Dirk Beyer and Ahmed E. Hassan. Evolution Storyboards: Visualization of Software Structure Dynamics. In Proceedings of the 14th IEEE International Conference on Program Comprehension (ICPC 2006, Athens, June 14-16), pages 248-251, 2006. IEEE Computer Society Press, Los Alamitos (CA). [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

  37. Dirk Beyer, Thomas A. Henzinger, and Grégory Théoduloz. Lazy Shape Analysis. In T. Ball and R.B. Jones, editors, Proceedings of the 18th International Conference on Computer Aided Verification (CAV 2006, Seattle, WA, August 17-20), LNCS 4144, pages 532-546, 2006. Springer-Verlag, Heidelberg. [ WWW ] [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  38. Alain Wegmann, Lam-Son Le, Lotfi Hussami, and Dirk Beyer. A Tool for Verified Design using Alloy for Specification and CrocoPat for Verification. In D. Jackson and P. Zave, editors, Proceedings of the First Alloy Workshop (ALLOY 2006, Portland, OR, November 6), 2006. [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [bibtex-entry]

  39. Dirk Beyer. Co-Change Visualization. In Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005, Budapest, September 25-30), Industrial and Tool volume, Budapest, pages 89-92, 2005. [ WWW ] [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

  40. Dirk Beyer, Arindam Chakrabarti, and Thomas A. Henzinger. An Interface Formalism for Web Services. In Proceedings of the First International Workshop on Foundations of Interface Technologies (FIT 2005, San Francisco, CA, August 21), 2005. [ WWW ] [ PDF ] Keyword(s): Interfaces for Component-Based Design. [Abstract] [Annotation] [bibtex-entry]

  41. Dirk Beyer, Arindam Chakrabarti, and Thomas A. Henzinger. Web Service Interfaces. In Proceedings of the 14th ACM International World Wide Web Conference (WWW 2005, Chiba, May 10-14), pages 148-159, 2005. ACM Press, New York (NY). [ PDF ] Keyword(s): Interfaces for Component-Based Design. [Abstract] [Annotation] [bibtex-entry]

  42. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Checking Memory Safety with Blast. In M. Cerioli, editor, Proceedings of the Eighth International Conference on Fundamental Approaches to Software Engineering (FASE 2005, Edinburgh, April 2-10), LNCS 3442, pages 2-18, 2005. Springer-Verlag, Heidelberg. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  43. Dirk Beyer and Andreas Noack. Clustering Software Artifacts Based on Frequent Common Changes. In Proceedings of the 13th IEEE International Workshop on Program Comprehension (IWPC 2005, St. Louis, MO, May 15-16), pages 259-268, 2005. IEEE Computer Society Press, Los Alamitos (CA). [ WWW ] [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

  44. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. Generating Tests from Counterexamples. In Proceedings of the 26th IEEE International Conference on Software Engineering (ICSE 2004, Edinburgh, May 26-28), pages 326-335, 2004. IEEE Computer Society Press, Los Alamitos (CA). [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  45. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. The Blast Query Language for Software Verification. In R. Giacobazzi, editor, Proceedings of the 11th International Static Analysis Symposium (SAS 2004, Verona, August 26-28), LNCS 3148, pages 2-18, 2004. Springer-Verlag, Heidelberg. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  46. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, and Rupak Majumdar. An Eclipse Plug-in for Model Checking. In Proceedings of the 12th IEEE International Workshop on Program Comprehension (IWPC 2004, Bari, June 24-26), pages 251-255, 2004. IEEE Computer Society Press, Los Alamitos (CA). [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  47. Dirk Beyer and Claus Lewerentz. CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs. In Proceedings of the 11th IEEE International Workshop on Program Comprehension (IWPC 2003, Portland, OR, May 10-11), pages 294-295, 2003. IEEE Computer Society Press, Los Alamitos (CA). [ WWW ] [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

  48. Dirk Beyer, Claus Lewerentz, and Andreas Noack. Rabbit: A Tool for BDD-Based Verification of Real-Time Systems. In W. A. Hunt and F. Somenzi, editors, Proceedings of the 15th International Conference on Computer Aided Verification (CAV 2003, Boulder, CO, July 8-12), LNCS 2725, pages 122-125, 2003. Springer-Verlag, Heidelberg. [ PDF ] Keyword(s): Formal Verification of Real-Time Systems. [Abstract] [Annotation] [bibtex-entry]

  49. Dirk Beyer and Andreas Noack. Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?. In H. König, M. Heiner, and A. Wolisz, editors, Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003, Berlin, September 29 - October 2), LNCS 2767, pages 193-208, 2003. Springer-Verlag, Heidelberg. [ PDF ] Keyword(s): Formal Verification of Real-Time Systems. [Abstract] [Annotation] [bibtex-entry]

  50. Dirk Beyer, Andreas Noack, and Claus Lewerentz. Simple and Efficient Relational Querying of Software Structures. In Proceedings of the Tenth IEEE Working Conference on Reverse Engineering (WCRE 2003, Victoria, BC, November 13-16), pages 216-225, 2003. IEEE Computer Society Press, Los Alamitos (CA). [ WWW ] [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

  51. Dirk Beyer. Efficient Reachability Analysis and Refinement Checking of Timed Automata using BDDs. In T. Margaria and T. F. Melham, editors, Proceedings of the 11th IFIP Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME 2001, Livingston, September 4-7), LNCS 2144, pages 86-91, 2001. Springer-Verlag, Heidelberg. [ PDF ] Keyword(s): Formal Verification of Real-Time Systems. [Abstract] [Annotation] [bibtex-entry]

  52. Dirk Beyer. Improvements in BDD-Based Reachability Analysis of Timed Automata. In J. N. Oliveira and P. Zave, editors, Proceedings of the Tenth International Symposium of Formal Methods Europe (FME 2001, Berlin, March 12-16): Formal Methods for Increasing Software Productivity, LNCS 2021, pages 318-343, 2001. Springer-Verlag, Heidelberg. [ PDF ] Keyword(s): Formal Verification of Real-Time Systems. [Abstract] [Annotation] [bibtex-entry]

  53. Dirk Beyer. Rabbit: Verification of Real-Time Systems. In P. Pettersson and S. Yovine, editors, Proceedings of the Workshop on Real-Time Tools (RT-TOOLS 2001, Aalborg, August 20), Uppsala, pages 13-21, 2001. [ PDF ] Keyword(s): Formal Verification of Real-Time Systems. [Abstract] [Annotation] [bibtex-entry]

  54. Dirk Beyer and Andy Heinig. Different Strategies for BDD-Based Reachability Analysis of Timed Automata. In C. Rattray, M. Sveda, and J. Rozenblit, editors, Proceedings of the Second IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001, Washington, D.C., April 20), Stirling, pages 89-98, 2001. Keyword(s): Formal Verification of Real-Time Systems. [Annotation] [bibtex-entry]

  55. Dirk Beyer, Claus Lewerentz, and Frank Simon. Impact of Inheritance on Metrics for Size, Coupling, and Cohesion in Object Oriented Systems. In R. Dumke and A. Abran, editors, Proceedings of the Tenth International Workshop on Software Measurement (IWSM 2000, Berlin, October 4-6): New Approaches in Software Measurement, LNCS 2006, pages 1-17, 2001. Springer-Verlag, Heidelberg. [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

  56. Dirk Beyer and Andreas Noack. Efficient Verification of Timed Automata using BDDs. In S. Gnesi and U. Ultes-Nitsche, editors, Proceedings of the Sixth International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001, Paris, July 16-17), pages 95-113, 2001. INRIA, Paris. [ PDF ] [ PS ] Keyword(s): Formal Verification of Real-Time Systems. [Abstract] [Annotation] [bibtex-entry]

  57. Dirk Beyer and Heinrich Rust. Cottbus Timed Automata: Formal Definition and Semantics. In C. Rattray, M. Sveda, and J. Rozenblit, editors, Proceedings of the Second IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001, Washington, D.C., April 20), Stirling, pages 75-87, 2001. [ PDF ] [ PS ] Keyword(s): Formal Verification of Real-Time Systems. [Abstract] [Annotation] [bibtex-entry]

  58. Dirk Beyer, Claus Lewerentz, and Heinrich Rust. Modelling and Analysing a Railroad Crossing in a Modular Way. In S. Gnesi, I. Schieferdecker, and A. Rennoch, editors, Proceedings of the Fifth International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000, Berlin, April 3-4), Berlin, pages 287-303, 2000. [ PDF ] [ PS ] Keyword(s): Formal Verification of Real-Time Systems. [Abstract] [Annotation] [bibtex-entry]

  59. Dirk Beyer and Andreas Noack. BDD-basierte Verifikation von Realzeit-Systemen. In J. Grabowski and S. Heymer, editors, Tagungsband Formale Beschreibungstechniken für verteilte Systeme (FBT 2000, Lübeck, June 22-23), pages 79-89, 2000. Shaker Verlag, Aachen. [ PDF ] Keyword(s): Formal Verification of Real-Time Systems. [Abstract] [Annotation] [bibtex-entry]

  60. Dirk Beyer and Heinrich Rust. A Tool for Modular Modelling and Verification of Hybrid Systems. In A. Crespo and J. Vila, editors, Proceedings of the 25th IFAC/IFIP Workshop on Real-Time Programming (WRTP 2000, Palma, May 17-19), pages 169-174, 2000. Elsevier Science, Oxford. Keyword(s): Formal Verification of Real-Time Systems. [Annotation] [bibtex-entry]

  61. Dirk Beyer and Heinrich Rust. Modular Modelling and Verification with Cottbus Timed Automata. In C. Rattray and M. Sveda, editors, Proceedings of the IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2000, Edinburgh, April 6-7), Stirling, pages 17-24, 2000. Keyword(s): Formal Verification of Real-Time Systems. [Abstract] [Annotation] [bibtex-entry]

  62. Dirk Beyer and Heinrich Rust. Concepts of Cottbus Timed Automata. In K. Spies and B. Schätz, editors, Tagungsband Formale Beschreibungstechniken für verteilte Systeme (FBT 1999, München, June 17-18), pages 27-34, 1999. Herbert Utz Verlag, München. [ PDF ] Keyword(s): Formal Verification of Real-Time Systems. [Abstract] [Annotation] [bibtex-entry]

  63. Dirk Beyer and Heinrich Rust. Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata. In H. König and P. Langendörfer, editors, Tagungsband Formale Beschreibungstechniken für verteilte Systeme (FBT 1998, Cottbus, June 4-5), pages 148-159, 1998. Shaker Verlag, Aachen. [ PDF ] [ PS ] Keyword(s): Formal Verification of Real-Time Systems. [Abstract] [Annotation] [bibtex-entry]

Internal reports

  1. Sven Apel, Dirk Beyer, Karlheinz Friedberger, Franco Raimondi, and Alexander von Rhein. Domain Types: Selecting Abstractions Based on Variable Usage. Technical report MIP-1303, Department of Computer Science and Mathematics (FIM), University of Passau (PA), May 2013. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  2. Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, and Philipp Wendler. Reusing Precisions for Efficient Regression Verification. Technical report MIP-1302, Department of Computer Science and Mathematics (FIM), University of Passau (PA), May 2013. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  3. Dirk Beyer and Stefan Löwe. Explicit-Value Analysis Based on CEGAR and Interpolation. Technical report MIP-1205, Department of Computer Science and Mathematics (FIM), University of Passau (PA), December 2012. [ PDF ] Keyword(s): Software Model Checking. [Annotation] [bibtex-entry]

  4. Sven Apel, Hendrik Speidel, Philipp Wendler, Alexander von Rhein, and Dirk Beyer. Feature-Aware Verification. Technical report MIP-1105, Department of Computer Science and Mathematics (FIM), University of Passau (PA), September 2011. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  5. Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, and Philipp Wendler. Conditional Model Checking. Technical report MIP-1107, Department of Computer Science and Mathematics (FIM), University of Passau (PA), September 2011. [ WWW ] [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  6. Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, and Roberto Sebastiani. Software Model Checking via Large-Block Encoding. Technical report SFU-CS-2009-09, School of Computing Science (CMPT), Simon Fraser University (SFU), April 2009. [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  7. Dirk Beyer and M. Erkan Keremoglu. CPAchecker: A Tool for Configurable Software Verification. Technical report SFU-CS-2009-02, School of Computing Science (CMPT), Simon Fraser University (SFU), January 2009. [ WWW ] [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  8. Dirk Beyer, Arindam Chakrabarti, and Thomas A. Henzinger. An Interface Formalism for Web Services. Technical report MTC-REPORT-2007-002, School of Computer and Communication Sciences (IC), Ecole Polytechnique Fédérale de Lausanne (EPFL), December 2007. [ WWW ] [ PDF ] Keyword(s): Interfaces for Component-Based Design. [Abstract] [Annotation] [bibtex-entry]

  9. Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, and Andrey Rybalchenko. Path Invariants. Technical report MTC-REPORT-2006-003, School of Computer and Communication Sciences (IC), Ecole Polytechnique Fédérale de Lausanne (EPFL), December 2006. [ WWW ] [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  10. Dirk Beyer, Thomas A. Henzinger, and Vasu Singh. Three Algorithms for Interface Synthesis: A Comparative Study. Technical report MTC-REPORT-2006-001, School of Computer and Communication Sciences (IC), Ecole Polytechnique Fédérale de Lausanne (EPFL), May 2006. [ WWW ] [ PDF ] Keyword(s): Interfaces for Component-Based Design, Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  11. Dirk Beyer, Thomas A. Henzinger, and Grégory Théoduloz. Lazy Shape Analysis. Technical report MTC-REPORT-2005-006, School of Computer and Communication Sciences (IC), Ecole Polytechnique Fédérale de Lausanne (EPFL), December 2005. [ WWW ] [ PDF ] Keyword(s): Software Model Checking. [Abstract] [Annotation] [bibtex-entry]

  12. Dirk Beyer and Andreas Noack. Mining Co-Change Clusters from Version Repositories. Technical report IC/2005/003, School of Computer and Communication Sciences (IC), Ecole Polytechnique Fédérale de Lausanne (EPFL), January 2005. [ WWW ] [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

  13. Dirk Beyer and Andreas Noack. CrocoPat 2.1 Introduction and Reference Manual. Technical report UCB//CSD-04-1338, Computer Science Division (EECS), University of California, Berkeley, July 2004.
    Also: The Computing Research Repository (CoRR), cs.PL/0409009, September 2004. [ WWW ] [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [Annotation] [bibtex-entry]

  14. Dirk Beyer and Claus Lewerentz. CrocoPat: A Tool for Efficient Pattern Recognition in Large Object-Oriented Programs. Technical report I-04/2003, Institute of Computer Science, Brandenburgische Technische Universität Cottbus, January 2003. [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Annotation] [bibtex-entry]

  15. Dirk Beyer and Andreas Noack. A Comparative Study of Decision Diagrams for Real-Time Verification. Technical report I-03/2003, Institute of Computer Science, Brandenburgische Technische Universität Cottbus, January 2003. Keyword(s): Formal Verification of Real-Time Systems. [Annotation] [bibtex-entry]

  16. Dirk Beyer. Rabbit: Verification of Real-Time Systems. Technical report I-05/2001, Institute of Computer Science, Brandenburgische Technische Universität Cottbus, March 2001. Keyword(s): Formal Verification of Real-Time Systems. [Annotation] [bibtex-entry]

  17. Dirk Beyer. Reachability Analysis and Refinement Checking for BDD-Based Model Checking of Timed Automata. Technical report I-04/2001, Institute of Computer Science, Brandenburgische Technische Universität Cottbus, February 2001. Keyword(s): Formal Verification of Real-Time Systems. [Annotation] [bibtex-entry]

  18. Dirk Beyer, Claus Lewerentz, and Frank Simon. Flattening Inheritance Structures -- OR -- Getting the Right Picture of Large OO-Systems. Technical report I-12/2000, Institute of Computer Science, Brandenburgische Technische Universität Cottbus, November 2000. [ PDF ] Keyword(s): Structural Analysis and Comprehension. [Abstract] [bibtex-entry]

  19. Dirk Beyer and Andreas Noack. Efficient Verification of Real-Time Systems using BDDs. Technical report I-13/2000, Institute of Computer Science, Brandenburgische Technische Universität Cottbus, December 2000. Keyword(s): Formal Verification of Real-Time Systems. [Annotation] [bibtex-entry]

  20. Frank Simon and Dirk Beyer. Considering Inheritance, Overriding, Overloading and Polymorphism for Measuring C++ Sources. Technical report I-04/2000, Institute of Computer Science, Brandenburgische Technische Universität Cottbus, May 2000. Keyword(s): Structural Analysis and Comprehension. [Annotation] [bibtex-entry]

  21. Dirk Beyer and Heinrich Rust. A Formalism for Modular Modelling of Hybrid Systems. Technical report I-10/1999, Institute of Computer Science, Brandenburgische Technische Universität Cottbus, October 1999. Keyword(s): Formal Verification of Real-Time Systems. [Annotation] [bibtex-entry]

  22. Dirk Beyer and Heinrich Rust. A Modular Hybrid Modelling Notation. Technical report I-03/1999, Institute of Computer Science, Brandenburgische Technische Universität Cottbus, February 1999. Keyword(s): Formal Verification of Real-Time Systems. [Annotation] [bibtex-entry]

Selection by year, by research interest, with abstracts, ...



Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.




Last modified: Thu Feb 20 21:25:21 2014
Author: dbeyer.


This document was translated from BibTEX by bibtex2html