|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 27 occurrences of 26 keywords
|
|
|
|
|
Results
Found 22 publication records. Showing 22 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dominik Franke, Carsten Weise |
Providing a Software Quality Framework for Testing of Mobile Applications.  |
ICST  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Franke, Corinna Elsemann, Stefan Kowalewski, Carsten Weise |
Reverse Engineering of Mobile Application Lifecycles. |
WCRE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Klaus Wehrle, Carsten Weise, Stefan Kowalewski |
Scalable Symbolic Execution of Distributed Systems. |
ICDCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Mitsching, Carsten Weise, Thomas Gatterdam, Stefan Kowalewski |
Low Effort Evaluation of Real-Time and Reliability Requirements for Embedded Systems. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
reliability, embedded systems, real-time, measurements, linux, rapid prototyping, microcontroller |
| 1 | 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 |
DBLP DOI BibTeX RDF |
automated protocol testing, wireless sensor networks, experimentation, failure detection |
| 1 | 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 |
DBLP DOI BibTeX RDF |
initialization time compilation, scheduling, Java, real-time, benchmark, monitoring, timing, memory management, RTSJ, ITC |
| 1 | Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll |
Proving Correctness of an Efficient Abstraction for Interrupt Handling. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Grieskamp, Carsten Weise (eds.) |
Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers |
FATES |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi |
Clock Difference Diagrams. |
Nord. J. Comput. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi |
Efficient Timed Reachability Analysis Using Clock Difference Diagrams. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Weise |
Flexibilität durch kombinierte Design Pattern. |
Java-Informations-Tage |
1998 |
DBLP BibTeX RDF |
|
| 1 | Volker Braun, Tiziana Margaria, Carsten Weise |
Integrating Tools in the ETI Platform. |
STTT |
1997 |
DBLP DOI BibTeX RDF |
ETI Online Service, Integration Platform, Tool Integration |
| 1 | Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise |
Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools. |
STTT |
1997 |
DBLP DOI BibTeX RDF |
Continuous time modeling, Timed automata-based modeling, Drifting clocks, Formal methods, Hybrid systems, Discrete time modeling |
| 1 | Carsten Weise, Dirk Lenzkes |
Efficient Scaling-Invariant Checking of Timed Bisimulation. |
STACS |
1997 |
DBLP DOI BibTeX RDF |
program specification and verification, real-time systems, decidability, algorithms and data structures, automata and formal languages |
| 1 | Carsten Weise, Dirk Lenzkes |
Weak Refinement for Modal Hybrid Systems. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise |
A Constraint Oriented Proof Methodology Based on Modal Transition Systems. |
TACAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | François Laroussinie, Kim Guldstrand Larsen, Carsten Weise |
From Timed Automata to Logic - and Back. |
MFCS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise |
Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. |
Hybrid Systems |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise |
The Methodology of Modal Constraints. |
Formal Systems Specification |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Steffen, Carsten Weise |
Deciding Testing Equivalence for Real-Time Processes with Dense Time. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Fröhlings, Carsten Weise |
Parallelisierung objekt-basierter Programme auf einem Transputer-Netzwerk. |
Transputer-Anwender-Treffen |
1992 |
DBLP BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")