MTMT2: publication list

Strueber, Daniel ; Born, Kristopher ; Gill, Kanwal Daud ; Groner, Raffaela ; Kehrer, Timo ; Ohrndorf, Manuel ; Tichy, Matthias ; DeLara, J (szerk.) ; Plump, D (szerk.)

Henshin: A Usability-Focused Framework for EMF Model Transformation Development

LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 10373 : Marburg pp. 196-208. , 13 p. (2017)

DOI WoS

Közlemény:27573158 Nyilvános Idéző Folyóiratcikk (Konferenciaközlemény ) Idézett közlemények száma: 3

Konferenciaközlemény (Folyóiratcikk) | Tudományos[27573158] [Nyilvános]

14.

Bottoni, Paolo ; Fish, Andrew ; Presicce, Francesco Parisi

Spider Graphs: a graph transformation system for spider diagrams

SOFTWARE AND SYSTEMS MODELING 14 : 4 pp. 1421-1453. , 33 p. (2015)

DOI WoS

Közlemény:25471423 Admin láttamozott Idéző Folyóiratcikk (Szakcikk ) Tudományos

Szakcikk (Folyóiratcikk) | Tudományos[25471423] [Admin láttamozott]

15.

Kluge, Roland ; Varro, Gergely ; Schuerr, Andy ; Kolovos, D (szerk.) ; Wimmer, M (szerk.)

A Methodology for Designing Dynamic Topology Control Algorithms via Graph Transformation

LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 9152 : LAquila pp. 199-213. , 15 p. (2015)

DOI WoS

Közlemény:25471425 Admin láttamozott Idéző Folyóiratcikk Tudományos

Folyóiratcikk | Tudományos[25471425] [Admin láttamozott]

16.

László, Lengyel ; Hassan, Charaf

Open issues in model transformations for multimodal applications

JOURNAL ON MULTIMODAL USER INTERFACES 9 : 4 pp. 377-385. , 9 p. (2015)

DOI WoS Scopus Teljes dokumentum Egyéb URL Teljes dokumentum Google scholar Google scholar hash

Közlemény:2926326 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos

Szakcikk (Folyóiratcikk) | Tudományos[2926326] [Egyeztetett]

17.

László, Lengyel

Validating Rule-based Algorithms

ACTA POLYTECHNICA HUNGARICA 12 : 4 pp. 59-75. , 17 p. (2015)

DOI WoS Scopus Teljes dokumentum Teljes dokumentum Google scholar hash

Közlemény:2925179 Egyeztetett Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos

Szakcikk (Folyóiratcikk) | Tudományos[2925179] [Egyeztetett]

Nyilvános idéző összesen: 8, Független: 8, Függő: 0, Nem jelölt: 0

18.

Zhou, Yu ; Huang, Yankai ; Wei, Ou ; Huang, Zhiqiu

Verifying specifications with associated attributes in graph transformation systems

FRONTIERS OF COMPUTER SCIENCE 9 : 3 pp. 364-374. , 11 p. (2015)

DOI WoS

Közlemény:24905399 Admin láttamozott Idéző Folyóiratcikk (Szakcikk ) Tudományos

Szakcikk (Folyóiratcikk) | Tudományos[24905399] [Admin láttamozott]

19.

Chen, Luxi ; Huang, Linpeng ; Li, Chen ; Wu, Linzhu ; Luo, Weichao ; Chang, CK (szerk.) ; Gao, Y (szerk.) ; Hurson, A (szerk.) ; Matskin, M (szerk.) ; McMillin, B (szerk.) et al.

Design and Safety Analysis for System Architecture: A Breeze/ADL-based Approach

2011 35TH IEEE ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC) 2014 pp. 261-266. , 6 p. (2014)

DOI WoS

Közlemény:24905342 Admin láttamozott Idéző Folyóiratcikk (Konferenciaközlemény ) Idézett közlemények száma: 1

Konferenciaközlemény (Folyóiratcikk) | Tudományos[24905342] [Admin láttamozott]

20.

Wenzel, S ; Poggenpohl, D ; Juerjens, J ; Ochoa, M

Specifying model changes with UMLchange to support security verification of potential evolution

COMPUTER STANDARDS & INTERFACES 36 : 4 pp. 776-791. , 16 p. (2014)

DOI WoS

