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, ...
CLOSER (1), 333-338, 2016
352016
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
232015
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
Perspectives of System Informatics: 9th International Ershov Informatics …, 2015
112015
A scalable platform for monitoring data intensive applications
I Drăgan, G Iuhasz, D Petcu
Journal of Grid Computing 17, 503-528, 2019
72019
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
72017
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
72013
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
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
42018
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
32017
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
12018
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
Solving systems of linear inequalities using Bound Propagation in Vampire
I Dragan
2013
The system can't perform the operation now. Try again later.
Articles 1–20