Publikációk

Export 16 results:
Rendezés: Szerző [ Cím  (Desc)] Típus Év
Szűrők: A Cím Első Betűje = B  [Minden szűrő visszaállítása]
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   [MINDENT mutat]
B
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.
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.
Hegedüs, Á., "BPEL2.0 munkafolyamatok formális verifikációja", Tavaszi Szél Konferenciakiadvány, Szeged, pp. 20-26, 05/2009. Abstract
In Hungarian
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.
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.
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.
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.
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%
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%
Rebeka, F., Tóth, T., Hajdu, Á., and Vörös, A., "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.
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.
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%
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