Sorana Tania Nemes

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Conceptual Modelling of Service-Oriented Software Systems.
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.
Comput. Lang. Syst. Struct., 2018

Addressing Client Needs for Cloud Computing using Formal Foundations.
Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

2017
Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines.
Proceedings of the Software Engineering and Formal Methods, 2017

Conceptual Modelling of Hybrid Systems - Structure and Behaviour.
Proceedings of the Model and Data Engineering - 7th International Conference, 2017

Management of accurate profile matching using multi-cloud service interaction.
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.
Proceedings of the 8th International Conference on Information, 2017

Towards a Case-Based Reasoning Approach to Dynamic Adaptation for Large-Scale Distributed Systems.
Proceedings of the Case-Based Reasoning Research and Development, 2017

Adopting Formal Approaches for Monitoring Sensors of Intercloud Systems.
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.
Proceedings of the Advances in Conceptual Modeling, 2017

Conceptual Modelling of Autonomous Multi-cloud Interaction with Reflective Semantics.
Proceedings of the Conceptual Modeling - 36th International Conference, 2017

Towards Modeling Monitoring Services for Large-Scale Distributed Systems with Abstract State Machines.
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.
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.
Proceedings of the Database and Expert Systems Applications, 2017

Towards an ASM Specification for Monitoring and Adaptation Services of Large-Scale Distributed Systems.
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.
Proceedings of the CLOSER 2017, 2017


  Loading...