Parallelisierung objekt-basierter Programme auf einem Transputer-Netzwerk. - Ulrich Fröhlings; Carsten Weise (Transputer-Anwender-Treffen, 1992)

Continuous Real Time Models in Practice. - Carsten Weise; Tiziana Margaria (RTS, 1993)

Deciding Testing Equivalence for Real-Time Processes with Dense Time. - Bernhard Steffen; Carsten Weise (MFCS, 1993)

The Methodology of Modal Constraints. - Kim Guldstrand Larsen; Bernhard Steffen; Carsten Weise (Formal Systems Specification, 1994)

Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. - Kim Guldstrand Larsen; Bernhard Steffen; Carsten Weise (Hybrid Systems, 1995)

From Timed Automata to Logic - and Back. - François Laroussinie; Kim Guldstrand Larsen; Carsten Weise (MFCS, 1995)

A Constraint Oriented Proof Methodology Based on Modal Transition Systems. - Kim Guldstrand Larsen; Bernhard Steffen; Carsten Weise (TACAS, 1995)

Entscheidungsalgorithmen für Äquivalenzen in Echtzeit-Prozesskalkülen mit dichtem Zeitbereich. - Carsten Weise (1995)

Weak Refinement for Modal Hybrid Systems. - Carsten Weise; Dirk Lenzkes (HART, 1997)

Efficient Scaling-Invariant Checking of Timed Bisimulation. - Carsten Weise; Dirk Lenzkes (STACS, 1997)

Integrating Tools in the ETI Platform. - Volker Braun; Tiziana Margaria; Carsten Weise (Int. J. Softw. Tools Technol. Transf., 1997)

Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools. - Kim Guldstrand Larsen; Bernhard Steffen; Carsten Weise (Int. J. Softw. Tools Technol. Transf., 1997)

Flexibilität durch kombinierte Design Pattern. - Carsten Weise (Java-Informations-Tage, 1998)

Efficient Timed Reachability Analysis Using Clock Difference Diagrams. - Gerd Behrmann; Kim Guldstrand Larsen; Justin Pearson; Carsten Weise; Wang Yi 001 (CAV, 1999)

Clock Difference Diagrams. - Kim Guldstrand Larsen; Justin Pearson; Carsten Weise; Wang Yi 001 (Nord. J. Comput., 1999)

UPPAAL - Now, Next, and Future. - Tobias Amnell; Gerd Behrmann; Johan Bengtsson; Pedro R. D'Argenio; Alexandre David; Ansgar Fehnker; Thomas Hune; Bertrand Jeannet; Kim Guldstrand Larsen; M. Oliver Möller; Paul Pettersson; Carsten Weise; et al. (MOVEP, 2000)

Proving Correctness of an Efficient Abstraction for Interrupt Handling. - Gerlind Herberich; Bastian Schlich; Carsten Weise; Thomas Noll 001 (SSV, 2008)

Towards an Industrial Strength Process for Timed Testing. - Ralf Mitsching; Carsten Weise; André Kolbe; Henrik C. Bohnenkamp; Norbert Berzen (ICST Workshops, 2009)

Evaluation of the real-time Java runtime environment for deployment in time-critical systems. - John F. Schommer; Dominik Franke; Stefan Kowalewski; Carsten Weise (JTRES, 2009)

Low Effort Evaluation of Real-Time and Reliability Requirements for Embedded Systems. - Ralf Mitsching; Carsten Weise; Thomas Gatterdam; Stefan Kowalewski (CIT, 2010)

KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment. - Raimondas Sasnauskas; Olaf Landsiedel; Muhammad Hamad Alizai; Carsten Weise; Stefan Kowalewski; Klaus Wehrle (IPSN, 2010)

Design Patterns for Integrating Variability in Timed Automata. - Ralf Mitsching; Carsten Weise; Stefan Kowalewski (SSIRI (Companion), 2010)

Scalable Symbolic Execution of Distributed Systems. - Raimondas Sasnauskas; Oscar Soria Dustmann; Benjamin Lucien Kaminski; Klaus Wehrle; Carsten Weise; Stefan Kowalewski (ICDCS, 2011)

Providing a Software Quality Framework for Testing of Mobile Applications. - Dominik Franke; Carsten Weise (ICST, 2011)

TripleT: Improving Test Responsiveness for High Performance Embedded Systems. - Ralf Mitsching; Carsten Weise; Frank Fiedler; Stefan Kowalewski; Henrik C. Bohnenkamp (ICST Workshops, 2011)

Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check. - Jacob Palczynski; Carsten Weise; Stefan Kowalewski; Daniel Ulmer (ICST Workshops, 2011)

Comparing Continous Behavior in Model-based Development of Embedded Software. - Jacob Palczynski; Carsten Weise; Sebastian Moj; Stefan Kowalewski (MBEES, 2011)

Coping with Complexity of Testing Models for Real-Time Embedded Systems. - Ralf Mitsching; Carsten Weise; Dominik Franke; Thomas Gerlitz; Stefan Kowalewski (SSIRI (Companion), 2011)

Reverse Engineering of Mobile Application Lifecycles. - Dominik Franke; Corinna Elsemann; Stefan Kowalewski; Carsten Weise (WCRE, 2011)

Testing Conformance of Life Cycle Dependent Properties of Mobile Applications. - Dominik Franke; Stefan Kowalewski; Carsten Weise; Nath Prakobkosol (ICST, 2012)

A Mobile Software Quality Model. - Dominik Franke; Stefan Kowalewski; Carsten Weise (QSIC, 2012)