Ivan Porres
Orcid: 0000-0002-6791-2018
According to our database1,
Ivan Porres
authored at least 111 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
CoRR, 2024
Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing, 2024
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024
Proceedings of the 5th ACM/IEEE International Conference on Automation of Software Test (AST 2024), 2024
2023
CoRR, 2023
Proceedings of the IEEE/ACM International Workshop on Search-Based and Fuzz Testing, 2023
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023
2022
Proceedings of the 15th IEEE/ACM International Workshop on Search-Based Software Testing, 2022
Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems.
Proceedings of the 15th IEEE/ACM International Workshop on Search-Based Software Testing, 2022
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits.
Proceedings of the 15th IEEE International Conference on Software Testing, 2022
Proceedings of the 15th IEEE International Conference on Software Testing, 2022
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022
2021
Proceedings of the 14th IEEE International Conference on Software Testing, 2021
2020
Using Deep Reinforcement Learning for Exploratory Performance Testing of Software Systems With Multi-Dimensional Input Spaces.
IEEE Access, 2020
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications, 2020
2019
Reasoning about UML/OCL class diagrams using constraint logic programming and formula.
Inf. Syst., 2019
Comput. Sci. Rev., 2019
Comput. Sci. Rev., 2019
MATERA2-AlfTester: An Exhaustive Simulation and Test Generation Tool for fUML Models.
Proceedings of the 45th Euromicro Conference on Software Engineering and Advanced Applications, 2019
Proceedings of the 45th Euromicro Conference on Software Engineering and Advanced Applications, 2019
Proceedings of the Advanced Information Systems Engineering, 2019
2018
Multi-objective dynamic virtual machine consolidation in the cloud using ant colony system.
Int. J. Parallel Emergent Distributed Syst., 2018
Identifying worst-case user scenarios for performance testing of web applications using Markov-chain workload models.
Future Gener. Comput. Syst., 2018
The Role of Organisational Phenomena in Software Cost Estimation: A Case Study of Supporting and Hindering Factors.
e Informatica Softw. Eng. J., 2018
Comput. Sci. Rev., 2018
Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications, 2018
2017
Proceedings of the Companion Proceedings of the 10th International Conference on Utility and Cloud Computing, 2017
Reconstructing timed symbolic traces from <i>rtioco</i>-based timed test sequences using backward-induction.
Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, 2017
2016
Prediction-based VM provisioning and admission control for multi-tier web applications.
J. Cloud Comput., 2016
Proceedings of the Agile Processes, in Software Engineering, and Extreme Programming, 2016
Proceedings of the 2016 IEEE Symposium on Visual Languages and Human-Centric Computing, 2016
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016
2015
Smart Dosing: A mobile application for tracking the medication tray-filling and dispensation processes in hospital wards.
Proceedings of the Recent Advances in Ambient Assisted Living, 2015
J. Vis. Lang. Comput., 2015
IEEE Trans. Serv. Comput., 2015
Proceedings of the Agile Processes, in Software Engineering, and Extreme Programming, 2015
A Multi-objective ACS Algorithm to Optimize Cost, Performance, and Reliability in the Cloud.
Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015
Proceedings of the 23rd Euromicro International Conference on Parallel, 2015
2014
Proceedings of the Web Information Systems and Technologies, 2014
Proceedings of the WEBIST 2014, 2014
Using Ant Colony System to Consolidate Multiple Web Applications in a Cloud Environment.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014
Proceedings of the 14th IEEE/ACM International Symposium on Cluster, 2014
Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014
2013
A Metrics Model to Measure the Impact of an Agile Transformation in Large Software Development Organizations.
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2013
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013
Model-based Performance Testing of Web Services using Probabilistic Timed Automata.
Proceedings of the WEBIST 2013, 2013
Proceedings of the Product-Focused Software Process Improvement, 2013
Prediction-Based Dynamic Resource Allocation for Video Transcoding in Cloud Computing.
Proceedings of the 21st Euromicro International Conference on Parallel, 2013
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013
Proceedings of the Joint Proceedings of MODELS'13 Invited Talks, 2013
Stream-Based Admission Control and Scheduling for Video Transcoding in Cloud Computing.
Proceedings of the 13th IEEE/ACM International Symposium on Cluster, 2013
2012
Proceedings of the Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, 2012
A Session-Based Adaptive Admission Control Approach for Virtualized Application Servers.
Proceedings of the IEEE Fifth International Conference on Utility and Cloud Computing, 2012
Proceedings of the Systems, Software and Services Process Improvement, 2012
Feedback Control Algorithms to Deploy and Scale Multiple Web Applications per Virtual Machine.
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012
CRAMP: Cost-efficient Resource Allocation for Multiple web applications with Proactive scaling.
Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, 2012
2011
Programming biomedical smart space applications with <i>BioImageXD</i> and <i>PythonRules</i>.
Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences, 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011
Proceedings of the Smart Spaces and Next Generation Wired/Wireless Networking, 2011
Proceedings of the Models in Software Engineering, 2011
Proceedings of the Web Engineering - 11th International Conference, 2011
Towards Automatic Performance and Scalability Testing of Rich Internet Applications in the Cloud.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011
An Efficient Google Datastore Adapter for Rich Internet Applications.
Proceedings of the CLOSER 2011, 2011
2010
J. Biomed. Informatics, 2010
A Feasibility Study on the Validation of Domain Specific Languages Using OWL 2 Reasoners.
Proceedings of the 3rd Workshop on Transforming and Weaving Ontologies in Model Driven Engineering, 2010
Proceedings of the Third International Conference on Software Testing, 2010
Proceedings of the Software Architecture, 4th European Conference, 2010
Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010
2009
Proceedings of the 6th International Workshop on Model-Driven Engineering, 2009
Proceedings of the Models in Software Engineering, 2009
2008
Softw. Syst. Model., 2008
Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008
A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems.
Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008
Proceedings of the Twenty-First IEEE International Symposium on Computer-Based Medical Systems, 2008
2007
Sci. Comput. Program., 2007
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007
Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007
Proceedings of the Forum on specification and Design Languages, 2007
Development of an Ubiquitous Decision Support System for Clinical Guidelines using MDA.
Proceedings of the CAiSE'07 Forum, 2007
2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the Product-Focused Software Process Improvement, 2006
Proceedings of the Joint Meeting of The Fourth Workshop on Model-Based Development of Computrer-Based Systems and The Third International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2006
Proceedings of the Model Driven Engineering Languages and Systems, 2006
Proceedings of the Model Driven Engineering Languages and Systems, 2006
2005
Softw. Syst. Model., 2005
Guest Editors' Foreword.
Nord. J. Comput., 2005
An Architecture Exploration Environment for System on Chip Design.
Nord. J. Comput., 2005
Comparison of Modeling Frameworks for Software Engineering.
Nord. J. Comput., 2005
Software Development and Experimentation in an Academic Environment: The Gaudi Experience.
Proceedings of the Product Focused Software Process Improvement, 2005
Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 30 August, 2005
On Modeling Techniques for Supporting Model-Driven Development of Protocol Processing Applications.
Proceedings of the Model-Driven Software Development, 2005
2003
Proceedings of the «UML» 2003, 2003
Proceedings of the «UML» 2003, 2003
Proceedings of the Forum on specification and Design Languages, 2003
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003
2001
Continuous Action Systems as a Model for Hybrid Systems.
Nord. J. Comput., 2001
Proceedings of the Practical UML-Based Rigorous Development Methods, 2001
2000
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000