Modeling and Analysis of Architectural Styles Based on Graph Transformation
Proc. The International Conference on Dependable Systems and Networks (DSN-2003)
Journal of Software and Systems Modeling
UML Action Semantics for Model Transformation Systems
Proc. 6th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2003)
Proc. The IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2003)
UML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module
Automatic Code Generation based on Formally Analyzed UML Statechart Models
Model-Level Automatic Test Generation for UML Statecharts
Formal Methods for Railway Operation and Control Systems (Proceedings of Symposium FORMS-2003, Budapest, Hungary, May 15-16)
A Methodology for Benchmarking-based Abstract Fault Modeling
A Combination of Petri Nets and Process Network Synthesis
VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML
Publication export from Budapest University of Technology and Economics
This ontology contains information detailing publications held by Budapest University of Technology and Economics
Eine Kombination von Petrinetzen und Optimierung
Stochastic Dependability Analysis of System Architecture based on UML Models
Wissenschaftlichen Mitteilungen der 15. FrÃ¼hlingsakademie, BalatonfÃ¼red, Hungary
Modeling and Analysis of Architectural Styles
Proc. UML 2003: 6th International Conference on the Unified Modeling Language
The 6th ICSE Workshop on Component Based Software Engineering: Automated Reasoning and Prediction
CheckVML: A Tool for Model Checking Visual Modeling Languages
A Gradual Filtering Method for Simultaneous Verification and Optimization of Petri Nets
Optimization methods for reachability analysis of Petri net models
Automated Formal Verification of Model Transformations
CSDUML 2003: Critical Systems Development in UML; Proceedings of the UML'03 Workshop
Formal Methods for Railway Operation and Control Systems (Proc. FORMS-2003)
2003 IEEE International Conference on Systems, Man & Cybernetics, Invited Sessions/Track on "Petri Nets and Discrete Event Systems"
Proc ESEC 2003: 9th European Software Engineering Conference
Program Code Generation based on UML Statechart Models