http://budapest.rkbexplorer.com/id/inproceedings-5c701195514670c3c93ea10df38d6e55
has-page-numbers: 77-78
type: Proceedings-Paper-Reference
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#4
has-title: Dependability Modeling of Web Service Flows
has-date: http://www.aktors.org/ontology/date#2005

http://budapest.rkbexplorer.com/id/book-section-00402712ddb7f9b0ad8d605bea0ca61f
has-date: http://www.aktors.org/ontology/date#2005
has-title: Formal Methods in Computing
type: Book-Section-Reference

http://budapest.rkbexplorer.com/id/person-d0d93b9b4f664ad99ba19681386f93cd
full-name: E Guerra
type: Person

http://budapest.rkbexplorer.com/id/person-cf44875d58fc9edec540326311b121a9
full-name: N Edgar
type: Person

http://budapest.rkbexplorer.com/id/person-771b50f0f31726cb35710c171da61da4
full-name: J de Lara
type: Person

http://budapest.rkbexplorer.com/id/person-a8e1dbffe8966345c140db2817dd175f
full-name: P Domokos
type: Person

http://budapest.rkbexplorer.com/id/person-7c075f6bbac35e16516f61dadde45846
full-name: T Levendovszky
type: Person

http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#7
has-date: http://www.aktors.org/ontology/date#2005
has-title: Proc. Ninth IEEE Int. Symposium on High-Assurance Systems Engineering, October 2005, Heidelberg, Germany
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-001f17cf3095cc0c2f22b146480a5e99
full-name: S Chiaradonna
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/person-b5afc1f3172e2a29d0e98f35c8e4a239
full-name: L Baresi
type: Person

http://budapest.rkbexplorer.com/id/person-02c5de633796f09b956689b15a8aec47
full-name: A Szegi
type: Person

http://budapest.rkbexplorer.com/id/person-bed27362d537d8a961005a4b612e8e19
full-name: N Suri
type: Person

http://budapest.rkbexplorer.com/id/inproceedings-8d035ff852f14769b2389397658ef775
has-date: http://www.aktors.org/ontology/date#2005
has-page-numbers: 58--67
has-title: Modeling and Analysis of Exception Handling techniques by Using UML Statecharts
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#9
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#11
has-date: http://www.aktors.org/ontology/date#2005
has-title: Proc. Fifth European Dependable Computing Conference (EDCC-5)
type: Conference-Proceedings-Reference

http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#1
has-date: http://www.aktors.org/ontology/date#2005
has-title: Service Availability - Processdings of the 2nd International Service Availability Symposium (ISAS 2005)
type: Conference-Proceedings-Reference

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

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

http://budapest.rkbexplorer.com/id/person-6936739671cbe15f907f365b9ceb76d1
full-name: H Madeira
type: Person

http://budapest.rkbexplorer.com/id/person-410e90eeab0985176979c56f724a8777
full-name: D VÃ¡gÃ³
type: Person

http://budapest.rkbexplorer.com/id/inproceedings-ba8bc8731d5d1854e03eb552d27877d0
has-date: http://www.aktors.org/ontology/date#2005
has-title: Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#14
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/person-5b0de025870dae8c6d2f6de55dcd0d19
full-name: L GÃ¶nczy
type: Person

http://budapest.rkbexplorer.com/id/person-6cc984d3e854d8b15cb2d954fcf43d44
full-name: T Mens
type: Person

http://budapest.rkbexplorer.com/id/person-04a7e09ee9eb3759be0856cc0a0314c4
full-name: G Reggio
type: Person

http://budapest.rkbexplorer.com/id/publishers-c58bb5c583ed7185675da09ca5241aaf
has-title: Springer
type: Publishing-House

http://budapest.rkbexplorer.com/id/inproceedings-0fd38e6f8d29104225c956d01489adc2
has-date: http://www.aktors.org/ontology/date#2005
has-page-numbers: 15-24
has-title: Design and Analysis of Fault Tolerant Architectures by Model Weaving
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#7
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/inproceedings-1bb507b303b6b372bfd36430c9e30f89
has-date: http://www.aktors.org/ontology/date#2005
has-title: Applying a Model Transformation Taxonomy to Graph Transformation Technology
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#15
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/person-602269bffdc8e3a39791313dc8b2a7dd
full-name: A SchÃ¼rr
type: Person

http://budapest.rkbexplorer.com/id/book-section-98b7aa4faefb600aba25fb208fd8fcdd
has-title: Model Driven Software Engineering
type: Book-Section-Reference
has-date: http://www.aktors.org/ontology/date#2005

http://budapest.rkbexplorer.com/id/inproceedings-2601958f470be22280ac2b65de820f16
has-date: http://www.aktors.org/ontology/date#2005
has-title: Termination Criteria for Model Transformation
has-url: http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2005/fase2005_eeltvv.pdf
has-page-numbers: 49--63
type: Proceedings-Paper-Reference
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#5