Közlemény:24905341 Admin láttamozott Idéző Folyóiratcikk (Szakcikk ) Tudományos

Szakcikk (Folyóiratcikk) | Tudományos[24905341] [Admin láttamozott]

21.

Da, Costa S A ; Ribeiro, L

Verification of graph grammars using a logical approach

SCIENCE OF COMPUTER PROGRAMMING 77 : 4 pp. 480-504. , 25 p. (2012)

DOI WoS Scopus

Közlemény:23929075 Admin láttamozott Idéző Folyóiratcikk

Folyóiratcikk[23929075] [Admin láttamozott]

22.

Galvão, Ismênia ; Zambon, Eduardo ; Rensink, Arend ; Wevers, Lesley ; Aksit, Mehmet

Knowledge-based graph exploration analysis

In: Schürr, Andy; Varró, Dániel; Varró, Gergely (szerk.) Applications of Graph Transformations with Industrial Relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers

Berlin, Németország, Heidelberg, Németország : Springer-Verlag (2012) 267 p. pp. 105-120. , 16 p.

DOI Scopus Google scholar Google scholar hash

Közlemény:23946470 Nyilvános Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos

Konferenciaközlemény (Könyvrészlet) | Tudományos[23946470] [Nyilvános]

23.

Giese, H ; Lambers, L ; Becker, B ; Hildebrandt, S ; Neumann, S ; Vogel, T ; Wätzoldt, S

Graph transformations for MDE, adaptation, and models at runtime

LECTURE NOTES IN COMPUTER SCIENCE 7320 pp. 137-191. , 55 p. (2012)

DOI Scopus Teljes dokumentum Google scholar Google scholar hash

Közlemény:23929074 Nyilvános Idéző Folyóiratcikk (Konferenciaközlemény ) Tudományos

Konferenciaközlemény (Folyóiratcikk) | Tudományos[23929074] [Nyilvános]

24.

Poskitt, C M

Verification of graph programs

LECTURE NOTES IN COMPUTER SCIENCE 7562 pp. 420-422. , 3 p. (2012)

DOI Scopus

Közlemény:23929073 Admin láttamozott Idéző Duplum Folyóiratcikk

Folyóiratcikk[23929073] [Admin láttamozott]

25.

Poskitt, CM ; Plump, D

Hoare-Style Verification of Graph Programs

FUNDAMENTA INFORMATICAE 118 : 1-2 pp. 135-175. , 41 p. (2012)

DOI WoS Scopus Teljes dokumentum Google scholar Google scholar hash

Közlemény:24002566 Admin láttamozott Idéző Folyóiratcikk

Folyóiratcikk[24002566] [Admin láttamozott]

26.

Ribeiro, L ; Dos Santos, O M ; Dotti, F L ; Foss, L

Correct transformation: From object-based graph grammars to PROMELA

SCIENCE OF COMPUTER PROGRAMMING 77 : 3 pp. 214-246. , 33 p. (2012)

DOI WoS Scopus Google scholar Google scholar hash

Közlemény:23929070 Admin láttamozott Idéző Folyóiratcikk

Folyóiratcikk[23929070] [Admin láttamozott]

27.

Jürjens, J ; Marchal, L ; Ochoa, M ; Schmidt, H

Incremental Security Verification for Evolving UMLsec models

LECTURE NOTES IN COMPUTER SCIENCE 6698 pp. 52-68. , 17 p. (2011)

DOI WoS Scopus Google scholar Google scholar hash

Közlemény:23929064 Admin láttamozott Idéző Folyóiratcikk

Folyóiratcikk[23929064] [Admin láttamozott]

28.

Jürjens, J ; Ochoa, M ; Schmidt, H ; Marchal, L ; Houmb, S ; Islam, S

Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications

LECTURE NOTES IN COMPUTER SCIENCE 6659 pp. 504-526. , 23 p. (2011)

DOI Scopus

Közlemény:23929063 Admin láttamozott Idéző Folyóiratcikk

Folyóiratcikk[23929063] [Admin láttamozott]

29.

Rafe, V

Formal analysis of service-oriented architectures: Analiza formalna architektury typu service-oriented

PRZEGLAD ELEKTROTECHNICZNY 87 : 9 pp. 310-313. , 4 p. (2011)

WoS Scopus Google scholar hash

