Dénes Bisztray

11 papers B 4Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Demo: Open Visual Positioning and Discovery Services for Location-based Augmented Reality.
UbiComp Companion
Gábor Sörös, Andor Kovács, Dénes Bisztray, Asmaa Thabet, Balázs Ladjánszki, James Jackson, Christine Perey, Alina Kadlubsky
2014 J jnl
Combining termination proofs in model transformation systems.
Math. Struct. Comput. Sci.
Dénes Bisztray, Reiko Heckel
2010 B conf
Combining Termination Criteria by Isolating Deletion.
ICGT
Dénes Bisztray, Reiko Heckel
2009 J jnl
Verification of Architectural Refactorings: Rule Extraction and Tool Support.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
2008 B conf
Compositional Verification of Architectural Refactorings.
WADS
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
2008 — conf
Compositionality of Model Transformations.
VODCA@FOSAD
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
2008 B conf
Verification of Architectural Refactorings by Rule Extraction.
FASE
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
2008 B conf
Verification of Architectural Refactorings: Rule Extraction and Tool Support.
ICGT
Dénes Bisztray
2007 — conf
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools.
AGTIVE
Gabriele Taentzer, Enrico Biermann, Dénes Bisztray, Bernd Bohnet, Iovka Boneva, Artur Boronat, Leif Geiger, Rubino Geiß, Ákos Horváth, Ole Kniemeyer, Tom Mens, Benjamin Ness, Detlef Plump, Tamás Vajk
2007 J jnl
Rule-Level Verification of Business Process Transformations using CSP.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Dénes Bisztray, Reiko Heckel
2007 — conf
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools.
AGTIVE
Dániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell