Follow
Ioan Dragan
Ioan Dragan
Researcher, Institute e-Austria, Timisoara and Universitatea de Vest din Timisoara
Verified email at e-uvt.ro - Homepage
Title
Cited by
Cited by
Year
CLOUDLIGHTNING: A Framework for a Self-organising and Self-managing Heterogeneous Cloud
T Lynn, H Xiong, D Dong, B Momani, GA Gravvanis, ...
ScitePress, 2016
322016
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
252015
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
162016
Experimenting with SAT solvers in Vampire
A Biere, I Dragan, L Kovács, A Voronkov
Mexican International Conference on Artificial Intelligence, 431-442, 2014
122014
LINGVA: Generating and proving program properties using symbol elimination
I Dragan, L Kovács
International Andrei Ershov Memorial Conference on Perspectives of System …, 2014
112014
Applying self-* principles in heterogeneous cloud environments
I Drăgan, TF Fortiş, G Iuhasz, M Neagul, D Petcu
Cloud Computing, 255-274, 2017
72017
A scalable platform for monitoring data intensive applications
I Drăgan, G Iuhasz, D Petcu
Journal of Grid Computing 17 (3), 503-528, 2019
62019
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
52015
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
52013
Towards the integration of a HPC build system in the cloud ecosystem
I Drăgan, T Selea, TF Fortiş
Conference on Complex, Intelligent, and Software Intensive Systems, 916-925, 2017
42017
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
22017
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
2018
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
2015
SAT solving experiments in Vampire.
A Biere, I Dragan, L Kovács, A Voronkov
Vampire Workshop, 29-32, 2014
2014
vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification
R Lezuo, I Dragan, G Barany, A Krall
Short User Manual for Bound Propagation in Vampire
I Dragan, L Kovács, A Voronkov, K Korovin
The system can't perform the operation now. Try again later.
Articles 1–18