| 2012 | ICST | Testing Conformance of Life Cycle Dependent Properties of Mobile Applications. | Dominik Franke, Stefan Kowalewski, Carsten Weise, Nath Prakobkosol |
| 2011 | ICDCS | Scalable Symbolic Execution of Distributed Systems. | Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Klaus Wehrle, Carsten Weise, Stefan Kowalewski |
| 2011 | ICST | Providing a Software Quality Framework for Testing of Mobile Applications. | Dominik Franke, Carsten Weise |
| 2011 | ICST | TripleT: Improving Test Responsiveness for High Performance Embedded Systems. | Ralf Mitsching, Carsten Weise, Frank Fiedler, Stefan Kowalewski, Henrik C. Bohnenkamp |
| 2011 | ICST | Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check. | Jacob Palczynski, Carsten Weise, Stefan Kowalewski, Daniel Ulmer |
| 2009 | ICST | Towards an Industrial Strength Process for Timed Testing. | Ralf Mitsching, Carsten Weise, Andr Kolbe, Henrik C. Bohnenkamp, Norbert Berzen |
| 1999 | CAV | Efficient Timed Reachability Analysis Using Clock Difference Diagrams. | Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi |
| 1997 | STACS | Efficient Scaling-Invariant Checking of Timed Bisimulation. | Carsten Weise, Dirk Lenzkes |
| 1995 | MFCS | From Timed Automata to Logic - and Back. | Franois Laroussinie, Kim Guldstrand Larsen, Carsten Weise |
| 1995 | TACAS | A Constraint Oriented Proof Methodology Based on Modal Transition Systems. | Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise |
| 1993 | ECRTS | Continuous Real Time Models in Practice. | Carsten Weise, Tiziana Margaria |
| 1993 | MFCS | Deciding Testing Equivalence for Real-Time Processes with Dense Time. | Bernhard Steffen, Carsten Weise |