Publikációk
"Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models",
Graph Transformation, Specifications, and Nets (In Memory of Hartmut Ehrig), no. 10800: Springer, 2018.
"Towards Testing the Implementation of Graph Transformations",
Proc. of the Fifth International Workshop on Graph Transformation and Visual Modelling Techniques: Elsevier, 2006.
Abstract
"Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles",
IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS): IEEE, 2019.
New Ideas and Vision Track
"Towards Symbolic Analysis of Visual Modelling Languages",
Proc. GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 72 (3), no. 3, Barcelona, Spain, Elsevier, pp. 57–70, October 11-12, 2002.
Abstract
"Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics",
Proceedings of the 25th PhD Mini-Symposium, Budapest, Hungary, pp. 36-39., 02/2018.
"Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View",
10th Latin-American Symposium on Dependable Computing (LADC 2021), Florianópolis, Brazil, IEEE, 11/2021.
"Towards Reliable Benchmarks of Timed Automata",
Proceedings of the 25th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2018.
"Towards Precise Metrics for Predicting Graph Query Performance",
2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), Silicon Valley, CA, USA, IEEE, pp. 412--431, 11/2013.
Abstract
Acceptance Rate: 23%
"Towards Guided Trajectory Exploration of Graph Transformation Systems",
Electronic Communications of the EASST, Petri Nets and Graph Transformations 2010, vol. 40, 08/2011.
Abstract
"Towards Formal Verification of Model Transformations",
PhD Student Workshop of FMOODS 2002, Formal Methods for Open Object-Based Distributed Systems, Enschede, The Netherlands, March 20–22, 2002.
Abstract
"Towards Evaluating Size Reduction Techniques for Software Model Checking",
Proceedings of the Fifth International Workshop on Verification and Program Transformation, vol. 253: Open Publishing Association, pp. 75-91, 2017.
Abstract
"Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling",
2nd International Workshop on Collaborative Modelling in MDE, Austin, Texas, USA, 09/2017.
"Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata",
23rd Minisymposium of the Department of Measurement and Information Systems, Budapest, 2016.
"Towards Dynamic Backward Slicing of Model Transformations",
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, IEEE Computer Society, 11/2011.
"Towards dependability modeling of FT-CORBA architectures",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 2485, pp. 121 - 139, 2002.
Abstract
Towards an XMI–Based Model Interchange Format for Graph Transformation Systems,
: Budapest University of Technology and Economics, Department of Measurement and Information Systems, September, 2000.
Abstract
"Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies",
Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, MPM@MODELS 2014, vol. 1237, Valencia, Spain, CEUR-WS.org, pp. 61–66, 09/2014.
"Towards a Two Layered Verification Approach for Compiled Graph Transformation",
In Proc. of ICGT '08 , 4th Intl. Conference on Graph Transformation: Springer, 2008.
"Towards a Formal Operational Semantics of UML Statechart Diagrams",
Formal Methods for Open Object-Based Distributed Systems (Proc. Third IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'99), February 15-18, 1999, Florence, Italy), Deventer, Kluwer Academic Publishers, pp. 331 - 347, 1999.
"Tool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems",
Proc. FORMS/FORMAT 2007, the 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems: Gesamtzentrum für Verkehr Braunschweig e.V., pp. 342 - 352, 2007.
"Tool Support for Engineering Certifiable Software",
Electr. Notes Theor. Comput. Sci., vol. 238, no. 4, pp. 79-85, 2008.
Abstract
"Tool Integration by Model Transformations based on the Eclipse Modeling Framework",
EASST Newsletter, vol. 12, 2006.
Abstract
"A Tool for Managing Evolving Security Requirements",
CAiSE'11 Forum at the 23rd International Conference on Advanced Information Systems Engineering, vol. 734, London, UK, CEUR-WS, pp. 49-56, 06/2011.
Abstract
urn:nbn:de:0074-734-7
"A Tool for Managing Evolving Security Requirements",
IS Olympics: Information Systems in a Diverse World, vol. 107: Springer Berlin Heidelberg, pp. 110-125, 2012.
Abstract
10.1007/978-3-642-29749-6_8