Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
La Torre, Salvatore
435  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

Enterococcus hirae Mitral Valve Infectious Endocarditis: A ..:

Gaudiano, Roberta ; Trizzino, Marcello ; Torre, Salvatore...
Antibiotics.  12 (2023)  8 - p. 1232 , 2023
Link: https://doi.org/10.3390/..
 
?
3

Hydrodynamicex vivoanalysis of valve-sparing techniques: as..:

Di Leonardo, Sofia ; Vella, Danila ; Grillo, Carmelo Savio...
European Journal of Cardio-Thoracic Surgery.  63 (2023)  3 - p. , 2023
Link: https://doi.org/10.1093/..
 
?
4

Management of a patient with multiple device replacements a..:

Coppola, Giuseppe ; Ciaramitaro, Gianfranco ; Madaudo, Cristina...
Pacing and Clinical Electrophysiology.  46 (2022)  3 - p. 268-270 , 2022
Link: https://doi.org/10.1111/..
 
?
5

CBMC-SSM: Bounded Model Checking of C Programs with Symboli..:

, In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering,
Fischer, Bernd ; La Torre, Salvatore ; Parlato, Gennaro. - p. 1-5 , 2022
Link: https://dl.acm.org/doi/1..
 
?
6

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..
 
?
7

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/..
 
?
8

On the Model-Checking of Branching-time Temporal Logic with..:

, In: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems,
La Torre, Salvatore ; Parlato, Gennaro - p. 681-689 , 2020
Link: https://dl.acm.org/doi/1..
 
?
9

Reachability of scope-bounded multistack pushdown systems:

La Torre, Salvatore ; Napoli, Margherita ; Parlato, Gennaro
Information and Computation.  275 (2020)  - p. 104588 , 2020
Link: https://doi.org/10.1016/..
 
?
10

VERISMART 2.0 : swarm-based bug-finding for multi-thread..:

, In: Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering,
Fischer, Bernd ; La Torre, Salvatore ; Parlato, Gennaro - p. 1150-1153 , 2019
Link: https://dl.acm.org/doi/1..
 
?
11

On the Road to Accurate Biomarkers for Cardiometabolic Dise..:

Scola, Letizia ; Giarratana, Rosa Maria ; Torre, Salvatore...
International Journal of Molecular Sciences.  20 (2019)  23 - p. 6015 , 2019
Link: https://doi.org/10.3390/..
 
?
12

VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-threaded P..:

, In: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE),
Fischer, Bernd ; La Torre, Salvatore ; Parlato, Gennaro - p. 1150-1153 , 2019
Link: https://doi.org/10.1109/..
 
?
13

Parallel bug-finding in concurrent programs via reduced int..:

, In: Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering,
Nguyen, Truc L. ; Schrammel, Peter ; Fischer, Bernd.. - p. 753-764 , 2017
Link: http://dl.acm.org/citati..
 
?
14

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/..
 
?
15

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..
 
1-15