Követés
Dirk Beyer
Dirk Beyer
Professor of Computer Science, LMU Munich, Germany
E-mail megerősítve itt: lmu.de - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
CPAchecker: A Tool for Configurable Software Verification
D Beyer, ME Keremoglu
Proceedings of the 23rd International Conference on Computer Aided …, 2011
8672011
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
851*2007
Generating Tests from Counterexamples
D Beyer, AJ Chlipala, TA Henzinger, R Jhala, R Majumdar
Proceedings of the 26th International Conference on Software Engineering …, 2004
3352004
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
2962007
Path Invariants
D Beyer, TA Henzinger, R Majumdar, A Rybalchenko
Proceedings of the 2007 ACM Conference on Programming Language Design and …, 2007
2652007
Reliable Benchmarking: Requirements and Solutions
D Beyer, S Löwe, P Wendler
International Journal on Software Tools for Technology Transfer 21 (1), 1-29, 2019
2512019
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
2362013
Web Service Interfaces
D Beyer, A Chakrabarti, TA Henzinger
Proceedings of the 14th ACM International Conference on World Wide Web (WWW …, 2005
2122005
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
2062009
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
1902011
Predicate Abstraction with Adjustable-Block Encoding
D Beyer, ME Keremoglu, P Wendler
Proceedings of the 10th International Conference on Formal Methods in …, 2010
1872010
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
1852006
Software Verification and Verifiable Witnesses
D Beyer
International Conference on Tools and Algorithms for the Construction and …, 2015
184*2015
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
1752016
Clustering Software Artifacts Based on Frequent Common Changes
D Beyer, A Noack
Proceedings 13th IEEE International Workshop on Program Comprehension (IWPC …, 2005
1712005
Competition on Software Verification
D Beyer
18th International Conference on Tools and Algorithms for the Construction …, 2012
169*2012
Explicit-State Software Model Checking Based on CEGAR and Interpolation
D Beyer, S Löwe
Proc. FASE, 2013
1612013
Program Analysis with Dynamic Precision Adjustment
D Beyer, TA Henzinger, G Théoduloz
Proceedings of the 23rd IEEE/ACM International Conference on Automated …, 2008
1512008
Software Verification with Validation of Results
D Beyer
International Conference on Tools and Algorithms for the Construction and …, 2017
1502017
Invariant Synthesis for Combined Theories
D Beyer, TA Henzinger, R Majumdar, A Rybalchenko
Proceedings of the Eighth International Conference on Verification, Model …, 2007
1452007
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20