Dirk Beyer

Citace

	Všechny	Od 2017
Citace	8106	3661
h-index	46	33
i10-index	99	71

760

380

190

570

2003200420052006200720082009201020112012201320142015201620172018201920202021202236 48 103 137 183 256 295 316 325 408 480 472 607 621 702 705 657 746 593 255

Veřejný přístup

Zobrazit všechny

26 článků

0 článků*

dostupné

nedostupné

Vychází ze zplnomocnění pro financování

Spoluautoři

Thomas HenzingerIST AustriaE-mailová adresa ověřena na: ist.ac.at
Philipp WendlerLMU Munich, GermanyE-mailová adresa ověřena na: lmu.de
Rupak MajumdarMPI for Software SystemsE-mailová adresa ověřena na: mpi-sws.org
Ranjit JhalaProfessor of Computer Science, UC San DiegoE-mailová adresa ověřena na: cs.ucsd.edu
Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusE-mailová adresa ověřena na: cs.uni-saarland.de
Stefan LöweE-mailová adresa ověřena na: fim.uni-passau.de
Matthias DanglLudwig-Maximilians-Universität MünchenE-mailová adresa ověřena na: sosy.ifi.lmu.de
Alexander von RheinUniversity of PassauE-mailová adresa ověřena na: fim.uni-passau.de
Claus LewerentzProfessor für Softwaretechnik, BTU CottbusE-mailová adresa ověřena na: tu-cottbus.de
Andreas StahlbauerUniversity of PassauE-mailová adresa ověřena na: uni-passau.de
Thomas LembergerLMU MunichE-mailová adresa ověřena na: lmu.de
Friedberger KarlheinzLMU MunichE-mailová adresa ověřena na: lmu.de
Bernhard SteffenProfessor für Informatik, TU DortmundE-mailová adresa ověřena na: cs.uni-dortmund.de
Marieke HuismanE-mailová adresa ověřena na: ewi.utwente.nl
Andrey RybalchenkoMicrosoft ResearchE-mailová adresa ověřena na: microsoft.com
Matthias HeizmannUniversity of Freiburg, GermanyE-mailová adresa ověřena na: heizmann.name
Daniel DietschUniversity FreiburgE-mailová adresa ověřena na: informatik.uni-freiburg.de
Marie-Christine JakobsTU DarmstadtE-mailová adresa ověřena na: cs.tu-darmstadt.de
Adam ChlipalaMIT CSAILE-mailová adresa ověřena na: csail.mit.edu
Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsE-mailová adresa ověřena na: mpi-sws.org

Sledovat

Dirk Beyer

Professor of Computer Science, LMU Munich, Germany

E-mailová adresa ověřena na: lmu.de - Domovská stránka

Software Verification Model Checking Program Analysis Formal Verification Clustering


Název Seřadit podle citací Seřadit podle roku Seřadit podle názvu	Citace Citace	Rok
The Software Model Checker BLAST D Beyer, TA Henzinger, R Jhala, R Majumdar International Journal on Software Tools for Technology Transfer (STTT) 9 (5 …, 2007	779	2007
CPAchecker: A Tool for Configurable Software Verification D Beyer, ME Keremoglu Proceedings of the 23rd International Conference on Computer Aided …, 2011	639	2011
Generating Tests from Counterexamples D Beyer, AJ Chlipala, TA Henzinger, R Jhala, R Majumdar Proceedings of the 26th International Conference on Software Engineering …, 2004	309	2004
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis D Beyer, TA Henzinger, G Théoduloz Proceedings of the 19th International Conference on Computer Aided …, 2007	253	2007
Path Invariants D Beyer, TA Henzinger, R Majumdar, A Rybalchenko Proceedings of the 2007 ACM Conference on Programming Language Design and …, 2007	245	2007
Web Service Interfaces D Beyer, A Chakrabarti, TA Henzinger Proceedings of the 14th ACM International Conference on World Wide Web (WWW …, 2005	205	2005
Strategies for Product-Line Verification: Case Studies and Experiments S Apel, A Von Rhein, P Wendler, A Größlinger, D Beyer 2013 35th International Conference on Software Engineering (ICSE), 482-491, 2013	199	2013
Software Model Checking via Large-Block Encoding D Beyer, A Cimatti, A Griggio, ME Keremoglu, R Sebastiani Proceedings of the 9th International Conference on Formal Methods in …, 2009	185	2009
Symbolic Invariant Verification for Systems with Dynamic Structural Adaptation B Becker, D Beyer, H Giese, F Klein, D Schilling Proceedings of the 28th ACM/IEEE International Conference on Software …, 2006	172	2006
Clustering Software Artifacts Based on Frequent Common Changes D Beyer, A Noack Proceedings 13th IEEE International Workshop on Program Comprehension (IWPC …, 2005	170	2005
Software Verification and Verifiable Witnesses D Beyer International Conference on Tools and Algorithms for the Construction and …, 2015	165	2015
Detection of Feature Interactions Using Feature-Aware Verification S Apel, H Speidel, P Wendler, A von Rhein, D Beyer 26th International Conference on Automated Software Engineering (ASE) 5, 372-375, 2011	163	2011
Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016) D Beyer International Conference on Tools and Algorithms for the Construction and …, 2016	153	2016
Predicate Abstraction with Adjustable-Block Encoding D Beyer, ME Keremoglu, P Wendler Proceedings of the 10th International Conference on Formal Methods in …, 2010	150	2010
Competition on Software Verification D Beyer 18th International Conference on Tools and Algorithms for the Construction …, 2012	141	2012
Efficient Relational Calculation for Software Analysis D Beyer, A Noack, C Lewerentz IEEE Transactions on Software Engineering (TSE) 31 (2), 137-149, 2005	134	2005
Explicit-State Software Model Checking Based on CEGAR and Interpolation D Beyer, S Löwe Proc. FASE, 2013	130	2013
Software Verification with Validation of Results D Beyer International Conference on Tools and Algorithms for the Construction and …, 2017	128	2017
Program Analysis with Dynamic Precision Adjustment D Beyer, TA Henzinger, G Théoduloz Proceedings of the 23rd IEEE/ACM International Conference on Automated …, 2008	128	2008
Invariant Synthesis for Combined Theories D Beyer, TA Henzinger, R Majumdar, A Rybalchenko Proceedings of the Eighth International Conference on Verification, Model …, 2007	128	2007

Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.

Články 1–20

Citace za rok

Duplicitní citace

Sloučené citace

Přidat spoluautorySpoluautoři

Sledování aktivity tohoto autora

Citace

Spoluautoři