http://budapest.rkbexplorer.com/id/person-8e832a98d182bb670eb348780e95bf7d
full-name: J JÃ¼rjens
type: Person

http://budapest.rkbexplorer.com/id/inproceedings-f561c85ab2ee1ea8fe5fa957117790f2
has-date: http://www.aktors.org/ontology/date#2003
has-page-numbers: 67--72
has-title: Modeling and Analysis of Architectural Styles Based on Graph Transformation
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#9
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/person-90a4ae6ea9a3072283d3410ade3b4826
full-name: G Booch
type: Person

http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#7
has-date: http://www.aktors.org/ontology/date#2003
has-title: Proc. The International Conference on Dependable Systems and Networks (DSN-2003)
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/pub-ref-ed5b32adc55b382361504c10b7ab9f10
has-title: Periodica Polytechnica
type: Publication-Reference

http://budapest.rkbexplorer.com/id/person-365980fc2f927444dc5c7fb032d83c3b
full-name: G Tarnai
type: Person

http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#1
has-date: http://www.aktors.org/ontology/date#2003
has-title: The John von Neumann PhD Conference
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-b5afc1f3172e2a29d0e98f35c8e4a239
full-name: L Baresi
type: Person

http://budapest.rkbexplorer.com/id/pub-ref-a1377d47def8890e62fbc26612015fab
has-title: Journal of Software and Systems Modeling
type: Publication-Reference

http://budapest.rkbexplorer.com/id/person-3ec4f8bdeb746478703b59c98ac930a2
full-name: P Stevens
type: Person

http://budapest.rkbexplorer.com/id/person-4bb5d1ffe8dc24a3d807da3a8639909f
full-name: H Schmidt
type: Person

http://budapest.rkbexplorer.com/id/person-aa255f31f5668c8c501dd3aedce29811
full-name: Sz. Gyapay
type: Person

http://budapest.rkbexplorer.com/id/article-ba68227cd23a1e62214a620c64687fef
has-date: http://www.aktors.org/ontology/date#2003
has-number: 3
has-page-numbers: 167--186
has-title: UML Action Semantics for Model Transformation Systems
has-volume: 47
type: Article-Reference

http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#10
has-date: http://www.aktors.org/ontology/date#2003
has-title: Proc. 6th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2003)
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/inproceedings-9ccdc812b73386fd5400f3f6e4f61830
has-date: http://www.aktors.org/ontology/date#2003
has-page-numbers: 307--308
has-title: Data Mining in Fault Injection
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#6
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#6
has-date: http://www.aktors.org/ontology/date#2003
has-title: Proc. The IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2003)
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/inproceedings-ab73a9e9a9de559829366880219228e2
has-date: http://www.aktors.org/ontology/date#2003
has-page-numbers: 125-132
has-title: UML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#5
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/pub-ref-52621121a0bdbf6c437883f1470fb27a
has-title: Fundamenta Informaticae
type: Publication-Reference

http://budapest.rkbexplorer.com/id/person-97ccfaff93640e8378771c8470f60a6c
full-name: E Schnieder
type: Person

http://budapest.rkbexplorer.com/id/person-1d813fe19732f1a263e94406e627434c
full-name: K Wallnau
type: Person

http://budapest.rkbexplorer.com/id/person-4d275e51433347f438c9c03aceaa0208
full-name: Gy. VÃ¡rnai
type: Person

http://budapest.rkbexplorer.com/id/person-4e2be880f2072e435138da4b15a63541
full-name: R France
type: Person

http://budapest.rkbexplorer.com/id/inproceedings-534a97120b08f6159e0d1bd645f113e8
has-date: http://www.aktors.org/ontology/date#2003
has-page-numbers: 45--52
has-title: Automatic Code Generation based on Formally Analyzed UML Statechart Models
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#8
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/inproceedings-795944034e92fae2136f4b00ac2c34a8
has-date: http://www.aktors.org/ontology/date#2003
has-page-numbers: 293--294
has-title: Model-Level Automatic Test Generation for UML Statecharts
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#10
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#5
has-date: http://www.aktors.org/ontology/date#2003
has-title: Formal Methods for Railway Operation and Control Systems (Proceedings of Symposium FORMS-2003, Budapest, Hungary, May 15-16)
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/inproceedings-9a8fae4928aac796789c37263d05b9c7
has-date: http://www.aktors.org/ontology/date#2003
has-title: A Methodology for Benchmarking-based Abstract Fault Modeling
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#7
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/person-8ab6431dc3b18e9584fe3743ed3b89e8
full-name: I Majzik
type: Person

