2018-annual-report

56. César Sánchez. Online and Offline Stream
Runtime Verification of Synchronous Systems.
Proc. of the 18th Int’l Conf. on
Runtime Verification (RV’18), LNCS, Vol.
11237, pages 138–163, Springer, 2018.
57. Felipe Gorostiaga, César Sánchez. Striver:
Stream Runtime Verification for Real-Time
Event-Streams. Proc. of the 18th Int’l Conf.
on Runtime Verification (RV’18), LNCS,
Vol. 11237, pages 282–298, Springer,
2018.
58. Pablo Chico de Guzmán, Felipe Gorostiaga,
César Sánchez. Pipekit: A Deployment Tool
with Advanced Scheduling and Inter-Service
Communication for Multi-Tier Applications.
Proc. of the IEEE Int’l Conf. on Web
Services (ICWS’18), pages 379–382, IEEE
CS Press, 2018.
59. Pablo Chico de Guzmán, Felipe Gorostiaga,
César Sánchez. i2kit: A Deployment Tool
with the Simplicity of Containers and the
Security of Virtual Machines. Proc. of the
19th Int’l Conf. on Web Information Systems
Engineering (WISE 2018), Part I,
LNCS, Vol. 11233, pages 81–95, Springer,
2018.
60. Raúl Pardo, César Sánchez, Gerardo Schneider.
Timed Epistemic Knowledge Bases
for Social Networks. Proc. of 22nd Int’l
Symposium on Formal Methods (FM’18),
LNCS, Vol. 10951, pages 185–202,
Springer, 2018.
61. Martin Leucker, César Sánchez, Torben
Scheffel, Malte Schmitz, Alexander Schramm.
TeSSLa: Runtime Verification of
Non-synchronized Real-Time Streams.
Proc. of the 33rd ACM/SIGAPP Symposium
on Applied Computing (SAC’17), pages
1925–1933, ACM Press, 2018. Track on
Software Verification and Testing Track
(SVT).
62. Maximiliano Klemen, Nataliia Stulova,
Pedro López-García, José F. Morales,
Manuel V. Hermenegildo. Static Performance
Guarantees for Programs with Runtime
Checks. PPDP, 12 pages, ACM Press,
2018.
63. Umer Liqat, Zorana Banković, Pedro López-
García, Manuel V. Hermenegildo. Inferring
Energy Bounds via Static Program Analysis
and Evolutionary Modeling of Basic Blocks.
Logic-Based Program Synthesis and Transformation
- 27th International Symposium,
LOPSTR 2017, Namur, Belgium, October
10-12, 2017, Revised Selected Papers,
Lecture Notes in Computer Science, Vol.
10855, Springer, 2018.
64. Alejandro Z. Tomsic, Manuel Bravo, Marc
Shapiro. Distributed Transactional Reads:
The Strong, the Quick, the Fresh & the
Impossible. Proceedings of the 19th International
Middleware Conference, Middleware
’18, pages 120–133, ACM, 2018.
65. Masayuki Abe, Miguel Ambrona, Miyako
Ohkubo, Mehdi Tibouchi. Lower Bounds on
Structure-Preserving Signatures for Bilateral
Messages. Security and Cryptography for
Networks - 11th International Conference,
SCN 2018, Amalfi, Italy, September 5-7,
2018, Proceedings, pages 3–22, 2018.
66. Miriam García Soto, Pavithra Prabhakar.
Averist: Algorithmic Verifier for Stability
of Linear Hybrid Systems. Proceedings of
the 21st International Conference on Hybrid
Systems: Computation and Control (Part of
CPS Week), HSCC ’18, pages 259–264,
ACM, 2018.
67. Antonio Faonio, Jesper Buus Nielsen, Mark
Simkin, Daniele Venturi. Continuously Nonmalleable
Codes with Split-State Refresh.
Applied Cryptography and Network Security
- 16th International Conference, ACNS ’18,
pages 121–139, 2018.
81
annual report
20