Author of the publication

UML extensions for the specification and evaluation of latency constraints in architectural models.

, , , , and . Workshop on Software and Performance, page 83-88. ACM, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Collaborative Information System Architecture for Process-Based Crisis Management., , , , , , and . KES (3), volume 5179 of Lecture Notes in Computer Science, page 630-641. Springer, (2008)Modeling Frameworks, Methods and Languages for Computerizing Small and Medium-Sized Enterprises: Review and Proposal., , , , and . I-ESA, volume 7 of Proiceedings of the I-ESA Conferences, page 77-87. Springer, (2014)UML extensions for the specification and evaluation of latency constraints in architectural models., , , , and . Workshop on Software and Performance, page 83-88. ACM, (2000)Modélisation du développement de spécifications LOTOS. (Modeling the development of LOTOS specification).. National Polytechnic Institute of Lorraine, Nancy, France, (1997)Automatic Generation of Simulation Models for the Evaluation of Performance and Reliability of Architectures Specified in UML., , , , and . EDO, volume 1999 of Lecture Notes in Computer Science, page 83-101. Springer, (2000)Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal., , , , and . IET Softw., 17 (4): 582-599 (August 2023)Safe Incremental Design of UML Architectures., , and . SEKE, page 473-476. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2017)Zero-shot Bilingual App Reviews Mining with Large Language Models., , , , , and . ICTAI, page 898-904. IEEE, (2023)Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback., , , , and . ISSREW, page 75-80. IEEE, (2023)Architectural Techniques for the Description and Validation of Distributed Real-Time Systems., , and . ISORC, page 323-331. IEEE Computer Society, (1999)