Publications
Filters: First Letter Of Last Name is K [Clear All Filters]
"Formal analysis of BPEL workflows with compensation by model checking",
International Journal of Computer Systems and Engineering, vol. 23, no. 5, 2008.
Abstract
"Extensions to the CEGAR Approach on Petri Nets",
Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, Szeged, Hungary, University of Szeged, pp. 274–288, 08/2013.
Abstract
"Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers",
Proceedings of the 14th International Workshop on Formal Engineering Approaches to Software Components and Architectures, vol. 245: Open Publishing Association, pp. 31–45, 2017.
Abstract
"Evaluation of Graph Analytics Frameworks Using the GAP Benchmark Suite",
IEEE International Symposium on Workload Characterization, 2020.
"Empirical Assessment of Resilience",
Software Engineering for Resilient Systems, vol. 8166: Springer Berlin Heidelberg, 2013.
"Efficient Saturation-based Bounded Model Checking of Asynchronous Systems",
13th Symposium on Programming Languages and Software Tools (SPLST'13), Szeged, Hungary, University of Szeged, pp. 259–273, 08/2013.
"Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models",
Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 281-300, 2016.
"An Eclipse-Based Framework for AIS Service Configurations",
Proc. 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, vol. 4526: Springer, pp. 110-126, 2007.
Abstract
Acceptance rate: 44%
"An early look at the LDBC Social Network Benchmark's Business Intelligence workload",
GRADES-NDA at SIGMOD, Houston, TX, ACM, 2018.
"Design and Evaluation of a Safe Driver Machine Interface",
INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 5, issue 2, pp. 153 - 166, 2009.
"Dependability Modeling Using Aspect Weaving Techniques",
Dependable Computing - EDCC 2005, Berlin ; Heidelberg, Springer, pp. 77 - 78, 2005.
"Data Analysis Based Capacity Planning of VCL Clouds",
3rd International IBM Cloud Academy Conference ICACON 2015, Budapest, 05/2015.
"Configurable Numerical Analysis for Stochastic Systems",
Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR): IEEE, 2016.
"A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems",
Agent and Multi-Agent Systems. Technologies and Applications, vol. 7327: Springer Berlin / Heidelberg, pp. 504-513, 2012.
Abstract
"Composable Framework Support for Software-FMEA through Model Execution",
Certifications of Critical Systems – The CECRIS Experience, Delft, Netherlands, River Publishers, pp. 183–200, 2017.
"Benchmarking the Ethernet-Federated Datacenter",
First Workshop on Data Center - Converged and Virtual Ethernet Switching, pp. 211 -221, sep., 2009.
"Automating Model Transformation by Example Using Inductive Logic Programming",
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 11-15, 2007: ACM Press, pp. 978-984, 2007.
Abstract
Acceptance rate: 32%
"Automatic Program Generation for and by Model Transformation Systems",
Proc. AGT 2002: Workshop on Applied Graph Transformation, Grenoble, France, pp. 161–173, April 12–13, 2002.
Abstract
"Applying MDA approach for the SA Forum platform",
3rd Federated Event on Distributed Computing Techniques 2008, Oslo, pp. 1 - 6, 2008.
"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
"Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans",
GraMot 2005, International Workshop on Graph and Model Transformations, vol. 152: Elsevier, pp. 191–205, 2006.
Abstract
- « first
- ‹ previous
- 1
- 2
- 3