http://budapest.rkbexplorer.com/id/person-51d1596984020091f31fc8cd42086d31
full-name: G Huszerl
type: Person

http://budapest.rkbexplorer.com/id/inproceedings-cdacd5317569824ef1d1d61a036a1f68
has-date: http://www.aktors.org/ontology/date#2003
has-page-numbers: 1167--1174
has-title: A Combination of Petri Nets and Process Network Synthesis
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#2
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/article-280888614b9f7af6b47fb2d3d1ee44dc
has-date: http://www.aktors.org/ontology/date#2003
has-number: 3
has-page-numbers: 187--210
has-title: VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML
has-volume: 2
type: Article-Reference

http://budapest.rkbexplorer.com/id/person-ef9b9fd3020d2f5934a4835c0972821e
full-name: B Rumpe
type: Person

Publication export from Budapest University of Technology and Economics
creator: Hugh Glaser
creator: ReSIST Project
description: This ontology contains information detailing publications held by Budapest University of Technology and Economics
type: Ontology
imports: extension
imports: portal

http://budapest.rkbexplorer.com/id/inproceedings-087529c423db62074560c3c9812ac394
has-date: http://www.aktors.org/ontology/date#2003
has-page-numbers: 24--29
has-title: Eine Kombination von Petrinetzen und Optimierung
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#4
type: Proceedings-Paper-Reference

http://www.aktors.org/ontology/date#2003
has-pretty-name: 2003
year-of: 2003
type: Calendar-Date

http://budapest.rkbexplorer.com/id/book-section-9af4f971f456fdf2b23638fdedab1588
type: Book-Section-Reference
has-title: Stochastic Dependability Analysis of System Architecture based on UML Models
has-date: http://www.aktors.org/ontology/date#2003

http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#4
has-date: http://www.aktors.org/ontology/date#2003
has-title: Wissenschaftlichen Mitteilungen der 15. FrÃ¼hlingsakademie, BalatonfÃ¼red, Hungary
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-d46373320abfecf367d1ffd1ab0f368a
full-name: P Inverardi
type: Person

http://budapest.rkbexplorer.com/id/person-360eeec32b5bac5a03134732bf312803
full-name: J Paakki
type: Person

http://budapest.rkbexplorer.com/id/person-0e2064519c701e5f20994fcac42c31f7
full-name: A Schmidt
type: Person

http://budapest.rkbexplorer.com/id/inproceedings-86b2c754bdbc8fa79a050967a3c0f50b
has-date: http://www.aktors.org/ontology/date#2003
has-page-numbers: 68--77
has-title: Modeling and Analysis of Architectural Styles
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#11
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/person-6eadda5468af114ed691983cc3b82d75
full-name: C Gacek
type: Person

http://budapest.rkbexplorer.com/id/person-cd7514e54b2148348d540c54bde8ec32
full-name: J Tyszer
type: Person

http://budapest.rkbexplorer.com/id/person-cf304a69b0a0d74194bce55000a47b91
full-name: J Whittle
type: Person

http://budapest.rkbexplorer.com/id/person-9702971b0275f3eae947129c066d107f
full-name: J P Tiexeira
type: Person

http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#13
has-date: http://www.aktors.org/ontology/date#2003
has-title: Proc. UML 2003: 6th International Conference on the Unified Modeling Language
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-000e5901da74fb3061e3dbfb8adcefda
full-name: R Heckel
type: Person

http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#9
has-date: http://www.aktors.org/ontology/date#2003
has-title: The 6th ICSE Workshop on Component Based Software Engineering: Automated Reasoning and Prediction
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-f81d49573433cc2a0563c79d2b674e57
full-name: R de Lemos
type: Person