Közlemény:23929510 Admin láttamozott Idéző Folyóiratcikk

Folyóiratcikk[23929510] [Admin láttamozott]

30.

Bisztray, D A

Compositional verification of model-level refactorings based on graph transformations

Megjelenés/Fokozatszerzés éve: 2010

Google scholar Google scholar hash

Közlemény:24127231 Admin láttamozott Idéző Disszertáció (Nem besorolt ) Tudományos

Nem besorolt (Disszertáció) | Tudományos[24127231] [Admin láttamozott]

31.

Cavalheiro, S A C

Relational approach of graph grammars

Megjelenés/Fokozatszerzés éve: 2010

Közlemény:23929056 Admin láttamozott Idéző Disszertáció (Nem besorolt ) Idézett közlemények száma: 1

Nem besorolt (Disszertáció) | Tudományos[23929056] [Admin láttamozott]

32.

Ehrig, H ; Ermel, C ; Runge, O ; Bucchiarone, A ; Pelliccione, P

Formal analysis and verification of self-healing systems

LECTURE NOTES IN COMPUTER SCIENCE 6013 pp. 139-153. , 15 p. (2010)

DOI WoS Scopus Google scholar Google scholar hash

Közlemény:23929506 Nyilvános Idéző Folyóiratcikk Tudományos | Hibás

Folyóiratcikk | Tudományos[23929506] [Nyilvános]

33.

Ehrig, H ; Ermel, C ; Runge, O ; Bucchiarone, A ; Pelliccione, P

Formal analysis and verification of self-healing systems: Long version (2010)

Közlemény:24127242 Admin láttamozott Idéző Egyéb Idézett közlemények száma: 1

Egyéb[24127242] [Admin láttamozott]

34.

Ermel, C

Visual Modelling and Analysis of Model Transformations based on Graph Transformation

BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 2009 : 99 pp. 135-152. , 18 p. (2010)

Közlemény:23929054 Admin láttamozott Idéző Duplum Folyóiratcikk

Folyóiratcikk[23929054] [Admin láttamozott]

35.

Planas, E ; Cabot, J ; de Nantes, I E M ; Gómez, C ; Guerra, E ; de Lara, J

Lightweight Executability Analysis of Graph Transformation Rules

In: IEEE Symposium on Visual Languages and Human-Centric Computing

(2010) pp. 127-130. , 4 p.

DOI Scopus Google scholar Google scholar hash

Közlemény:23929057 Nyilvános Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos

Konferenciaközlemény (Könyvrészlet) | Tudományos[23929057] [Nyilvános]

36.

Poskitt, C M ; Plump, D

Hoare logic for graph programs

In: THEORY Workshop at Verified Software: Theories, Tools and Experiments (VS-THEORY 2010)

(2010)

Google scholar Google scholar hash

Közlemény:23929058 Admin láttamozott Idéző Egyéb konferenciaközlemény

Egyéb konferenciaközlemény[23929058] [Admin láttamozott]

37.

Poskitt, CM ; Plump, D

A Hoare Calculus for Graph Programs

In: Hartmut, Ehrig; Arend, Rensink; Grzegorz, Rozenberg; Andy, Schürr (szerk.) Proceeding of ICGT'10 Doctoral Symposium

Berlin, Németország : Springer (2010) pp. 139-154. , 16 p.

DOI WoS Scopus Google scholar Google scholar hash

Közlemény:24002567 Nyilvános Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos

Konferenciaközlemény (Könyvrészlet) | Tudományos[24002567] [Nyilvános]

38.

Steenken, D ; Wehrheim, H ; Wonisch, D

Towards a shape analysis for graph transformation systems (2010)

CoRR,

Google scholar Google scholar hash

Közlemény:23929055 Admin láttamozott Idéző Egyéb (Nem besorolt )

Nem besorolt (Egyéb)[23929055] [Admin láttamozott]

39.

Al, Vand MZM ; Hajee, M

An Approach to Automatic Verification of Stochastic Graph Transformations

In: TENCON 2009 - 2009 IEEE REGION 10 CONFERENCE, VOLS 1-4

(2009) pp. 1650-1654. , 5 p.

DOI WoS

Közlemény:23929065 Nyilvános Idéző Duplum Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos

Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[23929065] [Nyilvános]

40.

da Costa, S A ; Ribeiro, L

