Publications
Filters: First Letter Of Title is B [Clear All Filters]
"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 for Graph Transformation",
Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 05), Dallas, Texas, USA, IEEE Press, pp. 79–88, September, 2005.
Abstract
Acceptance rate: 31%
Benchmarking for Graph Transformation,
, no. TUB-TR-05-EE17: Budapest University of Technology and Economics, March, 2005.
"A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation",
Proc. 4th International Conference on Graph Transformations, ICGT 2008, vol. 5214: Springer, pp. 396-410, 2008.
Abstract
Acceptance rate: ~40%
"BPEL2.0 munkafolyamatok formális verifikációja",
Tavaszi Szél Konferenciakiadvány, Szeged, pp. 20-26, 05/2009.
Abstract
In Hungarian
"BPMN to BPEL case study solution in VIATRA2",
5th International Workshop on Graph-Based Tools, , Zürich, Switzerland, Springer, 07/2009.
"Benchmarking the Ethernet-Federated Datacenter",
First Workshop on Data Center - Converged and Virtual Ethernet Switching, pp. 211 -221, sep., 2009.
Benchmarking the Ethernet-Federated Datacenter,
, no. RZ3753: IBM Zürich Research Laboratory, 2009.
"BPEL Verification: The Back-annotation Problem",
Proceedings of the 17th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 30–31, 02/2010.
"Back-annotation of Simulation Traces with Change-Driven Model Transformations",
Proceedings of the Eighth International Conference on Software Engineering and Formal Methods, Pisa, IEEE Computer Society, pp. 145-155, 09/2010.
Abstract
Acceptance rate: 22%
"Bounded Saturation Based CTL Model Checking.",
12th Symposium on Programming Languages and Software Tools - SPLST'11, 2011.
"Bounded saturation-based CTL model checking",
Proceedings of the Estonian Academy of Sciences, vol. 62, issue 1, pp. 12, 03/2013.
"Bringing Automated Model Checking to PLC Program Development – A CERN Case Study",
Proceedings of the 12th International Workshop on Discrete Event Systems, Paris, France, International Federation of Automatic Control, pp. 394-399, 05/2014.
"Back-annotation of Execution Sequences by Advanced Search and Traceability Techniques",
Department of Measurement and Information Systems, vol. PhD, Budapest, Budapest University of Technology and Economics, 06/2014.
Abstract
"Backward reachability analysis for timed automata with data variables",
Proceedings of the 18th International Workshop on Automated Verification of Critical Systems, vol. 76, Oxford, England, EASST, pp. 1-20, 2018.