Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Carsten Weise
@inproceedings{DBLP:conf/icst/FrankeKWP12, author = {Dominik Franke and Stefan Kowalewski and Carsten Weise and Nath Prakobkosol}, editor = {Giuliano Antoniol and Antonia Bertolino and Yvan Labiche}, title = {Testing Conformance of Life Cycle Dependent Properties of Mobile Applications}, booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012}, pages = {241--250}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ICST.2012.104}, doi = {10.1109/ICST.2012.104}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/FrankeKWP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qsic/FrankeKW12, author = {Dominik Franke and Stefan Kowalewski and Carsten Weise}, editor = {Antony Tang and Henry Muccini}, title = {A Mobile Software Quality Model}, booktitle = {2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012}, pages = {154--157}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/QSIC.2012.49}, doi = {10.1109/QSIC.2012.49}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/qsic/FrankeKW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pts/2012, editor = {Brian Nielsen and Carsten Weise}, title = {Testing Software and Systems - 24th {IFIP} {WG} 6.1 International Conference, {ICTSS} 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7641}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34691-0}, doi = {10.1007/978-3-642-34691-0}, isbn = {978-3-642-34690-3}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pts/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcs/SasnauskasDKWWK11, author = {Raimondas Sasnauskas and Oscar Soria Dustmann and Benjamin Lucien Kaminski and Klaus Wehrle and Carsten Weise and Stefan Kowalewski}, title = {Scalable Symbolic Execution of Distributed Systems}, booktitle = {2011 International Conference on Distributed Computing Systems, {ICDCS} 2011, Minneapolis, Minnesota, USA, June 20-24, 2011}, pages = {333--342}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ICDCS.2011.28}, doi = {10.1109/ICDCS.2011.28}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdcs/SasnauskasDKWWK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/MitschingWFKB11, author = {Ralf Mitsching and Carsten Weise and Frank Fiedler and Stefan Kowalewski and Henrik C. Bohnenkamp}, title = {TripleT: Improving Test Responsiveness for High Performance Embedded Systems}, booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings}, pages = {67--74}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ICSTW.2011.86}, doi = {10.1109/ICSTW.2011.86}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/MitschingWFKB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/FrankeW11, author = {Dominik Franke and Carsten Weise}, title = {Providing a Software Quality Framework for Testing of Mobile Applications}, booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011}, pages = {431--434}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ICST.2011.18}, doi = {10.1109/ICST.2011.18}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/FrankeW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/PalczynskiWKU11, author = {Jacob Palczynski and Carsten Weise and Stefan Kowalewski and Daniel Ulmer}, title = {Estimation of Clock Drift in HiL Testing by Property-Based Conformance Check}, booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings}, pages = {590--595}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ICSTW.2011.101}, doi = {10.1109/ICSTW.2011.101}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/PalczynskiWKU11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mbees/PalczynskiWMK11, author = {Jacob Palczynski and Carsten Weise and Sebastian Moj and Stefan Kowalewski}, editor = {Holger Giese and Michaela Huhn and Jan Phillips and Bernhard Sch{\"{a}}tz}, title = {Comparing Continous Behavior in Model-based Development of Embedded Software}, booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme}, pages = {61--70}, publisher = {fortiss GmbH, M{\"{u}}nchen}, year = {2011}, timestamp = {Thu, 12 Mar 2020 11:39:36 +0100}, biburl = {https://dblp.org/rec/conf/mbees/PalczynskiWMK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssiri/MitschingWFGK11, author = {Ralf Mitsching and Carsten Weise and Dominik Franke and Thomas Gerlitz and Stefan Kowalewski}, title = {Coping with Complexity of Testing Models for Real-Time Embedded Systems}, booktitle = {Fifth International Conference on Secure Software Integration and Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume}, pages = {128--135}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/SSIRI-C.2011.27}, doi = {10.1109/SSIRI-C.2011.27}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ssiri/MitschingWFGK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wcre/FrankeEKW11, author = {Dominik Franke and Corinna Elsemann and Stefan Kowalewski and Carsten Weise}, editor = {Martin Pinzger and Denys Poshyvanyk and Jim Buckley}, title = {Reverse Engineering of Mobile Application Lifecycles}, booktitle = {18th Working Conference on Reverse Engineering, {WCRE} 2011, Limerick, Ireland, October 17-20, 2011}, pages = {283--292}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/WCRE.2011.42}, doi = {10.1109/WCRE.2011.42}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wcre/FrankeEKW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEcit/MitschingWGK10, author = {Ralf Mitsching and Carsten Weise and Thomas Gatterdam and Stefan Kowalewski}, title = {Low Effort Evaluation of Real-Time and Reliability Requirements for Embedded Systems}, booktitle = {10th {IEEE} International Conference on Computer and Information Technology, {CIT} 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010}, pages = {2433--2440}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/CIT.2010.418}, doi = {10.1109/CIT.2010.418}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEcit/MitschingWGK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipsn/SasnauskasLAWKW10, author = {Raimondas Sasnauskas and Olaf Landsiedel and Muhammad Hamad Alizai and Carsten Weise and Stefan Kowalewski and Klaus Wehrle}, editor = {Tarek F. Abdelzaher and Thiemo Voigt and Adam Wolisz}, title = {KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment}, booktitle = {Proceedings of the 9th International Conference on Information Processing in Sensor Networks, {IPSN} 2010, April 12-16, 2010, Stockholm, Sweden}, pages = {186--196}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1791212.1791235}, doi = {10.1145/1791212.1791235}, timestamp = {Tue, 06 Nov 2018 16:59:08 +0100}, biburl = {https://dblp.org/rec/conf/ipsn/SasnauskasLAWKW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssiri/MitschingWK10, author = {Ralf Mitsching and Carsten Weise and Stefan Kowalewski}, title = {Design Patterns for Integrating Variability in Timed Automata}, booktitle = {Fourth International Conference on Secure Software Integration and Reliability Improvement, {SSIRI} 2010, Singapore, June 9-11, 2010 - Companion Volume}, pages = {38--45}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/SSIRI-C.2010.21}, doi = {10.1109/SSIRI-C.2010.21}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ssiri/MitschingWK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/MitschingWKBB09, author = {Ralf Mitsching and Carsten Weise and Andr{\'{e}} Kolbe and Henrik C. Bohnenkamp and Norbert Berzen}, title = {Towards an Industrial Strength Process for Timed Testing}, booktitle = {Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings}, pages = {29--38}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/ICSTW.2009.42}, doi = {10.1109/ICSTW.2009.42}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/MitschingWKBB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jtres/SchommerFKW09, author = {John F. Schommer and Dominik Franke and Stefan Kowalewski and Carsten Weise}, editor = {M. Teresa Higuera{-}Toledano and Martin Schoeberl}, title = {Evaluation of the real-time Java runtime environment for deployment in time-critical systems}, booktitle = {Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, {JTRES} 2009, Madrid, Spain, September 23-25, 2009}, series = {{ACM} International Conference Proceeding Series}, pages = {51--60}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1620405.1620413}, doi = {10.1145/1620405.1620413}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jtres/SchommerFKW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HerberichSWN08, author = {Gerlind Herberich and Bastian Schlich and Carsten Weise and Thomas Noll}, editor = {Ralf Huuck and Gerwin Klein and Bastian Schlich}, title = {Proving Correctness of an Efficient Abstraction for Interrupt Handling}, booktitle = {Proceedings of the 3rd International Workshop on Systems Software Verification, {SSV} 2008, Sydney, Australia, February 25-27, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {217}, pages = {133--150}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.06.046}, doi = {10.1016/J.ENTCS.2008.06.046}, timestamp = {Fri, 17 Feb 2023 10:34:05 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HerberichSWN08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fates/2005, editor = {Wolfgang Grieskamp and Carsten Weise}, title = {Formal Approaches to Software Testing, 5th International Workshop, {FATES} 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3997}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11759744}, doi = {10.1007/11759744}, isbn = {3-540-34454-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fates/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/movep/AmnellBBDDFHJLMPWY00, author = {Tobias Amnell and Gerd Behrmann and Johan Bengtsson and Pedro R. D'Argenio and Alexandre David and Ansgar Fehnker and Thomas Hune and Bertrand Jeannet and Kim Guldstrand Larsen and M. Oliver M{\"{o}}ller and Paul Pettersson and Carsten Weise and Wang Yi}, editor = {Franck Cassez and Claude Jard and Brigitte Rozoy and Mark Dermot Ryan}, title = {{UPPAAL} - Now, Next, and Future}, booktitle = {Modeling and Verification of Parallel Processes, 4th Summer School, {MOVEP} 2000, Nantes, France, June 19-23, 2000}, series = {Lecture Notes in Computer Science}, volume = {2067}, pages = {99--124}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-45510-8\_4}, doi = {10.1007/3-540-45510-8\_4}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/movep/AmnellBBDDFHJLMPWY00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/njc/LarsenPWY99, author = {Kim Guldstrand Larsen and Justin Pearson and Carsten Weise and Wang Yi}, title = {Clock Difference Diagrams}, journal = {Nord. J. Comput.}, volume = {6}, number = {3}, pages = {271--298}, year = {1999}, timestamp = {Fri, 07 Dec 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/njc/LarsenPWY99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BehrmannLPWY99, author = {Gerd Behrmann and Kim Guldstrand Larsen and Justin Pearson and Carsten Weise and Wang Yi}, editor = {Nicolas Halbwachs and Doron A. Peled}, title = {Efficient Timed Reachability Analysis Using Clock Difference Diagrams}, booktitle = {Computer Aided Verification, 11th International Conference, {CAV} '99, Trento, Italy, July 6-10, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1633}, pages = {341--353}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48683-6\_30}, doi = {10.1007/3-540-48683-6\_30}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/BehrmannLPWY99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jit/Weise98, author = {Carsten Weise}, editor = {Clemens H. Cap}, title = {Flexibilit{\"{a}}t durch kombinierte Design Pattern}, booktitle = {{JIT} '98, Java-Informations-Tage 1998, Frankfurt/Main, 12./13. November 1998}, series = {Informatik Aktuell}, pages = {364--374}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/978-3-642-59984-2\_32}, doi = {10.1007/978-3-642-59984-2\_32}, timestamp = {Tue, 25 Jun 2019 12:37:38 +0200}, biburl = {https://dblp.org/rec/conf/jit/Weise98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/BraunMW97, author = {Volker Braun and Tiziana Margaria and Carsten Weise}, title = {Integrating Tools in the {ETI} Platform}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {1}, number = {1-2}, pages = {31--48}, year = {1997}, url = {https://doi.org/10.1007/s100090050004}, doi = {10.1007/S100090050004}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/BraunMW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/LarsenSW97, author = {Kim Guldstrand Larsen and Bernhard Steffen and Carsten Weise}, title = {Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {1}, number = {1-2}, pages = {64--85}, year = {1997}, url = {https://doi.org/10.1007/s100090050006}, doi = {10.1007/S100090050006}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/LarsenSW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/WeiseL97, author = {Carsten Weise and Dirk Lenzkes}, editor = {Oded Maler}, title = {Weak Refinement for Modal Hybrid Systems}, booktitle = {Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble, France, March 26-28, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1201}, pages = {316--330}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0014735}, doi = {10.1007/BFB0014735}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/WeiseL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/WeiseL97, author = {Carsten Weise and Dirk Lenzkes}, editor = {R{\"{u}}diger Reischuk and Michel Morvan}, title = {Efficient Scaling-Invariant Checking of Timed Bisimulation}, booktitle = {{STACS} 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, L{\"{u}}beck, Germany, February 27 - March 1, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1200}, pages = {177--188}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0023458}, doi = {10.1007/BFB0023458}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/stacs/WeiseL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/dnb/Weise95, author = {Carsten Weise}, title = {Entscheidungsalgorithmen f{\"{u}}r {\"{A}}quivalenzen in Echtzeit-Prozesskalk{\"{u}}len mit dichtem Zeitbereich}, school = {{RWTH} Aachen University, Germany}, year = {1995}, url = {https://d-nb.info/948865881}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/dnb/Weise95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/LarsenSW95, author = {Kim Guldstrand Larsen and Bernhard Steffen and Carsten Weise}, editor = {Rajeev Alur and Thomas A. Henzinger and Eduardo D. Sontag}, title = {Fischer's Protocol Revisited: {A} Simple Proof Using Modal Constraints}, booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the {DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}}, series = {Lecture Notes in Computer Science}, volume = {1066}, pages = {604--615}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/BFb0020979}, doi = {10.1007/BFB0020979}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/LarsenSW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/LaroussinieLW95, author = {Fran{\c{c}}ois Laroussinie and Kim Guldstrand Larsen and Carsten Weise}, editor = {Jir{\'{\i}} Wiedermann and Petr H{\'{a}}jek}, title = {From Timed Automata to Logic - and Back}, booktitle = {Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {969}, pages = {529--539}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60246-1\_158}, doi = {10.1007/3-540-60246-1\_158}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/LaroussinieLW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/LarsenSW95, author = {Kim Guldstrand Larsen and Bernhard Steffen and Carsten Weise}, editor = {Ed Brinksma and Rance Cleaveland and Kim Guldstrand Larsen and Tiziana Margaria and Bernhard Steffen}, title = {A Constraint Oriented Proof Methodology Based on Modal Transition Systems}, booktitle = {Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, {TACAS} '95, Aarhus, Denmark, May 19-20, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1019}, pages = {17--40}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60630-0\_2}, doi = {10.1007/3-540-60630-0\_2}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/LarsenSW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/LarsenSW94, author = {Kim Guldstrand Larsen and Bernhard Steffen and Carsten Weise}, editor = {Manfred Broy and Stephan Merz and Katharina Spies}, title = {The Methodology of Modal Constraints}, booktitle = {Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994)}, series = {Lecture Notes in Computer Science}, volume = {1169}, pages = {405--435}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0024437}, doi = {10.1007/BFB0024437}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/LarsenSW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecrts/WeiseM93, author = {Carsten Weise and Tiziana Margaria}, title = {Continuous Real Time Models in Practice}, booktitle = {Fifth Euromicro Workshop on Real-Time Systems, {RTS} 1993, Oulu, Finland, June 22-24, 1993. Proceedings}, pages = {8--13}, publisher = {{IEEE}}, year = {1993}, url = {https://doi.org/10.1109/EMWRT.1993.638859}, doi = {10.1109/EMWRT.1993.638859}, timestamp = {Wed, 16 Oct 2019 14:14:50 +0200}, biburl = {https://dblp.org/rec/conf/ecrts/WeiseM93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/SteffenW93, author = {Bernhard Steffen and Carsten Weise}, editor = {Andrzej M. Borzyszkowski and Stefan Sokolowski}, title = {Deciding Testing Equivalence for Real-Time Processes with Dense Time}, booktitle = {Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {711}, pages = {703--713}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57182-5\_61}, doi = {10.1007/3-540-57182-5\_61}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/SteffenW93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tat/FrohlingsW92, author = {Ulrich Fr{\"{o}}hlings and Carsten Weise}, editor = {Martin Baumann and Reinhard Grebe}, title = {Parallelisierung objekt-basierter Programme auf einem Transputer-Netzwerk}, booktitle = {Parallele Datenverarbeitung mit dem Transputer, 4. Transputer-Anwender-Treffen {TAT} '92, Aachen, 22.-23. September 1992}, series = {Informatik Aktuell}, pages = {101--111}, publisher = {Springer}, year = {1992}, timestamp = {Thu, 26 Oct 2017 07:55:37 +0200}, biburl = {https://dblp.org/rec/conf/tat/FrohlingsW92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.