Formal Verification of Graph Grammars using Mathematical Induction

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 240 : C pp. 43-60. , 18 p. (2009)

DOI Scopus

Közlemény:23929052 Admin láttamozott Idéző Folyóiratcikk Idézett közlemények száma: 1

Folyóiratcikk[23929052] [Admin láttamozott]

41.

Rafe, V ; Rahmani, AT

A NOVEL APPROACH TO VERIFY GRAPH SCHEMA-BASED SOFTWARE SYSTEMS

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING 19 : 6 pp. 857-870. , 14 p. (2009)

DOI WoS Scopus

Közlemény:24135025 Admin láttamozott Idéző Duplum Folyóiratcikk

Folyóiratcikk[24135025] [Admin láttamozott]

42.

Rafe, V ; Rahmani, AT

Towards automated software model checking using graph transformationsystems and Bogor

JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE A 10 : 8 pp. 1093-1105. , 13 p. (2009)

DOI WoS Scopus Google scholar Google scholar hash

Közlemény:23929047 Admin láttamozott Idéző Folyóiratcikk

Folyóiratcikk[23929047] [Admin láttamozott]

43.

Rafe, V ; Rahmani, AT ; Baresi, L ; Spoletini, P

Towards automated verification of layered graph transformation specifications

IET SOFTWARE 3 : 4 pp. 276-291. , 16 p. (2009)

DOI WoS Scopus Google scholar Google scholar hash

Közlemény:24135026 Admin láttamozott Idéző Folyóiratcikk

Folyóiratcikk[24135026] [Admin láttamozott]

44.

V, Kozyura

Abstraction and Abstraction Refinement in the Verification of Graph Transformation Systems 140 p.

Megjelenés/Fokozatszerzés éve: 2009

Teljes dokumentum Google scholar Google scholar hash

Közlemény:23929600 Nyilvános Idéző Disszertáció (PhD ) Tudományos

PhD (Disszertáció) | Tudományos[23929600] [Nyilvános]

45.

Baresi, L ; Rafe, V ; Rahmani, AT ; Spoletini, P

An Efficient Solution for Model Checking Graph Transformation Systems

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 213 : 1 pp. 3-21. , 19 p. (2008)

DOI Scopus Teljes dokumentum Google scholar Google scholar hash

Közlemény:21490652 Admin láttamozott Idéző Folyóiratcikk

Folyóiratcikk[21490652] [Admin láttamozott]

46.

Kastenberg, Harmen

Graph-Based Software Specification and Verification

Megjelenés/Fokozatszerzés éve: 2008

Google scholar Google scholar hash

Közlemény:23928884 Nyilvános Idéző Disszertáció (PhD ) Tudományos

PhD (Disszertáció) | Tudományos[23928884] [Nyilvános]

47.

Rensink, A ; Taentzer, G

AGTIVE 2007 Graph Transformation Tool Contest

In: Schurr, A; Nagl, M; Zundorf, A (szerk.) 3rd International Symposium on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2007

Berlin, Németország : Springer-Verlag (2008) pp. 487-492. , 6 p.

DOI WoS Scopus Google scholar Google scholar hash

Közlemény:21489696 Nyilvános Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos

Konferenciaközlemény (Könyvrészlet) | Tudományos[21489696] [Nyilvános]

48.

Rensink, A ; Van, Gorp P

Graph-Based Tools: The Contest

In: Ehrig, H; Heckel, R; Rozenberg, G; Taentzer, G (szerk.) Graph Transformations : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings

Berlin, Németország, Heidelberg, Németország : Springer-Verlag (2008) 536 p. pp. 463-466. , 4 p.

DOI WoS Scopus

Közlemény:23929067 Nyilvános Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos

Konferenciaközlemény (Könyvrészlet) | Tudományos[23929067] [Nyilvános]

49.

Engels, G ; Guldali, B ; Lohmann, M

Towards Model-Driven Unit Testing

LECTURE NOTES IN COMPUTER SCIENCE 4364 p. 182 (2007)

WoS Google scholar Google scholar hash

Közlemény:23929032 Admin láttamozott Idéző Folyóiratcikk

Folyóiratcikk[23929032] [Admin láttamozott]

50.

Kozioura, V

Verification of Random Graph Transformation Systems

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 175 : 4 SPEC. ISS. pp. 63-72. , 10 p. (2007)

