Andrey Sadovykh

Orcid: 0000-0003-2384-5447

According to our database1, Andrey Sadovykh authored at least 55 papers between 2002 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report.
Sci. Comput. Program., January, 2024

2023
RQCODE: Security Requirements Formalization with Testing.
Proceedings of the Testing Software and Systems, 2023

Detecting Security Requirements in GitHub Issues -Novel Dataset and SmallBERT-based model.
Proceedings of the IEEE International Conference on Cloud Computing Technology and Science, 2023

VeriDevOps Software Methodology: Security Verification and Validation for DevOps Practices.
Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023

2022
AIDOaRt: AI-augmented Automation for DevOps, a model-based framework for continuous development in Cyber-Physical Systems.
Microprocess. Microsystems, October, 2022

Metrics for Software Process Quality Assessment in the Late Phases of SDLC.
Proceedings of the Intelligent Computing, 2022

Towards AIDOaRt Objectives via Joint Model-based Architectural Effort.
Proceedings of the Joint Proceedings of RCIS 2022 Workshops and Research Projects Track co-located with the 16th International Conference on Research Challenges in Information Science (RCIS 2022), 2022

Application de l'Ingénierie des Exigences basée sur les Modèles dans Trois Grands Projets Collaboratifs Européens : Un Rapport d'Expérience.
Proceedings of the Actes du XLème Congrès INFORSID, Dijon, France, May 31 - June 3, 2022., 2022

RQCODE - Towards Object-Oriented Requirements in the Software Security Domain.
Proceedings of the 15th IEEE International Conference on Software Testing, 2022

2021
Applying Model-based Requirements Engineering in Three Large European Collaborative Projects: An Experience Report.
Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

Security Requirements as Code: Example from VeriDevOps Project.
Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

VeriDevOps: Automated Protection and Prevention to Meet Security Requirements in DevOps.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Extracting Software Requirements from Unstructured Documents.
Proceedings of the Recent Trends in Analysis of Images, Social Networks and Texts, 2021

2020
MegaM@Rt2 EU Project: Open Source Tools for Mega-Modelling at Runtime of CPSs.
Proceedings of the Open Source Systems - 16th IFIP WG 2.13 International Conference, 2020

The Development of Data Collectors in Open-Source System for Energy Efficiency Assessment.
Proceedings of the Open Source Systems - 16th IFIP WG 2.13 International Conference, 2020

Combining Two Modelling Approaches: GQM and KAOS in an Open Source Project.
Proceedings of the Open Source Systems - 16th IFIP WG 2.13 International Conference, 2020

2019
On a tool-supported model-based approach for building architectures and roadmaps: The MegaM@Rt2 project experience.
Microprocess. Microsystems, 2019

REVaMP2 Project: Towards Round-Trip Engineering of Software Product Lines - Approach, Intermediate Results and Challenges.
Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research Challenges.
Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper).
Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

Measurements for Energy Efficient, Adaptable, Mobile Systems - A Research Agenda.
Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

Enterprise Architecture modelling with ArchiMate.
Proceedings of the STAF 2019 Co-Located Events Joint Proceedings: 1st Junior Researcher Community Event, 2nd International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, and 1st Research Project Showcase Workshop co-located with Software Technologies: Applications and Foundations (STAF 2019), Eindhoven, The Netherlands, July 15, 2019

Showcasing Modelio and pure: variants Integration in REVaMP^2 Project.
Proceedings of the Product-Focused Software Process Improvement, 2019

An Integrated Model-Based Tool Chain for Managing Variability in Complex System Design.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Hackathons as a Part of Software Engineering Education: CASE in Tools Example.
Proceedings of the Frontiers in Software Engineering Education, 2019

Analysis of Development Tool Usage in Software Engineering Classes.
Proceedings of the Frontiers in Software Engineering Education, 2019

ArchiMate as a Specification Language for Big Data Applications - DataBio Example.
Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

