( en | de | ru )

 

Disambiguation of "Carnevali, Laura"

Author of the publication

copydeleteadd this publication to your clipboard
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems.

, , , and . Ada-Europe, volume 6652 of Lecture Notes in Computer Science, page 118-131. Springer, (2011)

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.

Mario Laura

Marco Laurati

Laura Dreiner

Anatomisch-histologische Variationen des Labrum glenoidale bei erwachsenen Hunden verschiedener Rassen im Vergleich zum jungen Beagle unter besonderer Berücksichtigung des Kollagenfaserverlaufs. Uni Gießen, (2009)

Laura Oberlin

Behandlung von Pankreaskarzinomzelllinien in vitro und in vivo mit einem monoklonalen Antikörper gegen den Transferrinrezeptor. Uni Gießen, (2009)

Laura Gierke

 

Other publications of authors with the same name

Software rejuvenation impacts on a phased-mission system for Mars exploration., , , , and . ISSRE (Supplemental Proceedings), page 275-280. IEEE Computer Society, (2013)Formal methods in the development life cycle of real-time software.. University of Florence, Italy, (2010)Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services., , and . ICPE, page 177-188. ACM, (2021)Quantitative evaluation of availability measures of gas distribution networks., , , and . VALUETOOLS, page 145-154. ICST/ACM, (2013)Empirical Application Insights on Industrial Data and Service Aspects of Digital Twin Networks., , , , , , , and . MeditCom, page 323-328. IEEE, (2024)The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems, , , and . IEEE Transactions on Software Engineering, 47 (6): 1211-1225 (June 2021)Sensitization of symbolic runs in real-time testing using the ORIS tool., , and . ETFA, page 85-92. IEEE, (2007)A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling., , , , and . EPEW, volume 9951 of Lecture Notes in Computer Science, page 32-47. Springer, (2016)Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters., , , , and . SAFECOMP Workshops, volume 8696 of Lecture Notes in Computer Science, page 304-315. Springer, (2014)Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes., , , , and . QEST, volume 10503 of Lecture Notes in Computer Science, page 20-35. Springer, (2017)