2019
Title Author Source

43rd IEEE Annual Computer Software and Applications Conference, COMPSAC 2019, Milwaukee, WI, USA, July 15-19, 2019, Volume 1. IEEE 2019: 523-528

In Proc. of Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019

In Proc. of Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019

31st IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019, Portland, OR, USA, November 4-6, 2019. IEEE 2019: 64-70

2018
Title Author Source

In Proc. of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018.

Handbook of Parallel Constraint Reasoning 2018: 3-29

2016
Title Author Source

Artificial Intelligence, Volume 241: 45-65

2015
Title Author Source

Artificial Intelligence, Volume 223: 120-155

Innovations in Systems and Software Engineering, Volume 11, Number 4, December 2015: 233-242

18th SAT 2015: Austin, TX, USA: 156-172

18th SAT 2015: Austin, TX, USA: 255-271

2014
Title Author Source

Softwaretechnik-Trends, Volume 34, Number 3, Fachgruppenberichte 36. Treffen der GI - Fachgruppe Test, Analyse und Verifikation von Software (TAV-36)

Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014

Dagstuhl Reports, Volume 4, Number 8, August 2014: 107-125

2013
Title Author Source

2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013. IEEE 2013:706-709

In Proc. of Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013

In Proc. of 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013

In Revised Selected Papers of Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013

2012
Title Author Source

In Proc. of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012.

10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012. Seiten 98-108

In Proc. of SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012.

Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings.:542-544

Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings.:146-161

In Proc. of the 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012.

2011
Title Author Source

Business Information Systems - 14th International Conference, BIS 2011, Poznan, Poland, June 15-17, 2011. Proceedings. :1-12

Business Information Systems Workshops - BIS 2011 International Workshops and BPSC International Conference, Poznań, Poland, June 15-17, 2011. Revised Papers. :18-29

 

Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz

FoVeOOS 2011: 86-104

Karlsruhe Report in Informatics 2011-6

2010
Title Author Source

In Proc. of the 5th Intl. Workshop on Systems Software Verification (SSV 2010), Vancouver, Canada

In Proc. of the 7th Intl. Conf. on Quality of Information and Communications Technology (QUATIC 2010), Oporto, Portugal

In Proc. of the 7th Intl. Workshop on Formal Aspects of Security & Trust (FAST 2010), Pisa, Italy

Journal on Satisfiability, Boolean Modeling and Computation 7:35-58

In V. Pankratius, S. Kounev, editors, Emerging Research Directions in Computer Science – Contributions from the Young Informatics Faculty in Karlsruhe, pages 69-77. KIT Scientific Publishing, Karlsruhe, Germany

2009
Title Author Source

In Proc. of the 12th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT 2009), pages 356-362, Swansea, UK

Proceedings of the 4th Athens Colloquium on Algorithms and Complexity

Electronic Proceedings in Theoretical Computer Science 4:13-21

Journal for Software Testing, Verification and Reliability 19(2):155-172

Proceedings of the 17th IEEE International Requirements Engineering Conference

Pages 295-302

Proceedings of the 2nd International Conference on Software Testing, Verification, and Validation

Pages 31-40

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology

Electronic Notes in Theoretical Computer Science 225:405-420

2008
Title Author Source

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering

Pages 188-197

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering

Pages 347-350

In Proc. of the 11th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT 2008), pages 154-160, Guangzhou, China

In Proc. of the 11th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT 2008), pages 161-167, Guangzhou, China

In Proc. of the IFIP/IEEE Network Operations and Management Symposium (NOMS 2008), pages 755-758, Salvador, Brazil

In Proc. of the 1st IEEE Workshop on Automated Network Management (ANM 2008), Phoenix, AZ

In IEEE Transactions on Network and Service Management, 5(2):91-104.