Ioan Dragan

15 papers Misc 4Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2019 J jnl
A Scalable Platform for Monitoring Data Intensive Applications.
J. Grid Comput.
Ioan Dragan, Gabriel Iuhasz, Dana Petcu
2017 — ch.
Applying Self-* Principles in Heterogeneous Cloud Environments.
Cloud Computing, 2nd Ed.
Ioan Dragan, Teodor-Florin Fortis, Gabriel Iuhasz, Marian Neagul, Dana Petcu
2017 — conf
Collecting Facebook data for big data research.
RoEduNet
Ioan Dragan, Razvan Zota
2017 — conf
The CloudLightning approach to cloud-user interaction.
CloudNG@EuroSys
Teodora Selea, Ioan Dragan, Teodor-Florin Fortis
2017 Misc conf
Towards the Integration of a HPC Build System in the Cloud Ecosystem.
CISIS
Ioan Dragan, Teodora Selea, Teodor-Florin Fortis
2016 J jnl
Architecture of a Scalable Platform for Monitoring Multiple Big Data Frameworks.
Scalable Comput. Pract. Exp.
Gabriel Iuhasz, Daniel Pop, Ioan Dragan
2016 J jnl
Exposing HPC services in the Cloud: the CloudLightning Approach.
Scalable Comput. Pract. Exp.
Ioan Dragan, Teodor-Florin Fortis, Marian Neagul
2016 — conf
Preface to SOSeMC 2016.
ICAC
Teodor-Florin Fortis, Ioan Dragan
2015 Misc conf
An Overview of Monitoring Tools for Big Data and Cloud Applications.
SYNASC
Gabriel Iuhasz, Ioan Dragan
2015 — conf
Self-defining SLA infrastructure in BSS cloud deployments.
RoEduNet
Ioan Dragan, Razvan Daniel Zota
2015 Misc conf
vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification.
SYNASC
Roland Lezuo, Ioan Dragan, Gergö Barany, Andreas Krall
2014 — conf
Experimenting with SAT Solvers in Vampire.
MICAI (1)
Armin Biere, Ioan Dragan, Laura Kovács, Andrei Voronkov
2014 — conf
Lingva: Generating and Proving Program Properties Using Symbol Elimination.
Ershov Memorial Conference
Ioan Dragan, Laura Kovács
2014 — conf
SAT solving experiments in Vampire.
Vampire Workshop
Armin Biere, Ioan Dragan, Laura Kovács, Andrei Voronkov
2013 Misc conf
Bound Propagation for Arithmetic Reasoning in Vampire.
SYNASC
Ioan Dragan, Konstantin Korovin, Laura Kovács, Andrei Voronkov