Sorana Tania Nemes

According to our database, Sorana Tania Nemes authored at least 16 papers between 2017 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Conceptual Modelling of Service-Oriented Software Systems.

Klaus-Dieter Schewe, Károly Bósa, Andreea Buga, Sorana Tania Nemes

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2018

An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study.

Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop

Comput. Lang. Syst. Struct., 2018

Addressing Client Needs for Cloud Computing using Formal Foundations.

Andreea Buga, Sorana Tania Nemes, Atif Mashkoor

Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

2017

Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines.

Andreea Buga, Sorana Tania Nemes

Proceedings of the Software Engineering and Formal Methods, 2017

Conceptual Modelling of Hybrid Systems - Structure and Behaviour.

Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop

Proceedings of the Model and Data Engineering - 7th International Conference, 2017

Management of accurate profile matching using multi-cloud service interaction.

Andreea Buga, Bernhard Freudenthaler, Jorge Martínez Gil, Sorana Tania Nemes, Alejandra Lorena Paoletti

Proceedings of the 19th International Conference on Information Integration and Web-based Applications & Services, 2017

Adopting formal approaches for monitoring and adaptation for large-scale distributed systems.

Sorana Tania Nemes, Andreea Buga

Proceedings of the 8th International Conference on Information, 2017

Towards a Case-Based Reasoning Approach to Dynamic Adaptation for Large-Scale Distributed Systems.

Sorana Tania Nemes, Andreea Buga

Proceedings of the Case-Based Reasoning Research and Development, 2017

Adopting Formal Approaches for Monitoring Sensors of Intercloud Systems.

Andreea Buga, Sorana Tania Nemes

Proceedings of the 5th International Conference on Future Internet of Things and Cloud Workshops, 2017

Towards Care Systems Using Model-Driven Adaptation and Monitoring of Autonomous Multi-clouds.

Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe

Proceedings of the Advances in Conceptual Modeling, 2017

Conceptual Modelling of Autonomous Multi-cloud Interaction with Reflective Semantics.

Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe

Proceedings of the Conceptual Modeling - 36th International Conference, 2017

Towards Modeling Monitoring Services for Large-Scale Distributed Systems with Abstract State Machines.

Andreea Buga, Sorana Tania Nemes

Proceedings of the Joint Proceedings of the Radar tracks at the 18th International Working Conference on Business Process Modeling, 2017

A Conceptual Model for Systems Engineering and Its Formal Foundation.

Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop

Proceedings of the Information Modelling and Knowledge Bases XXIX, 2017

A Formal Approach for Failure Detection in Large-Scale Distributed Systems Using Abstract State Machines.

Andreea Buga, Sorana Tania Nemes

Proceedings of the Database and Expert Systems Applications, 2017

Towards an ASM Specification for Monitoring and Adaptation Services of Large-Scale Distributed Systems.

Andreea Buga, Sorana Tania Nemes

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Towards Modeling Monitoring of Smart Traffic Services in a Large-scale Distributed System.

Andreea Buga, Sorana Tania Nemes

Proceedings of the CLOSER 2017, 2017