Skip to content

Commit 2059e0a

Browse files
rodrigo7491rodrigo7491
committed
update publications
1 parent 44ea4c8 commit 2059e0a

1 file changed

Lines changed: 94 additions & 71 deletions

File tree

‎_pages/publications.md‎

Lines changed: 94 additions & 71 deletions
Original file line numberDiff line numberDiff line change
@@ -5,105 +5,128 @@ author_profile: true
55
redirect_from:
66
---
77

8+
<style>
9+
li {
10+
margin: 10px 0;
11+
}
12+
</style>
13+
814
### Journal Papers
915

10-
`&nbsp;3.`. M. Rezaalipour, M. Biasion, F. Costa, C. Tirelli, L. Ferretti, <ins>R. Otoni</ins>, G. Constantinides, and L. Pozzi.
11-
**Approximate Logic Synthesis via Iterative SMT-based Subcircuit Rewriting**.
12-
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Early Access.
13-
[DOI](https://doi.org/10.1109/TCAD.2025.3638267)
16+
<ol reversed>
1417

15-
[//]: comment
18+
<li>
19+
M. Rezaalipour, M. Biasion, F. Costa, C. Tirelli, L. Ferretti, <ins>R. Otoni</ins>, G. Constantinides, and L. Pozzi.
20+
<b>Approximate Logic Synthesis via Iterative SMT-based Subcircuit Rewriting</b>.
21+
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Early Access.
22+
<a href="https://doi.org/10.1109/TCAD.2025.3638267">DOI</a>
23+
</li>
1624

17-
4. A. Buckley, P. Chuprikov, <ins>R. Otoni</ins>, R. Soulé, R. Rand, and P. Eugster.
18-
**A Language for Quantifying Quantum Network Behavior**.
25+
<li>
26+
A. Buckley, P. Chuprikov, <ins>R. Otoni</ins>, R. Soulé, R. Rand, and P. Eugster.
27+
<b>A Language for Quantifying Quantum Network Behavior</b>.
1928
Proceedings of the ACM on Programming Languages (PACMPL), 9(OOPSLA2), 2025.
20-
[DOI](https://doi.org/10.1145/3763135)
29+
<a href="https://doi.org/10.1145/3763135">DOI</a>
30+
</li>
2131

22-
[//]: comment
23-
24-
3. <ins>R. Otoni</ins>, M. Blicha, P. Eugster, and N. Sharygina.
25-
Validation of CHC Satisfiability with ATHENA.
32+
<li>
33+
<ins>R. Otoni</ins>, M. Blicha, P. Eugster, and N. Sharygina.
34+
<b>Validation of CHC Satisfiability with ATHENA</b>.
2635
Formal Aspects of Computing (FAC), 37(4), 2025.
27-
[DOI](https://doi.org/10.1145/3716505)
28-
29-
[//]: comment
36+
<a href="https://doi.org/10.1145/3716505">DOI</a>
37+
</li>
3038

31-
2. A. Buckley, P. Chuprikov, <ins>R. Otoni</ins>, R. Soulé, R. Rand, and P. Eugster.
32-
**An Algebraic Language for Specifying Quantum Networks**.
39+
<li>
40+
A. Buckley, P. Chuprikov, <ins>R. Otoni</ins>, R. Soulé, R. Rand, and P. Eugster.
41+
<b>An Algebraic Language for Specifying Quantum Networks</b>.
3342
Proceedings of the ACM on Programming Languages (PACMPL), 8(PLDI), 2024.
34-
[DOI](https://doi.org/10.1145/3656430)
35-
36-
[//]: comment
43+
<a href="https://doi.org/10.1145/3656430">DOI</a>
44+
</li>
3745

38-
1. <ins>R. Otoni</ins>, M. Marescotti, L. Alt, P. Eugster, A. Hyvärinen, and N. Sharygina.
39-
**A Solicitous Approach to Smart Contract Verification**.
46+
<li>
47+
<ins>R. Otoni</ins>, M. Marescotti, L. Alt, P. Eugster, A. Hyvärinen, and N. Sharygina.
48+
<b>A Solicitous Approach to Smart Contract Verification</b>.
4049
ACM Transactions on Privacy and Security (TOPS), 26(2), 2023.
41-
[DOI](https://doi.org/10.1145/3564699)
50+
<a href="https://doi.org/10.1145/3564699">DOI</a>
51+
</li>
4252

43-
### Conference Papers
53+
</ol>
4454

45-
7. <ins>R. Otoni</ins>, M. Blicha, M. Rivera, P. Eugster, J. Kofroň, and N. Sharygina.
46-
**Unsatisfiability Proofs for Horn Solving**.
47-
31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'25).
48-
[DOI](https://doi.org/10.1007/978-3-031-90653-4_4)
49-
\
50-
*Distinguished Paper Award* and *EASST Best Paper Award*
55+
### Conference Papers
5156

52-
[//]: comment
57+
<ol reversed>
5358

54-
6. C. Tirelli, <ins>R. Otoni</ins>, and L. Pozzi.
55-
**Monomorphism-based CGRA Mapping via Space and Time Decoupling**.
59+
<li>
60+
<ins>R. Otoni</ins>, M. Blicha, M. Rivera, P. Eugster, J. Kofroň, and N. Sharygina.
61+
<b>Unsatisfiability Proofs for Horn Solving</b>.
62+
31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'25).
63+
<a href="https://doi.org/10.1007/978-3-031-90653-4_4">DOI</a>
64+
<br>
65+
<i>Distinguished Paper Award</i> and <i>EASST Best Paper Award</i>
66+
</li>
67+
68+
<li>
69+
C. Tirelli, <ins>R. Otoni</ins>, and L. Pozzi.
70+
<b>Monomorphism-based CGRA Mapping via Space and Time Decoupling</b>.
5671
28th Design, Automation and Test in Europe Conference (DATE'25).
57-
[DOI](https://doi.org/10.23919/DATE64628.2025.10992940)
58-
59-
[//]: comment
72+
<a href="https://doi.org/10.23919/DATE64628.2025.10992940">DOI</a>
73+
</li>
6074

61-
5. <ins>R. Otoni</ins>, M. Blicha, P. Eugster, and N. Sharygina.
62-
**CHC Model Validation with Proof Guarantees**.
75+
<li>
76+
<ins>R. Otoni</ins>, M. Blicha, P. Eugster, and N. Sharygina.
77+
<b>CHC Model Validation with Proof Guarantees</b>.
6378
18th International Conference on integrated Formal Methods (iFM'23).
64-
[DOI](https://doi.org/10.1007/978-3-031-47705-8_4)
65-
\
66-
*Best Paper Award candidate*
67-
68-
[//]: comment
69-
70-
4. <ins>R. Otoni</ins>, I. Konnov, J. Kukovec, P. Eugster, and N. Sharygina.
71-
**Symbolic Model Checking for TLA+ Made Faster**.
79+
<a href="https://doi.org/10.1007/978-3-031-47705-8_4">DOI</a>
80+
<br>
81+
<i>Best Paper Award candidate</i>
82+
</li>
83+
84+
<li>
85+
<ins>R. Otoni</ins>, I. Konnov, J. Kukovec, P. Eugster, and N. Sharygina.
86+
<b>Symbolic Model Checking for TLA+ Made Faster</b>.
7287
29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'23).
73-
[DOI](https://doi.org/10.1007/978-3-031-30823-9_7)
74-
75-
[//]: comment
88+
<a href="https://doi.org/10.1007/978-3-031-30823-9_7">DOI</a>
89+
</li>
7690

77-
3. <ins>R. Otoni</ins>, M. Blicha, P. Eugster, A. Hyvärinen, and N. Sharygina.
78-
**Theory-Specific Proof Steps Witnessing Correctness of SMT Executions**.
91+
<li>
92+
<ins>R. Otoni</ins>, M. Blicha, P. Eugster, A. Hyvärinen, and N. Sharygina.
93+
<b>Theory-Specific Proof Steps Witnessing Correctness of SMT Executions</b>.
7994
58th ACM/IEEE Design Automation Conference (DAC'21).
80-
[DOI](https://doi.org/10.1109/DAC18074.2021.9586272)
95+
<a href="https://doi.org/10.1109/DAC18074.2021.9586272">DOI</a>
96+
</li>
8197

82-
[//]: comment
83-
84-
2. M. Marescotti, <ins>R. Otoni</ins>, L. Alt, P. Eugster, A. Hyvärinen, and N. Sharygina.
85-
**Accurate Smart Contract Verification Through Direct Modelling**.
98+
<li>
99+
M. Marescotti, <ins>R. Otoni</ins>, L. Alt, P. Eugster, A. Hyvärinen, and N. Sharygina.
100+
<b>Accurate Smart Contract Verification Through Direct Modelling</b>.
86101
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA'20).
87-
[DOI](https://doi.org/10.1007/978-3-030-61467-6_12)
88-
89-
[//]: comment
102+
<a href="https://doi.org/10.1007/978-3-030-61467-6_12">DOI</a>
103+
</li>
90104

91-
1. <ins>R. Otoni</ins>, A. Cavalcanti, and A. Sampaio.
92-
**Local Analysis of Determinism for CSP**.
105+
<li>
106+
<ins>R. Otoni</ins>, A. Cavalcanti, and A. Sampaio.
107+
<b>Local Analysis of Determinism for CSP</b>.
93108
20th Brazilian Symposium on Formal Methods (SBMF'17).
94-
[DOI](https://doi.org/10.1007/978-3-319-70848-5_8)
109+
<a href="https://doi.org/10.1007/978-3-319-70848-5_8">DOI</a>
110+
</li>
95111

96-
### Other Papers
112+
</ol>
97113

98-
2. <ins>R. Otoni</ins>.
99-
**Automatisierte Garantierte Blockchain-Technologie Verifizierung**.
100-
GI Ausgezeichnete Informatikdissertationen 2023 (Band 24), 2024.
101-
[DOI](https://doi.org/10.18420/Diss2023-19)
114+
### Other Papers
102115

116+
<ol reversed>
103117

104-
[//]: comment
118+
<li>
119+
<ins>R. Otoni</ins>.
120+
<b>Automatisierte Garantierte Blockchain-Technologie Verifizierung</b>.
121+
GI Ausgezeichnete Informatikdissertationen 2023 (Band 24), 2024.
122+
<a href="https://doi.org/10.18420/Diss2023-19">DOI</a>
123+
</li>
105124

106-
1. A. Buckley, P. Chuprikov, <ins>R. Otoni</ins>, R. Soulé, R. Rand, and P. Eugster.
107-
**Towards an Algebraic Specification of Quantum Networks**.
125+
<li>
126+
A. Buckley, P. Chuprikov, <ins>R. Otoni</ins>, R. Soulé, R. Rand, and P. Eugster.
127+
<b>Towards an Algebraic Specification of Quantum Networks</b>.
108128
1st Workshop on Quantum Networks and Distributed Quantum Computing (QuNet'23).
109-
[DOI](https://doi.org/10.1145/3610251.3610557)
129+
<a href="https://doi.org/10.1145/3610251.3610557">DOI</a>
130+
</li>
131+
132+
</ol>

0 commit comments

Comments
 (0)