http://budapest.rkbexplorer.com/id/inproceedings-f46f8b9e61103f888c9988f9a9bce4f3
has-date: http://www.aktors.org/ontology/date#2003
has-page-numbers: 92--95
has-title: CheckVML: A Tool for Model Checking Visual Modeling Languages
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#13
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/publishers-7704f553dd4c241e3b1654874843f670
has-title: Springer Verlag, Berlin
type: Publishing-House

http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#3
has-date: http://www.aktors.org/ontology/date#2003
has-title: Formal Methods for Railway Operation and Control Systems (Proceedings of Symposium FORMS-2003, Budapest, Hungary, May 15-16)
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-3b91d51345809a8c73373ebf812aa4fa
full-name: S J Piestrak
type: Person

http://budapest.rkbexplorer.com/id/inproceedings-de7527cb61d873646539388da0074435
has-date: http://www.aktors.org/ontology/date#2003
has-page-numbers: 27--30
has-title: A Gradual Filtering Method for Simultaneous Verification and Optimization of Petri Nets
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#1
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/inproceedings-ce43821181c22a7aabf7cbca8e3f5b99
has-date: http://www.aktors.org/ontology/date#2003
has-page-numbers: 53--60
has-title: Optimization methods for reachability analysis of Petri net models
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#3
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/inproceedings-9211897d61a7640cd06da4740ff9e503
has-date: http://www.aktors.org/ontology/date#2003
has-page-numbers: 63--78
has-title: Automated Formal Verification of Model Transformations
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#12
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#12
has-date: http://www.aktors.org/ontology/date#2003
has-title: CSDUML 2003: Critical Systems Development in UML; Proceedings of the UML'03 Workshop
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-4a316f7cca207a338340f4912e040b6e
full-name: D VarrÃ³
type: Person

http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#8
has-date: http://www.aktors.org/ontology/date#2003
has-title: Formal Methods for Railway Operation and Control Systems (Proc. FORMS-2003)
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/article-e1f337ffb333a8e4076e8bcce893f6f0
has-volume: 58
has-page-numbers: 1--22
has-title: Graph Transformation with Time
has-date: http://www.aktors.org/ontology/date#2003
has-number: 1
type: Article-Reference

http://budapest.rkbexplorer.com/id/person-12c39e6e600ce060063b02e8fcb2426d
full-name: A TÃ³th
type: Person

http://budapest.rkbexplorer.com/id/person-0eae26b92535edf8537257d195f5e5d3
full-name: A Pataricza
type: Person

http://budapest.rkbexplorer.com/id/person-044632c5e1c23b8efe2122c2e1760429
full-name: S ThÃ¶ne
type: Person

http://budapest.rkbexplorer.com/id/person-1f69183e7b2b51db25c3b0c254baf577
full-name: A Romanovsky
type: Person

http://budapest.rkbexplorer.com/id/person-cdfb56f56021ab5d27bff847fb913022
full-name: A Bondavalli
type: Person

http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#2
has-date: http://www.aktors.org/ontology/date#2003
has-title: 2003 IEEE International Conference on Systems, Man & Cybernetics, Invited Sessions/Track on "Petri Nets and Discrete Event Systems"
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-ce8e301ec93de9f1ca4559f0bff2cf83
full-name: I Crnkovic
type: Person

http://budapest.rkbexplorer.com/id/person-41b35eb45db1b7b93b3aacf2c2025e9c
full-name: G PintÃ©r
type: Person

http://budapest.rkbexplorer.com/id/person-1b50eed6fadf89998e45af21c3c708ad
full-name: E B Fernandez
type: Person

http://budapest.rkbexplorer.com/id/article-7653d907ae9ec260674f687b515f8fb5
has-date: http://www.aktors.org/ontology/date#2003
has-page-numbers: 187--204
has-title: Program Code Generation based on UML Statechart Models
type: Article-Reference

http://lodlaundromat.org/.well-known/genid/5defe6ea698c8b40fa97c214c70b57ce#11
has-date: http://www.aktors.org/ontology/date#2003
has-title: Proc ESEC 2003: 9th European Software Engineering Conference
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-419d92fa3a51df5b1e189780e8c052e7
full-name: J Stafford
type: Person