Bruno K. Meyer is affiliated with the University of Giessen in Germany and has a research focus primarily in computer science, with a total of 52 publications within this field. Their work spans multiple subfields including software (15 publications), information systems (13 publications), artificial intelligence (11 publications), computer networks and communications (4 publications), and computational theory and mathematics (3 publications). The breadth of their research interests highlights a multidisciplinary approach to computer science.
Their scholarly contributions emphasize topics such as software engineering research and software testing and debugging techniques, each represented by 18 publications. Additional research topics include logic, programming, and type systems (10 publications), advanced software engineering methodologies (8 publications), software reliability and analysis research (8 publications), formal methods in verification (6 publications), and service-oriented architecture and web services (4 publications).
Bruno K. Meyer's recent publications cover a range of formal and practical software engineering themes. Notable papers include "The Role of Formalism in System Requirements" (2021) published in ACM Computing Surveys, "A failed proof can yield a useful test" (2023) featured in Software Testing Verification and Reliability, and "The Concept of Class Invariant in Object-oriented Programming" (2024) in Formal Aspects of Computing. Other recent works include "Seeding Contradiction: a Fast Method for Generating Full-Coverage Test Suites" (2024) and "Special Issue on New Paradigms of Software Production and Deployment" (2022), both published in SN Computer Science.
Bruno K. Meyer frequently collaborates with various researchers. The most regular co-authors are:
Their publications appear in several venues, with the majority being on arXiv (Cornell University) with 13 publications. Additional venues include Formal Aspects of Computing and SN Computer Science with 2 publications each, as well as ACM Computing Surveys and Software Testing Verification and Reliability with one publication each.
Regarding book publications, Bruno K. Meyer has contributed two titles published by Springer Science+Business Media: "Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment" (2020) and "Frontiers in Software Engineering Education" (2023).
B. K. Meyer;H. Alves;D. M. Hofmann;W. Kriegseis
B. K. Meyer;A. Polity;D. Reppin;M. Becker
C. F. Klingshirn;B. K. Meyer;Andreas Waag;Axel Hoffmann
V. Petrova‐Koch;T. Muschik;A. Kux;B. K. Meyer
A. Kaschner;U. Haboeck;Martin Strassburg;Matthias Strassburg
W. Stadler;D. M. Hofmann;H. C. Alt;T. Muschik
H. Zhou;H. Alves;D. M. Hofmann;W. Kriegseis
F.H. Leiter;H.R. Alves;A. Hofstaetter;D.M. Hofmann
S. Fischer;C. Wetzel;E. E. Haller;B. K. Meyer
W Burkhardt;T Christmann;S Franke;W Kriegseis
B. K. Meyer;A. Polity;B. Farangis;Y. He
Walter R. L. Lambrecht;Anna V. Rodina;Sukit Limpijumnong;Sukit Limpijumnong;B. Segall
C. Wetzel;T. Suski;J.W. Ager Iii;E.R. Weber
DM Hofmann;D Kovalev;G Steude;BK Meyer
W Burkhardt;T Christmann;B.K Meyer;W Niessner
F. Leiter;H. Alves;D. Pfisterer;N.G. Romanov
D. M. Hofmann;P. Omling;H. G. Grimmeiss;B. K. Meyer
A. Klöppel;W. Kriegseis;B.K. Meyer;A. Scharmann
D Volm;K Oettinger;T Streibl;D Kovalev
M. Fiederle;C. Eiche;M. Salk;R. Schwarz
T. Wimbauer;B. K. Meyer;A. Hofstaetter;A. Scharmann
M. R. Wagner;G. Callsen;J. S. Reparaz;J.-H. Schulze
H. Siegle;L. Eckey;A. Hoffmann;C. Thomsen
If you think any of the details on this page are incorrect, let us know.
Universität Hamburg
Nanjing University
Inserm
Swedish University of Agricultural Sciences
Pennsylvania State University
University of California, Irvine
Peking University
Bedford Institute of Oceanography
The Wistar Institute
Bahir Dar University
University of Toronto
Universitat Politècnica de València
Cornell University
Boston University
Columbia University
University of Oxford