Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Tomasco, Ermenegildo
7  Ergebnisse:
Personensuche X
?
1

Verifying Programs by Bounded Tree-Width Behavior Graphs:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,
Inverso, Omar ; La Torre, Salvatore ; Parlato, Gennaro. - p. 116-132 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Bounded Verification of Multi-threaded Programs via Lazy Se..:

Inverso, Omar ; Tomasco, Ermenegildo ; Fischer, Bernd..
ACM Transactions on Programming Languages and Systems (TOPLAS).  44 (2021)  1 - p. 1-50 , 2021
Link: https://dl.acm.org/doi/1..
 
?
3

Bounded Verification of Multi-threaded Programs via Lazy Se..:

Inverso, Omar ; Tomasco, Ermenegildo ; Fischer, Bernd..
ACM Transactions on Programming Languages and Systems.  44 (2021)  1 - p. 1-50 , 2021
Link: https://doi.org/10.1145/..
 
?
4

Lazy sequentialization for TSO and PSO via shared memory ab..:

, In: Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design,
Tomasco, Ermenegildo ; Nguyen, Truc L. ; Inverso, Omar... - p. 193-200 , 2016
Link: https://dl.acm.org/doi/1..
 
?
5

Lazy sequentialization for TSO and PSO via shared memory ab..:

, In: 2016 Formal Methods in Computer-Aided Design (FMCAD),
Tomasco, Ermenegildo ; Nguyen, Truc L. ; Inverso, Omar... - p. 193-200 , 2016
Link: https://doi.org/10.1109/..
 
?
6

Verifying Concurrent Programs by Memory Unwinding:

Tomasco, Ermenegildo ; Inverso, Omar ; Fischer, Bernd..
info:eu-repo/semantics/altIdentifier/isbn/978-3-662-46680-3.  , 2015
Link: http://hdl.handle.net/11..
 
?
7

Bounded Verification of Multi-Threaded Programs via Lazy Se..:

Omar Inverso ; Ermenegildo Tomasco ; Bernd Fischer..
doi:10.5281/zenodo.4013759.  , 2020
Link: https://zenodo.org/recor..
 
1-7