CLOUDLIGHTNING: A Framework for a Self-organising and Self-managing Heterogeneous Cloud. T Lynn, H Xiong, D Dong, B Momani, GA Gravvanis, ... CLOSER (1), 333-338, 2016 | 35 | 2016 |
An overview of monitoring tools for big data and cloud applications G Iuhasz, I Dragan 2015 17th International Symposium on Symbolic and Numeric Algorithms for …, 2015 | 25 | 2015 |
Architecture of a scalable platform for monitoring multiple big data frameworks G Iuhasz, D Pop, I Dragan Scalable Computing: Practice and Experience 17 (4), 313-321, 2016 | 16 | 2016 |
Experimenting with SAT solvers in Vampire A Biere, I Dragan, L Kovács, A Voronkov Mexican International Conference on Artificial Intelligence, 431-442, 2014 | 12 | 2014 |
LINGVA: Generating and proving program properties using symbol elimination I Dragan, L Kovács Perspectives of System Informatics: 9th International Ershov Informatics …, 2015 | 11 | 2015 |
A scalable platform for monitoring data intensive applications I Drăgan, G Iuhasz, D Petcu Journal of Grid Computing 17, 503-528, 2019 | 8 | 2019 |
Applying self-* principles in heterogeneous cloud environments I Drăgan, TF Fortiș, G Iuhasz, M Neagul, D Petcu Cloud Computing: Principles, Systems and Applications, 255-274, 2017 | 7 | 2017 |
Bound propagation for arithmetic reasoning in Vampire I Dragan, K Korovin, L Kovács, A Voronkov 2013 15th International Symposium on Symbolic and Numeric Algorithms for …, 2013 | 6 | 2013 |
vanHelsing: a fast proof checker for debuggable compiler verification R Lezuo, I Dragan, G Barany, A Krall 2015 17th International Symposium on Symbolic and Numeric Algorithms for …, 2015 | 5 | 2015 |
Towards the integration of a HPC build system in the cloud ecosystem I Drăgan, T Selea, TF Fortiș Complex, Intelligent, and Software Intensive Systems: Proceedings of the …, 2018 | 4 | 2018 |
The cloudlightning approach to cloud-user interaction T Selea, I Drăgan, TF Fortiș Proceedings of the 1st International Workshop on Next generation of Cloud …, 2017 | 3 | 2017 |
Application Blueprints and Service Description I Dragan, TF Fortiș, M Neagul, D Petcu, T Selea, A Spataru Heterogeneity, High Performance Computing, Self-Organization and the Cloud …, 2018 | 1 | 2018 |
A Scalable Platform for Monitoring Data Intensive Applications G Iuhasz, I Dragan, D Petcu | | 2019 |
Exposing HPC services in the Cloud: the CloudLightning Approach I Dragan, TF Fortis, M Neagul Scalable Computing: Practice and Experience 17 (4), 323-330, 2016 | | 2016 |
Preface to SOSeMC 2016 TF Fortis, I Dragan 2016 IEEE International Conference on Autonomic Computing (ICAC), 342-342, 2016 | | 2016 |
First-order theorem proving for program analysis and theory reasoning ID Dragan Technische Universität Wien, 2015 | | 2015 |
Experimenting with SAT Solvers in Vampire I Dragan | | 2014 |
SAT solving experiments in Vampire I Dragan | | 2014 |
SAT solving experiments in Vampire. A Biere, I Dragan, L Kovács, A Voronkov Vampire Workshop, 29-32, 2014 | | 2014 |
Recent Developments in Vampire for Program Analysis and Theory Reasoning I Dragan | | 2013 |