Publications

Export 16 results:
Sort by: Author [ Title  (Asc)] Type Year
Filters: First Letter Of Title is B  [Clear All Filters]
A [B] C D E F G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
B
Hegedüs, Á., "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
Hegedüs, Á., Bergmann, G., Ráth, I., and Varró, D., "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%
Bartha, T., and Maestrini, P., "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.
Farkas, R., Tóth, T., Hajdu, Á., and Vörös, A., "Backward reachability analysis for timed automata with data variables", 18th International Workshop on Automated Verification of Critical Systems, Oxford, England, Submitted.
Bergmann, G., Horváth, Á., Ráth, I., and Varró, D., "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%
Varró, G., Schürr, A., and Varró, D., Benchmarking for Graph Transformation, , no. TUB-TR-05-EE17: Budapest University of Technology and Economics, March, 2005.
Varró, G., Schürr, A., and Varró, D., "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%
Gusat, M., DeCusatis, C., Minkenberg, C., Kuldeep, B., McKenna, L., Paljak, G J., Pataricza, A., and Kocsis, I., "Benchmarking the Ethernet-Federated Datacenter", First Workshop on Data Center - Converged and Virtual Ethernet Switching, pp. 211 -221, sep., 2009.
Paljak, G J., Benchmarking the Ethernet-Federated Datacenter, , no. RZ3753: IBM Zürich Research Laboratory, 2009.
Vörös, A., Darvas, D., and Bartha, T., "Bounded Saturation Based CTL Model Checking.", 12th Symposium on Programming Languages and Software Tools - SPLST'11, 2011.
Vörös, A., Darvas, D., and Bartha, T., "Bounded saturation-based CTL model checking", Proceedings of the Estonian Academy of Sciences, vol. 62, issue 1, pp. 12, 03/2013.
Hegedüs, Á., "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.
Hegedüs, Á., "BPEL2.0 munkafolyamatok formális verifikációja", Tavaszi Szél Konferenciakiadvány, Szeged, pp. 20-26, 05/2009. Abstract
In Hungarian
Bergmann, G., and Horváth, Á., "BPMN to BPEL case study solution in VIATRA2", 5th International Workshop on Graph-Based Tools, , Zürich, Switzerland, Springer, 07/2009.
Fernández Adiego, B., Darvas, D., Tournier, J-C., Blanco Viñuela, E., and González Suárez, V. M., "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.