http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#16
has-date: http://www.aktors.org/ontology/date#2005
has-title: Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 05)
type: Conference-Proceedings-Reference

http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#6
has-date: http://www.aktors.org/ontology/date#2005
has-title: MTiP 2005, International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005)
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-74d3ffed0801bfc3057e085dec681266
full-name: Zs. Pap
type: Person

http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#10
has-date: http://www.aktors.org/ontology/date#2005
has-title: Architecting Dependable Systems
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-7a0ff9e0a065eb37386bbd6569ae3bc6
full-name: A NÃ©meth
type: Person

http://budapest.rkbexplorer.com/id/inproceedings-5137e8b313d4ddefdc7c25d46ecfeb36
has-date: http://www.aktors.org/ontology/date#2005
has-page-numbers: 84--98
has-title: Model-Based Optimization of Enterprise Application and Service Deployment
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#13
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/person-cad711af5698e26ef95c98f30b528df7
full-name: L Lengyel
type: Person

http://budapest.rkbexplorer.com/id/inproceedings-e98d4c454ac8f688f474fc692b31312b
has-date: http://www.aktors.org/ontology/date#2005
has-page-numbers: 77-78
has-title: Dependability Modeling Using Aspect Weaving Techniques
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#8
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/person-598e86697b4967c610f1520a98496954
full-name: G Taentzer
type: Person

http://budapest.rkbexplorer.com/id/person-6ab3fdbcab0067900a756baa185e3b8b
full-name: M Kaaniche
type: Person

http://budapest.rkbexplorer.com/id/person-4c9ab926f373b890053f237d2dcefc64
full-name: N Van Eetvelde
type: Person

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

http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#15
has-date: http://www.aktors.org/ontology/date#2005
has-title: GraMot 2005, International Workshop on Graph and Model Transformations
type: Conference-Proceedings-Reference

http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#5
has-date: http://www.aktors.org/ontology/date#2005
has-title: Proc. FASE 2005: Internation Conference on Fundamental Approaches to Software Engineering
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-1756bf494c805426d4f4dc1bce5e4f2c
full-name: M Dal Cin
type: Person

http://budapest.rkbexplorer.com/id/person-2b5948fec74e0e872ae435cf9eebe70c
full-name: H Ehrig
type: Person

http://budapest.rkbexplorer.com/id/person-225c596e5dc47b8198e91a33435cbe44
full-name: I RÃ¡th
type: Person

http://budapest.rkbexplorer.com/id/person-196ae0d3ba172d55ac86fa747459eb24
full-name: M Cerioli
type: Person

http://budapest.rkbexplorer.com/id/person-3e24cb6ca223eb1a8d257b0acdad900e
full-name: M Vieira
type: Person

http://budapest.rkbexplorer.com/id/inproceedings-190591dc600a9ab66fff9f389349801d
has-title: Model Transformation by Graph Transformation: A Comparative Study
has-date: http://www.aktors.org/ontology/date#2005
type: Proceedings-Paper-Reference
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#6
has-url: http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2005/mtip05.pdf

http://budapest.rkbexplorer.com/id/inproceedings-ec5ca4997179dbb737ffb3eb96b060b4
has-date: http://www.aktors.org/ontology/date#2005
has-page-numbers: 111--120
has-title: Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#12
type: Proceedings-Paper-Reference

http://budapest.rkbexplorer.com/id/person-9c059102a956e934c978a14dc82e0927
full-name: A ZÃ¼ndorf
type: Person

http://budapest.rkbexplorer.com/id/article-d9d68225ce8076e77526bb7ea0427e12
has-date: http://www.aktors.org/ontology/date#2005
has-title: Simultaneous Optimization and Reachability Analysis of Schedulability Problems in Graph Transformation Systems with Time
type: Article-Reference

http://budapest.rkbexplorer.com/id/person-fa7cde0919fbe77c41324a5eb47e6cda
full-name: M Miroslaw
type: Person

http://budapest.rkbexplorer.com/id/person-077cdb4c1011a59ba2f9e274241c3330
full-name: L Grunske
type: Person

http://budapest.rkbexplorer.com/id/person-e978306a2451b5e502a481db36adfe8f
full-name: G Karsai
type: Person

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

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

http://budapest.rkbexplorer.com/id/inproceedings-4ff1893fca5aa314fc515099ee878f46
has-date: http://www.aktors.org/ontology/date#2005
has-page-numbers: 79--88
has-title: Benchmarking for Graph Transformation
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#16
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#14
has-date: http://www.aktors.org/ontology/date#2005
has-title: GraMot 2005, International Workshop on Graph and Model Transformations
type: Conference-Proceedings-Reference

