Ioan Dragan

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 7

Top Topics

Boolean Optimization

False Acceptance

Top Venues

Scalable Comput. Pract. Exp.

Ershov Memorial Conference

Publications

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