On the Use of Hackathons to Enhance Collaboration in Large Collaborative Projects : - A Preliminary Case Study of the MegaM@Rt2 EU Project -.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018
The MegaM@Rt2 ECSEL project: MegaModelling at Runtime - Scalable model-based framework for continuous development and runtime validation of complex systems.
Microprocess. Microsystems, 2018

1st intl. workshop on variability and evolution of software-intensive systems (varivolution).
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

A Tool-Supported Approach for Building the Architecture and Roadmap in MegaM@Rt2 Project.
Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

Sensor-based Database with SensLog: A Case Study of SQL to NoSQL Migration.
Proceedings of the 7th International Conference on Data Science, 2018

2017
The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime - Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems.
Proceedings of the Euromicro Conference on Digital System Design, 2017

2016
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project.
Proceedings of the 2016 2nd International Workshop on Modelling, 2016

2014
Flexible and Scalable Modelling in the MONDO Project: Industrial Case Studies.
Proceedings of the 3rd Workshop on Extreme Modeling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, 2014

Taming the Complexity of Big Data Multi-Cloud Applications with Models.
Proceedings of the Poster Workshop at the 2014 Complex Systems Design & Management International Conference co-located with 5th International Conference on Complex System Design & Management (CSD&M 2014), 2014

Scalability in System Design and Management, the MONDO Approach in an Industrial Project.
Proceedings of the Poster Workshop at the 2014 Complex Systems Design & Management International Conference co-located with 5th International Conference on Complex System Design & Management (CSD&M 2014), 2014

Towards Modelling Support for Multi-cloud and Multi-data Store Applications.
Proceedings of the Cloud Computing and Services Sciences, 2014

Multi-cloud and Multi-data Stores - The Challenges Behind Heterogeneous Data Models.
Proceedings of the CLOSER 2014, 2014

2013
From the Desktop to the Multi-clouds: The Case of ModelioSaaS.
Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

The OMG UML Testing Profile in Use-An Industrial Case Study for the Future Internet Testing.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012
MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems.
Proceedings of the 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), 2012

A MARTE subset to enable application-platform co-simulation and schedulability analysis of NoC-based embedded systems.
Proceedings of the 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), 2012

ENOSYS FP7 EU project: An integrated modeling and synthesis flow for embedded systems design.
Proceedings of the 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), 2012

2011
REMICS- REuse and Migration of Legacy Applications to Interoperable Cloud Services.
Proceedings of the Towards a Service-Based Internet - 4th European Conference, 2011

Specifying Services using the Service Oriented Architecture Modeling Language (SoaML) - A Baseline for Specification of Cloud-based Services.
Proceedings of the CLOSER 2011, 2011

2010
REMICS- REuse and Migration of Legacy Applications to Interoperable Cloud Services - REMICS Consortium.
Proceedings of the Towards a Service-Based Internet - Third European Conference, 2010

WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition.
Proceedings of the IEEE International Conference on Web Services, 2010

2009
Architecture Driven Modernization in Practice - Study Results.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

On Study Results: Round Trip Engineering of Space Systems.
Proceedings of the Model Driven Architecture, 2009

2007
Software Process Modeling and Execution: The UML4SPM to WS-BPEL Approach.
Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), 2007

2004
On Distributed System Supervision - A Modern Approach: GeneSys.
Proceedings of the Network Control and Engineering for QoS, Security and Mobility, III, 2004

The Problematic of Distributed Systems Supervision - An Example: GeneSyS.
Proceedings of the Information Technology, Selected Tutorials, 2004

GENESYS: Inovative Framework for Comprehensive Supervision in Multiple Domains.
Proceedings of the IADIS International Conference WWW/Internet 2004, 2004

2002
Position Paper: GeneSyS: A Generic Architecture for Supervision of Distributed Applications.
Proceedings of the Web and the Grid: from e-science to e-business. EuroWeb 2002 Conference, 2002


  Loading...