http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#4
has-date: http://www.aktors.org/ontology/date#2005
has-title: In Supplementary Volume of the Fifth European Conference on Dependable Computing (EDCC-5)
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-4ad3c2d709937e8e224e036717d6b978
full-name: U Prange
type: Person

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

www.aktors.org
locale: en_US
type: website
title: Turning Shoe Information to Knowledge of Technology and Deals
description: Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
site name: Aktors

http://budapest.rkbexplorer.com/id/person-0c81485f7cbef688e58919039654f4b7
full-name: P Van Gorp
full-name: P van Gorp
type: Person

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

http://budapest.rkbexplorer.com/id/inproceedings-b15e3b72f918106ae061064195ac0b19
has-page-numbers: 263--280
has-date: http://www.aktors.org/ontology/date#2005
type: Proceedings-Paper-Reference
has-title: A Data Mining Approach to Identify Key Factors in Dependability Experiments
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#11

http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#9
has-date: http://www.aktors.org/ontology/date#2005
has-title: Scientific Engineering of Distributed Java Applications
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/article-db123ff731b4cf69753ed23a8e1d77f0
type: Article-Reference
has-page-numbers: 89-107
has-number: 1
has-volume: 87
has-date: http://www.aktors.org/ontology/date#2005
has-title: Methods of Checking General Safety Criteria in UML Statechart Specifications

http://budapest.rkbexplorer.com/id/inproceedings-3bae9e612683f3437e874f4278edfb1c
has-title: The VIATRA2 Model Transformation Framework
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#2
type: Proceedings-Paper-Reference
has-date: http://www.aktors.org/ontology/date#2005

http://budapest.rkbexplorer.com/id/person-8b50ca34c92e6809ac265e8be6490a06
full-name: N Guelfi
type: Person

http://budapest.rkbexplorer.com/id/publishers-bc319fe388ba89cf3480014d27d7dad8
has-title: AkadÃ©miai KiadÃ³
type: Publishing-House

http://budapest.rkbexplorer.com/id/article-12e05e005d683f1953101cdc7bb265b9
has-date: http://www.aktors.org/ontology/date#2005
has-title: Style-Based Modeling and Refinement of Service-Oriented Architectures
type: Article-Reference

http://budapest.rkbexplorer.com/id/inproceedings-5bab478f0bce0e1d6ccd39996449d8fb
has-date: http://www.aktors.org/ontology/date#2005
has-page-numbers: 84-98
has-title: Model-driven optimization of enterprise application and service deployment
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#1
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#13
has-date: http://www.aktors.org/ontology/date#2005
has-title: Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26
type: Conference-Proceedings-Reference

http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#3
has-date: http://www.aktors.org/ontology/date#2005
has-title: Proc. of the First European Young Researchers Workshop on Service Oriented Computing (YR-SOC)
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-9e9cad6047f96f7332ecd58c17c5c4dc
full-name: G VarrÃ³
type: Person

http://budapest.rkbexplorer.com/id/person-e99a40c840c2acaf12aa6062e4729e6c
full-name: K Ehrig
type: Person

http://budapest.rkbexplorer.com/id/inproceedings-d475852ee014c5a85a7e7903dc7fa4db
has-date: http://www.aktors.org/ontology/date#2005
has-page-numbers: 32-37
has-title: Dependability Analysis of Web Service-based Business Processes by Model Transformations
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#3
type: Proceedings-Paper-Reference

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

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

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

http://budapest.rkbexplorer.com/id/person-5d13543dd1bc9f706bde5fc442d2851a
full-name: L Geiger
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://budapest.rkbexplorer.com/id/inproceedings-3e8611c12bb89c5115411e814118ee51
has-date: http://www.aktors.org/ontology/date#2005
has-page-numbers: 148--172
has-title: Run-time Verification of Statechart Implementations
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#10
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#8
has-date: http://www.aktors.org/ontology/date#2005
has-title: Proc. Fifth European Dependable Computing Conference
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-68fefaf297f2798d6908aa823c9b8a62
full-name: A Balogh
type: Person

http://budapest.rkbexplorer.com/id/pub-ref-be81946e575700e0c7767ef29e6746b2
has-title: Journal of Reliability Engineering and System Safety
type: Publication-Reference

http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#12
has-date: http://www.aktors.org/ontology/date#2005
has-title: Proc. The 9th IEEE International Symposium on High Assurance Systems Engineering (HASE 2005)
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-7a4d9351d42016b6047b82893e631f72
full-name: Di F Giandomenico
type: Person

http://lodlaundromat.org/.well-known/genid/1956bd6237da926f53f04ce2c83b9294#2
has-date: http://www.aktors.org/ontology/date#2005
has-title: ECMDA 2005 -- Tools Track
type: Conference-Proceedings-Reference

http://budapest.rkbexplorer.com/id/person-b72dbbdb9f7a3e04196e49a3b32cabd3
full-name: K Friedl
type: Person

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