E-LIB Suche - Ergebnisse für: Mora, Federico

1

Typha domingensis and Phragmites australis as alternative a..:

Senghor, Mame Niny ; Bassama, Joseph ; Ly, Elhadji Babacar..
Bioresource Technology Reports. 25 (2024) - p. 101712 , 2024

Link: https://doi.org/10.1016/..

2

Towards more efficient methods for solving regular-expressi..:

Berzish, Murphy ; Day, Joel D. ; Ganesh, Vijay...
Theoretical Computer Science. 943 (2023) - p. 50-72 , 2023

Link: https://doi.org/10.1016/..

3

Message Chains for Distributed System Verification:

Mora, Federico ; Desai, Ankush ; Polgreen, Elizabeth.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 2224-2250 , 2023

Link: https://doi.org/10.1145/..

4

Variability between observers does not hamper detecting cha..:

Azzola, Annalisa ; Atzori, Fabrizio ; Bianchi, Carlo Nike...
Marine Environmental Research. 177 (2022) - p. 105617 , 2022

Link: https://doi.org/10.1016/..

5

UCLID5: Multi-modal Formal Modeling, Verification, and Synt..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Polgreen, Elizabeth ; Cheang, Kevin ; Gaddamadugu, Pranav... - p. 538-551 , 2022

Link: https://doi.org/10.1007/..

6

MedleySolver: Online SMT Algorithm Selection:

, In: Theory and Applications of Satisfiability Testing – SAT 2021; Lecture Notes in Computer Science,

Pimpalkhare, Nikhil ; Mora, Federico ; Polgreen, Elizabeth. - p. 453-470 , 2021

Link: https://doi.org/10.1007/..

7

Z3str4: A Multi-armed String Solver:

, In: Formal Methods; Lecture Notes in Computer Science,

Mora, Federico ; Berzish, Murphy ; Kulczynski, Mitja.. - p. 389-406 , 2021

Link: https://doi.org/10.1007/..

8

An SMT Solver for Regular Expressions and Linear Arithmetic..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Berzish, Murphy ; Kulczynski, Mitja ; Mora, Federico... - p. 289-312 , 2021

Link: https://doi.org/10.1007/..

9

Verification by Gambling on Program Slices:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Akhundov, Murad ; Mora, Federico ; Feng, Nick.. - p. 266-282 , 2021

Link: https://doi.org/10.1007/..

10

BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcem..:

, In: Formal Methods; Lecture Notes in Computer Science,

Scott, Joseph ; Sudula, Trishal ; Rehman, Hammad.. - p. 103-121 , 2021

Link: https://doi.org/10.1007/..

11

String Theories Involving Regular Membership Predicates: Fr..:

, In: Lecture Notes in Computer Science; Combinatorics on Words,

Berzish, Murphy ; Day, Joel D. ; Ganesh, Vijay... - p. 50-64 , 2021

Link: https://doi.org/10.1007/..

12

Scaling client-specific equivalence checking via impact bou..:

, In: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering,

Feng, Nick ; Mora, Federico ; Hui, Vincent. - p. 734-745 , 2020

Link: https://dl.acm.org/doi/1..

13

BanditFuzz: A Reinforcement-Learning Based Performance Fuzz..:

, In: Lecture Notes in Computer Science; Software Verification,

Scott, Joseph ; Mora, Federico ; Ganesh, Vijay - p. 68-86 , 2020

Link: https://doi.org/10.1007/..

14

Client-Specific Equivalence Checking:

, In: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE),

Mora, Federico ; Li, Yi ; Rubin, Julia. - p. 441-451 , 2018

Link: https://doi.org/10.1145/..

15

Client-specific equivalence checking:

, In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering,

Mora, Federico ; Li, Yi ; Rubin, Julia. - p. 441-451 , 2018

Link: https://dl.acm.org/doi/1..