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

Monitoring the Future of Smart Contracts:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Capretto, Margarita ; Ceresa, Martin ; Sánchez, César - p. 122-142 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Setchain: Improving Blockchain Scalability with Byzantine D..:

, In: 2022 IEEE International Conference on Blockchain (Blockchain),
Capretto, Margarita ; Ceresa, Martin ; Anta, Antonio Fernandez.. - p. 87-96 , 2022
Link: https://doi.org/10.1109/..
 
?
3

Transaction Monitoring of Smart Contracts:

, In: Runtime Verification; Lecture Notes in Computer Science,
Capretto, Margarita ; Ceresa, Martin ; Sánchez, César - p. 162-180 , 2022
Link: https://doi.org/10.1007/..
 
?
4

Effectful improvement theory:

Ceresa, Martín A. ; Jaskelioff, Mauro J.
Science of Computer Programming.  217 (2022)  - p. 102792 , 2022
Link: https://doi.org/10.1016/..
 
?
5

Declarative Stream Runtime Verification (hLola):

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Ceresa, Martín ; Gorostiaga, Felipe ; Sánchez, César - p. 25-43 , 2020
Link: https://doi.org/10.1007/..
 
?
6

QuickFuzz testing for fun and profit:

Grieco, Gustavo ; Ceresa, Martín ; Mista, Agustín.
Journal of Systems and Software.  134 (2017)  - p. 340-354 , 2017
Link: https://doi.org/10.1016/..
 
?
7

QuickFuzz: an automatic random fuzzer for common file forma..:

, In: Proceedings of the 9th International Symposium on Haskell,
Grieco, Gustavo ; Ceresa, Martín ; Buiras, Pablo - p. 13-20 , 2016
Link: https://dl.acm.org/doi/1..
 
?
8

QuickFuzz: an automatic random fuzzer for common file forma..:

Grieco, Gustavo ; Ceresa, Martín ; Buiras, Pablo
ACM SIGPLAN Notices.  51 (2016)  12 - p. 13-20 , 2016
Link: https://doi.org/10.1145/..
 
?
9

Monitoring the Future of Smart Contracts:

Capretto, Margarita ; Ceresa, Martin ; Sanchez, Cesar
http://arxiv.org/abs/2401.12093.  , 2024
Link: http://arxiv.org/abs/240..
 
?
10

Improving Blockchain Scalability with the Setchain Data-typ:

Capretto, Margarita ; Ceresa, Martín ; Anta, Antonio Fernández..
http://arxiv.org/abs/2302.04744.  , 2023
Link: http://arxiv.org/abs/230..
 
?
11

Improving Blockchain Scalability with the Setchain Data-typ:

Capretto, Margarita ; Ceresa, Martín ; Fernández Anta, Antonio..
2769-6472.  , 2023
Link: https://hdl.handle.net/2..
 
?
12

Transaction Monitoring of Smart Contracts:

Capretto, Margarita ; Ceresa, Martin ; Sanchez, Cesar
http://arxiv.org/abs/2207.02517.  , 2022
Link: http://arxiv.org/abs/220..
 
?
13

Setchain: Improving Blockchain Scalability with Byzantine D..:

Capretto, Margarita ; Ceresa, Martín ; Fernández Anta, Antonio..
BLOQUES-CM.  , 2022
Link: https://hdl.handle.net/2..
 
?
14

Setchain: Improving Blockchain Scalability with Byzantine D..:

Capretto, Margarita ; Ceresa, Martín ; Anta, Antonio Fernández..
http://arxiv.org/abs/2206.11845.  , 2022
Link: http://arxiv.org/abs/220..
 
?
15

Declarative Stream Runtime Verification (hLola):

Ceresa, Martin ; Gorostiaga, Felipe ; Sanchez, Cesar
http://arxiv.org/abs/2003.00032.  , 2020
Link: http://arxiv.org/abs/200..
 
1-15