1
0
0
(1 - 19 von 23
)
Radu Grosu | Papers With Codepaperswithcode.com › author › radu-grosu
paperswithcode.com
Papers by Radu Grosu with links to code and results.
Radu Grosu - University of Bremen Database Systems GroupUni Bremen
www.db.informatik.uni-bremen.de
Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin: Towards a Precise Semantics for Object-Oriented Modeling Techniques, ...
Die Fakultät für Informatik/The Faculty of Informatics:...
books.google.de
Die Fakultat fur Informatik an der Technischen Universitat Wien steht fur Exzellenz in der Forschung, Qualitat in der Lehre und Leidenschaft in der Innovation....
Ein denotationales Modell für parallele objektbasierte Systeme -...
books.google.de
mathPAD,4(1), November [70] Radu Grosu and Bernhard Rumpe. Concurrent timedport automata. Technical Report TUM-I9533, TU München, October ...
Formal Methods in Computer-Aided Design: Third International...
books.google.de
Automated Refinement Checking for Asynchronous Processes Rajeev Alur, Radu Grosu, and Bow-Yaw Wang Department of Computer and Information Science ...
Author: Radu GrosuEasyChair
easychair.org
Author:Radu Grosu. Publications. Under the Hood of a Stand-Alone Lagrangian Reachability Tool · Sophie Gruenbacher, Jacek Cyranka, Md ...
Radu GrosuPapers With Code
paperswithcode.com
Papers by Radu Grosu with links to code and results Search Results for author: Radu Grosu. Found 41 papers, 13 papers with code. Github Stars.
Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed...
books.google.de
[AdAG+01] Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Rupak Majumdar, Freddy Y. C. Mang, Christoph M. Kirsch und Bow-Yaw ...
Tools and Algorithms for the Construction and Analysis of Systems:...
books.google.de
This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS...
Behavioral Specifications of Businesses and Systemsbooks.google.com › books
books.google.de
In CSD '98, International Conference on Application of Concurrency to System Design, Aizu-Wakamatsu City, Fukushima. IEEE, March Radu Grosu, Thomas ...
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to...
books.google.de
This Festschrift is in honor of Scott A. Smolka, Professor in the Stony Brook University, USA, on the occasion of his 65th birthday. Scott A. Smolka made...
Solutions for Cyber-Physical Systems Ubiquity - Google Books
books.google.de
Cyber-physical systems play a crucial role in connecting aspects of online life to physical life. By studying emerging trends in these systems, programming...
Formal Methods and Software Engineering: 15th International...
books.google.de
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand,...
Runtime Verification: 16th International Conference, RV 2016, Madrid,...
books.google.de
This book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September
UML'99 - The Unified Modeling Language: Beyond the Standard: Second...
books.google.de
This book constitutes the refereed proceedings of the Second International Conference on the Unified Modeling Language, UML'99, held in Fort Collins, CO, USA...
Behavioral Specifications of Businesses and Systems - Google Books
books.google.de
Design, Aizu-Wakamatsu City, Fukushima. IEEE, March Radu Grosu ...
Model Checking Software: 20th International Symposium, SPIN 2013,...
books.google.de
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July...
sortiert nach Relevanz / Datum