Carsten Weise

Publication Activity (10 Years)

Years Active: 1992-2012
Publications (10 Years): 0

Top Venues

ICST

QSIC

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Dominik Franke, Stefan Kowalewski, Carsten Weise
A Mobile Software Quality Model. QSIC (2012)
Dominik Franke, Stefan Kowalewski, Carsten Weise, Nath Prakobkosol
Testing Conformance of Life Cycle Dependent Properties of Mobile Applications. ICST (2012)
Ralf Mitsching, Carsten Weise, Frank Fiedler, Stefan Kowalewski, Henrik C. Bohnenkamp
TripleT: Improving Test Responsiveness for High Performance Embedded Systems. ICST Workshops (2011)
Jacob Palczynski, Carsten Weise, Stefan Kowalewski, Daniel Ulmer
Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check. ICST Workshops (2011)
Dominik Franke, Corinna Elsemann, Stefan Kowalewski, Carsten Weise
Reverse Engineering of Mobile Application Lifecycles. WCRE (2011)
Ralf Mitsching, Carsten Weise, Dominik Franke, Thomas Gerlitz, Stefan Kowalewski
Coping with Complexity of Testing Models for Real-Time Embedded Systems. SSIRI (Companion) (2011)
Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Klaus Wehrle, Carsten Weise, Stefan Kowalewski
Scalable Symbolic Execution of Distributed Systems. ICDCS (2011)
Jacob Palczynski, Carsten Weise, Sebastian Moj, Stefan Kowalewski
Comparing Continous Behavior in Model-based Development of Embedded Software. MBEES (2011)
Dominik Franke, Carsten Weise
Providing a Software Quality Framework for Testing of Mobile Applications. ICST (2011)
Ralf Mitsching, Carsten Weise, Thomas Gatterdam, Stefan Kowalewski
Low Effort Evaluation of Real-Time and Reliability Requirements for Embedded Systems. CIT (2010)
Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, Klaus Wehrle
KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment. IPSN (2010)
Ralf Mitsching, Carsten Weise, Stefan Kowalewski
Design Patterns for Integrating Variability in Timed Automata. SSIRI (Companion) (2010)
Ralf Mitsching, Carsten Weise, André Kolbe, Henrik C. Bohnenkamp, Norbert Berzen
Towards an Industrial Strength Process for Timed Testing. ICST Workshops (2009)
John F. Schommer, Dominik Franke, Stefan Kowalewski, Carsten Weise
Evaluation of the real-time Java runtime environment for deployment in time-critical systems. JTRES (2009)
Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll
Proving Correctness of an Efficient Abstraction for Interrupt Handling. Electron. Notes Theor. Comput. Sci. 217 (2008)
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, Wang Yi
UPPAAL - Now, Next, and Future. MOVEP (2000)
Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi
Efficient Timed Reachability Analysis Using Clock Difference Diagrams. CAV (1999)
Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi
Clock Difference Diagrams. Nord. J. Comput. 6 (3) (1999)
Carsten Weise
Flexibilität durch kombinierte Design Pattern. Java-Informations-Tage (1998)
Carsten Weise, Dirk Lenzkes
Weak Refinement for Modal Hybrid Systems. HART (1997)
Carsten Weise, Dirk Lenzkes
Efficient Scaling-Invariant Checking of Timed Bisimulation. STACS (1997)
Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools. Int. J. Softw. Tools Technol. Transf. 1 (1-2) (1997)
Volker Braun, Tiziana Margaria, Carsten Weise
Integrating Tools in the ETI Platform. Int. J. Softw. Tools Technol. Transf. 1 (1-2) (1997)
François Laroussinie, Kim Guldstrand Larsen, Carsten Weise
From Timed Automata to Logic - and Back. MFCS (1995)
Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. Hybrid Systems (1995)
Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
A Constraint Oriented Proof Methodology Based on Modal Transition Systems. TACAS (1995)
Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise
The Methodology of Modal Constraints. Formal Systems Specification (1994)
Carsten Weise, Tiziana Margaria
Continuous Real Time Models in Practice. RTS (1993)
Bernhard Steffen, Carsten Weise
Deciding Testing Equivalence for Real-Time Processes with Dense Time. MFCS (1993)
Ulrich Fröhlings, Carsten Weise
Parallelisierung objekt-basierter Programme auf einem Transputer-Netzwerk. Transputer-Anwender-Treffen (1992)

Carsten Weise.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carsten Weise