Publications
] Filters: First Letter Of Title is F [Clear All Filters]
"From assessment to standardised benchmarking: Will it happen? What could we do about it?",
Proc. 39th IEEE/IFIP Symposium on Dependable Systems and Networks (DSN 2009), pp. 295 - 296, 2009.
"Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers",
Department of Measurement and Information Systems, vol. PhD, Budapest, Budapest University of Technology and Economics, pp. 186, 03/2019.
A framework for the Dependability analysis of UML-based system designs with maintenance,
: Budapest University of Technology and Economics, 05/2009.
Abstract
Flow and Congestion Control for Datacenter Networks,
, no. RZ3742: IBM Zürich Research Laboratory, 2009.
From BPEL to SAL and Back: a Tool Demo on Back-Annotation with VIATRA2,
: Consiglio Nazionale delle Ricerche (CNR), pp. 35-42, 09/2010.
Abstract
Accepted for the SEFM'2010 "Posters and Tool Demo Session" Track
