Publikációk
] Szűrők: Az Utónév Első Betűje = M [Minden szűrő visszaállítása]
Automated Evaluation of the Test Traces of Autonomous Systems,
, Budapest, Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, pp. 25 pages, 01/2013.
Flow and Congestion Control for Datacenter Networks,
, no. RZ3742: IBM Zürich Research Laboratory, 2009.
Isolation and Pex: case study of cooperation,
: Budapest University of Technology and Economics, 09/2013.
Abstract
Concurrent Error Detection in Multiprocessor Systems using Watchdog Processors,
: Budapest University of Technology, 1997.
Languages and frameworks for specifying test artifacts,
: Budapest University of Technology and Economics, 2013.
"Rete Network Slicing for Model Queries",
Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, vol. 9761, Vienna, Austria, Springer International Publishing, pp. 137–152, 06/2016.
Abstract
"Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics",
Proceedings of the 25th PhD Mini-Symposium, Budapest, Hungary, pp. 36-39., 02/2018.
"Abstract Model-based Checkpoint And Recovery",
Proceedings of the 2nd Conference of Phd Students in Computer Science, Szeged, University of Szeged, pp. 96 - 97, 2004.
"Analysis of the Impact of Communication Protocols on Service Quality in ERTMS Automatic Train Control Systems",
Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 225 - 232, 2008.
"Application of Data Mining in Failure Data Analysis",
Workshop on Reliability Analysis of System Failure Data, pp. * - 2, 2007.
"Applying a Model Transformation Taxonomy to Graph Transformation Technology",
GraMot 2005, International Workshop on Graph and Model Transformations, vol. 152: Elsevier, pp. 143–159, 2006.
Abstract
"Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation",
Proc. 19th Int. Conf. on Architecture of Computing Systems: Gesellschaft für Informatik, pp. 66 - 75, 2006.
"Automated Dependability Analysis of UML Designs",
Proc. 2nd IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC'99), pp. 139 - 144, 1999.
"Automated Generation of Consistent Models with Structural and Attribute Constraints",
23rd International Conference on Model Driven Engineering Languages and Systems, Canada, ACM / IEEE, 2020.
Abstract
Artifacts (tool and measurement results) are availables as a virtual machine at https://zenodo.org/record/3950552
"Automated Model Merge by Design Space Exploration",
19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven, The Netherlands, 04/2016.
"Automated Verification of Complex Behavioral Models Using the SAL Model Checker",
Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 35 - 42, 2008.
"Automatic Code Generation Based on Formally Analyzed UML Statechart Models",
Formal Methods for Railway Operation and Control Systems, Budapest, L'Harmattan Kiadó, pp. 45 - 52, 2003.
"Automatic Dependability Analysis for Supporting Design Decisions in UML",
Proc. Fourth IEEE International Symposium on High-Assurance Systems Engineering (HASE'99), Washington, pp. 64 - 71, 1999.
"Automatic Dependability Modeling of Systems Described in UML",
Proc. 9th International Symposium on Software Reliability Engineering (ISSRE'98), pp. 29 - 30, 1998.
"Automatic Generation of Executable Assertions For Runtime Checking Temporal Requirements",
Proceedings of The 9th IEEEInternational Symposium on High Assurance Systems Engineering (HASE 2005): IEEE Computer Society Press, pp. 111 - 120, 2005.
"Backward error recovery in the APEmille parallel computer",
Proc. of the 3rd European Dependable Computing Conf., Prague, Czech Republic, Lecture Notes in Computer Science. Springer Berlin, 1999.
"Benchmarking the Ethernet-Federated Datacenter",
First Workshop on Data Center - Converged and Virtual Ethernet Switching, pp. 211 -221, sep., 2009.
"Checking General Safety Criteria on UML Statecharts",
Computer Safety, Reliability and Security, Berlin ; Heidelberg, Springer-Verlag, pp. 46 - 55, 2001.
"Checkpoint And Recovery in Diverse Software",
Proceedings of the 11th PhD mini-symposium: Budapest University of Technology and Economics Department of Measurement and Information Systems, pp. 20 - 21, 2004.