DOI Scopus Google scholar Google scholar hash

Közlemény:23929028 Admin láttamozott Idéző Folyóiratcikk

Folyóiratcikk[23929028] [Admin láttamozott]

51.

Triebsees, T

Constraint-based Model Transformation: Tracing the Preservation of Semantic Properties

JOURNAL OF SOFTWARE 2 : 3 pp. 19-29. , 11 p. (2007)

Scopus Teljes dokumentum Google scholar Google scholar hash

Közlemény:21490168 Admin láttamozott Idéző Folyóiratcikk Idézett közlemények száma: 2

Folyóiratcikk[21490168] [Admin láttamozott]

52.

Vaeková, P ; Moravec, P ; Cerná, I ; Zimmerova, B

Effective verification of systems with a dynamic number of components

In: 2007 Conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering

(2007) pp. 3-13. , 11 p.

DOI Scopus

Közlemény:23929031 Nyilvános Idéző Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos

Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[23929031] [Nyilvános]

53.

Zimmerova, B ; Varekova, P

Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification

In: MEMICS proceedings

(2007) pp. 257-264. , 8 p.

Google scholar Google scholar hash

Közlemény:23929033 Nyilvános Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos

Konferenciaközlemény (Könyvrészlet) | Tudományos[23929033] [Nyilvános]

54.

Adamek, J

Addressing Unbounded Parallelism in Verification of Software Components

In: SNPD-SAWN ?06: Proceedings of the Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing

(2006) pp. 49-56. , 8 p.

DOI WoS Scopus Google scholar Google scholar hash

Közlemény:23929038 Nyilvános Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos

Konferenciaközlemény (Könyvrészlet) | Tudományos[23929038] [Nyilvános]

55.

Baresi, L ; Spoletini, P

On the use of alloy to analyze graph transformation systems

LECTURE NOTES IN COMPUTER SCIENCE 4178 pp. 306-320. , 15 p. (2006)

WoS Scopus Google scholar Google scholar hash

Közlemény:23929050 Admin láttamozott Idéző Folyóiratcikk

Folyóiratcikk[23929050] [Admin láttamozott]

56.

Baresi, L ; Heckel, R ; Thöne, S ; Varro, D

Style-based modeling and refinement of service-oriented architectures: A graph transformation-base approach

SOFTWARE AND SYSTEMS MODELING 5 : 2 pp. 187-207. , 21 p. (2006)

DOI Scopus Teljes dokumentum Handle

Közlemény:2612533 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos

Szakcikk (Folyóiratcikk) | Tudományos[2612533] [Admin láttamozott]

Nyilvános idéző összesen: 54, Független: 48, Függő: 6, Nem jelölt: 0

57.

Bauer, J ; Wilhelm, R

Analysis of Dynamic Communicating Systems by Hierarchical Abstraction

In: Software Verification: Infinite-State Model Checking and Static Program Analysis

(2006)

Google scholar Google scholar hash

Közlemény:23929037 Admin láttamozott Idéző Egyéb konferenciaközlemény

Egyéb konferenciaközlemény[23929037] [Admin láttamozott]

58.

Dotti, F L ; Ribeiro, L ; Santos, O M ; Pasini, F

Verifying Object-based Graph Grammars

SOFTWARE AND SYSTEMS MODELING 5 : 3 pp. 289-311. , 23 p. (2006)

DOI Scopus

Közlemény:23929877 Admin láttamozott Idéző Folyóiratcikk

Folyóiratcikk[23929877] [Admin láttamozott]

59.

Habel, A ; Pennemann, KH ; Rensink, A

Weakest preconditions for high-level programs

LECTURE NOTES IN COMPUTER SCIENCE 4178 pp. 445-460. , 16 p. (2006)

WoS Scopus Google scholar Google scholar hash

Közlemény:23929310 Admin láttamozott Idéző Folyóiratcikk

Folyóiratcikk[23929310] [Admin láttamozott]

60.

Kaffille, Sven ; Wirtz, Guido

Modeling the Static Aspects of Trust for Open MAS

In: Mohammadian, Masoud (szerk.) Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation (CIMCA 2006)

Piscataway (NJ), Amerikai Egyesült Államok : Institute of Electrical and Electronics Engineers (IEEE) (2006) p. 186

DOI Scopus

