Ioan Dragan

According to our database, Ioan Dragan authored at least 15 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

A Scalable Platform for Monitoring Data Intensive Applications.

Ioan Dragan, Gabriel Iuhasz, Dana Petcu

J. Grid Comput., 2019

2017

Applying Self-* Principles in Heterogeneous Cloud Environments.

Ioan Dragan, Teodor-Florin Fortis, Gabriel Iuhasz, Marian Neagul, Dana Petcu

Proceedings of the Cloud Computing - Principles, Systems and Applications, Second Edition, 2017

Collecting Facebook data for big data research.

Ioan Dragan, Razvan Zota

Proceedings of the 2017 16th RoEduNet Conference: Networking in Education and Research (RoEduNet), 2017

The CloudLightning approach to cloud-user interaction.

Teodora Selea, Ioan Dragan, Teodor-Florin Fortis

Proceedings of the 1st International Workshop on Next generation of Cloud Architectures, 2017

Towards the Integration of a HPC Build System in the Cloud Ecosystem.

Ioan Dragan, Teodora Selea, Teodor-Florin Fortis

Proceedings of the Complex, Intelligent, and Software Intensive Systems, 2017

2016

Architecture of a Scalable Platform for Monitoring Multiple Big Data Frameworks.

Gabriel Iuhasz, Daniel Pop, Ioan Dragan

Scalable Comput. Pract. Exp., 2016

Exposing HPC services in the Cloud: the CloudLightning Approach.

Ioan Dragan, Teodor-Florin Fortis, Marian Neagul

Scalable Comput. Pract. Exp., 2016

Preface to SOSeMC 2016.

Teodor-Florin Fortis, Ioan Dragan

Proceedings of the 2016 IEEE International Conference on Autonomic Computing, 2016

2015

vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification.

Roland Lezuo, Ioan Dragan, Gergö Barany, Andreas Krall

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

An Overview of Monitoring Tools for Big Data and Cloud Applications.

Gabriel Iuhasz, Ioan Dragan

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Self-defining SLA infrastructure in BSS cloud deployments.

Ioan Dragan, Razvan Daniel Zota

Proceedings of the 2015 14th RoEduNet International Conference, 2015

2014

Experimenting with SAT Solvers in Vampire.

Armin Biere, Ioan Dragan, Laura Kovács, Andrei Voronkov

Proceedings of the Human-Inspired Computing and Its Applications, 2014

Lingva: Generating and Proving Program Properties Using Symbol Elimination.

Ioan Dragan, Laura Kovács

Proceedings of the Perspectives of System Informatics, 2014

SAT solving experiments in Vampire.

Armin Biere, Ioan Dragan, Laura Kovács, Andrei Voronkov

Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, 2014

2013

Bound Propagation for Arithmetic Reasoning in Vampire.

Ioan Dragan, Konstantin Korovin, Laura Kovács, Andrei Voronkov

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013