Items where authors include "Calinescu, Radu Constantin"

Export as [feed] Atom [feed] RSS
Number of items: 20.

Article

Paterson, Colin orcid.org/0000-0002-6678-3752 and Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 (2020) Observation-Enhanced QoS Analysis of Component-Based Systems. IEEE Transactions on Software Engineering. pp. 526-548. ISSN 0098-5589

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Paterson, Colin orcid.org/0000-0002-6678-3752 and Johnson, Kenneth Harold Anthony (2019) Efficient Parametric Model Checking Using Domain Knowledge. IEEE Transactions on Software Engineering. 8698796. ISSN 0098-5589

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Weyns, Danny, Gerasimou, Simos et al. (3 more authors) (2018) Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Transactions on Software Engineering. 8008800. pp. 1039-1069. ISSN 0098-5589

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Ceska, Milan, Gerasimou, Simos et al. (2 more authors) (2018) Efficient Synthesis of Robust Models for Stochastic Systems. Journal of Systems and Software. pp. 140-158. ISSN 0164-1212

Gerasimou, Simos, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 and Tamburrelli, Giordano (2018) Synthesis of Probabilistic Models for Quality-of-Service Software Engineering. Automated Software Engineering. ISSN 1573-7535

Book Section

Gerasimou, Simos, Mason, George Rupert, Paterson, Colin Alexander orcid.org/0000-0002-6678-3752 et al. (4 more authors) (2015) Stochastic modeling, analysis and verification of mission-critical systems and processes. In: 4th IMA Conference on Mathematics in Defence. .

Proceedings Paper

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Camara Moreno, Javier orcid.org/0000-0001-6717-4775 and Paterson, Colin orcid.org/0000-0002-6678-3752 (2019) Socio-Cyber-Physical Systems : Models, Opportunities, Open Challenges. In: 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems. UNSPECIFIED. IEEE .

Paterson, Colin orcid.org/0000-0002-6678-3752, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Wang, Di et al. (1 more author) (2019) Using Unstructured Data to Improve the Continuous Planning of Critical Processes Involving Humans. In: 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. UNSPECIFIED. . (In Press)

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 and Yonbawi, Saud Reda (2018) Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems. In: Workshop on Verification and Validation of Autonomous Systems. UNSPECIFIED. .

Alasmari, Naif Nasser M and Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 (2018) Towards Multi-Objective Optimisation of Hadoop 2.x Application Deployment on Public Clouds. In: Proceedings of the 6th International Conference on Enterprise Systems. UNSPECIFIED. .

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Ceska, Milan, Gerasimou, Simos et al. (2 more authors) (2017) Designing Robust Software Systems through Parametric Markov Chain Synthesis. In: IEEE International Conference on Software Architecture (ICSA 2017). UNSPECIFIED. IEEE , pp. 1-10.

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Gerasimou, Simos, Shevtsov, Stepan et al. (1 more author) (2017) UNDERSEA : An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles. In: 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). UNSPECIFIED. IEEE , pp. 1-7. (In Press)

Paterson, Colin Alexander orcid.org/0000-0002-6678-3752 and Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 (2017) Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. In: IEEE International Conference on Software Architecture (ICSA 2017). UNSPECIFIED. IEEE . (In Press)

Mason, George Rupert, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Kudenko, Daniel orcid.org/0000-0003-3359-3255 et al. (1 more author) (2017) Assured Reinforcement Learning for Safety-Critical Applications. In: Doctoral Consortium at the 10th International Conference on Agents and Artificial Intelligence. UNSPECIFIED. SciTePress .

Mason, George Rupert, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Kudenko, Daniel orcid.org/0000-0003-3359-3255 et al. (1 more author) (2017) Assured Reinforcement Learning with Formally Verified Abstract Policies. In: 9th International Conference on Agents and Artificial Intelligence (ICAART). UNSPECIFIED. .

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Ceska, Milan, Gerasimou, Simos et al. (2 more authors) (2017) RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. In: RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. UNSPECIFIED. 14th International Conference on Quantitative Evaluation of Systems . , pp. 304-308.

da Silva, Carlos Eduardo, da Silva, Jose Diego Saraiva, Paterson, Colin Alexander orcid.org/0000-0002-6678-3752 et al. (1 more author) (2017) Self-Adaptive Role-Based Access Control for Business Processes. In: 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). UNSPECIFIED. IEEE . (In Press)

Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260, Johnson, Kenneth Harold Anthony and Paterson, Colin Alexander orcid.org/0000-0002-6678-3752 (2016) FACT : A Probabilistic Model Checker for Formal Verification with Confidence Intervals. In: Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. UNSPECIFIED. Lecture Notes in Computer Science (LNCS) . Springer , pp. 540-546.

Ellison, Martyn Holland, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 and Paige, Richard Freeman orcid.org/0000-0002-1978-9852 (2016) Towards Platform Independent Database Modelling in Enterprise Systems. In: STAF 2016:Software Technologies: Applications and Foundations. UNSPECIFIED. Lecture Notes in Computer Science (LNCS) . Springer , pp. 42-50.

Johnson, Kenneth Harold Anthony, Calinescu, Radu Constantin orcid.org/0000-0002-2678-9260 and Kikuchi, Shinji (2013) An incremental verification framework for component-based software systems. In: CBSE '13 : Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. 16th International ACM Sigsoft symposium on Component-based software engineering, 17-21 Jun 2013. ACM , CAN , pp. 33-42.

This list was generated on Sat Mar 23 09:40:03 2024 GMT.