Közlemény:24127246 Nyilvános Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos

Konferenciaközlemény (Könyvrészlet) | Tudományos[24127246] [Nyilvános]

61.

Klein, F ; Giese, H

Integrated Visual Specification of Structural and Temporal Properties (2006)

Technical Report, Univ. Paderborn, tr-ri-06-277,

Google scholar hash Google scholar

Közlemény:23929036 Admin láttamozott Idéző Egyéb Idézett közlemények száma: 2

Egyéb[23929036] [Admin láttamozott]

62.

Konig, B ; Kozioura, V

Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems

LECTURE NOTES IN COMPUTER SCIENCE 3920 p. 197 (2006)

WoS Scopus Google scholar Google scholar hash

Közlemény:23929034 Admin láttamozott Idéző Folyóiratcikk | Hibás

Folyóiratcikk[23929034] [Admin láttamozott]

63.

Mens, T ; Van, Gorp P ; Varro, D ; Karsai, G

Applying a model transformation taxonomy to graph transformation technology

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 152 : 1-2 pp. 143-159. , 17 p. (2006)

DOI WoS Scopus Teljes dokumentum Teljes dokumentum Handle Google scholar Google scholar hash

Közlemény:2612531 Admin láttamozott Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos

Szakcikk (Folyóiratcikk) | Tudományos[2612531] [Admin láttamozott]

Nyilvános idéző összesen: 39, Független: 37, Függő: 2, Nem jelölt: 0

64.

Rensink, A ; Distefano, D

Abstract Graph Transformation

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 157 : 1 pp. 39-59. , 21 p. (2006)

DOI Scopus Google scholar Google scholar hash

Közlemény:23929035 Admin láttamozott Idéző Folyóiratcikk

Folyóiratcikk[23929035] [Admin láttamozott]

65.

Schilling, D

Kompositionale Softwareverifikation mechatronischer Systeme

Megjelenés/Fokozatszerzés éve: 2006

Közlemény:23929040 Nyilvános Idéző Disszertáció (PhD ) Tudományos

PhD (Disszertáció) | Tudományos[23929040] [Nyilvános]

66.

Dotti, FL ; Mendizabal, OM ; dos, Santos OM

Verifying fault-tolerant distributed systems using Object-Based GraphGrammars

LECTURE NOTES IN COMPUTER SCIENCE 3747 pp. 80-100. , 21 p. (2005)

DOI WoS Scopus

Közlemény:23929051 Admin láttamozott Idéző Folyóiratcikk

Folyóiratcikk[23929051] [Admin láttamozott]

67.

König, Barbara ; Kozioura, Vitali

Augur - A Tool for the Analysis of Graph Transformation Systems

Bulletin of the EATCS 87 pp. 126-137. , 12 p. (2005)

Google scholar Google scholar hash

Közlemény:21490598 Admin láttamozott Idéző Folyóiratcikk

Folyóiratcikk[21490598] [Admin láttamozott]

68.

Rensink, A

Time and Space Issues in the Generation of Graph Transition Systems

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 127 : 1 pp. 127-139. , 13 p. (2005)

DOI Google scholar hash Scopus Google scholar

Közlemény:23929878 Admin láttamozott Idéző Folyóiratcikk | Hibás/hiányos Idézett közlemények száma: 3

Folyóiratcikk[23929878] [Admin láttamozott]

69.

Thöne, S

Dynamic Software Architectures

Megjelenés/Fokozatszerzés éve: 2005

Közlemény:23928976 Nyilvános Idéző Disszertáció (PhD ) Tudományos

PhD (Disszertáció) | Tudományos[23928976] [Nyilvános]

70.

Tichy, M ; Giese, H

Extending Fault Tolerance Patterns by Visual Degradation Rules

In: Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)

(2005) pp. 67-74. , 8 p.

Google scholar Google scholar hash

Közlemény:23929042 Nyilvános Idéző Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos

Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[23929042] [Nyilvános]

71.

Mens, T ; Van, Gorp P

A Taxonomy of Model Transformation and its Application to Graph Transformation

In: Proceedings of the International Workshop on Graph and Model Transformation

(2004) pp. 7-23. , 17 p.

Közlemény:23929045 Admin láttamozott Idéző Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos

Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[23929045] [Admin láttamozott]

Rendezés

Lista exportálása irodalomjegyzékként