From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Integrating RAM and Disk Based Verification within the Mur-phi Verifier.

G. Penna, B. Intrigila, I. Melatti, E. Tronci, и M. Zilli. CHARME, том 2860 из Lecture Notes in Computer Science, стр. 277-282. Springer, (2003)

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.

Giuseppe Tronci

Roberto Tronci

Enrico Körner

Enrico Meier

Enrico Streit

Другие публикации лиц с тем же именем

X-Separability and Left-Invertibility in lambda-calculusC. Böhm, и E. Tronci. LICS, стр. 320-328. IEEE Computer Society, (1987)Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC ConvertersF. Mari, I. Melatti, I. Salvo, и E. Tronci. CoRR, (2011)Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier.G. Penna, B. Intrigila, I. Melatti, E. Tronci, и M. Zilli. ICTCS, том 2841 из Lecture Notes in Computer Science, стр. 58-71. Springer, (2003)Parallel Statistical Model Checking for Safety Verification in Smart Grids.T. Mancini, F. Mari, I. Melatti, I. Salvo, E. Tronci, J. Gruber, B. Hayes, M. Prodanovic, и L. Elmegaard. SmartGridComm, стр. 1-6. IEEE, (2018)Demand-aware price policy synthesis and verification services for Smart Grids.T. Mancini, F. Mari, I. Melatti, I. Salvo, E. Tronci, J. Gruber, B. Hayes, M. Prodanovic, и L. Elmegaard. SmartGridComm, стр. 794-799. IEEE, (2014)On model based synthesis of embedded control software.V. Alimguzhin, F. Mari, I. Melatti, I. Salvo, и E. Tronci. EMSOFT, стр. 227-236. ACM, (2012)A Symbolic Model Checker for ACTL.A. Fantechi, S. Gnesi, F. Mazzanti, R. Pugliese, и E. Tronci. FM-Trends, том 1641 из Lecture Notes in Computer Science, стр. 228-242. Springer, (1998)Exploiting Transition Locality in the Disk Based Mur phi Verifier.G. Penna, B. Intrigila, E. Tronci, и M. Zilli. FMCAD, том 2517 из Lecture Notes in Computer Science, стр. 202-219. Springer, (2002)Model-based synthesis of control software from system-level formal specifications.F. Mari, I. Melatti, I. Salvo, и E. Tronci. ACM Trans. Softw. Eng. Methodol., 23 (1): 6:1-6:42 (2014)Parallelization of Cycle-Based Logic Simulation.T. Mancini, A. Massini, и E. Tronci. Parallel Process. Lett., 27 (2): 1750003:1-1750003:16 (2017)

BibSonomy

Disambiguation