E-LIB Suche - Ergebnisse für: Lopes, Antónia

1

Cleenex: Support for User Involvement During an Iterative D..:

Pereira, João L. M. ; Fonseca, Manuel J. ; Lopes, Antónia.
Journal of Data and Information Quality. , 2024

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

2

Proceedings of the 2024 IEEE/ACM 12th International Confere..:

Furia, Carlo A. ; Lopes, Antónia ; Plat, Nico. , 2024

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

3

Coordination Models and Languages: 25th IFIP WG 6.1 Interna..

Lecture Notes in Computer Science, 13908

Jongmans, Sung-Shik ; Lopes, Antónia - 1st ed. 2023 . , 2023

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

4

Statically Checking REST API Consumers:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Burnay, Nuno ; Lopes, Antónia ; Vasconcelos, Vasco T. - p. 265-283 , 2020

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

5

Planning workflow executions when using spot instances in t..:

, In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing,

Martinez, Richard Gil ; Lopes, Antónia ; Rodrigues, Luís - p. 310-317 , 2019

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

6

HeadREST: A Specification Language for RESTful APIs:

, In: Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science,

Vasconcelos, Vasco T. ; Martins, Francisco ; Lopes, Antónia. - p. 428-434 , 2019

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

7

Logical Support for Bike-Sharing System Design:

, In: From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science,

Ţuţu, Ionuţ ; Chiriţă, Claudia Elena ; Lopes, Antónia. - p. 152-171 , 2019

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

8

Logics for Actor Networks: A two-stage constrained-hybridis..:

Fiadeiro, José Luiz ; Ţuţu, Ionuţ ; Lopes, Antónia.
Journal of Logical and Algebraic Methods in Programming. 106 (2019) - p. 141-166 , 2019

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

9

Learning non-deterministic impact models for adaptation:

, In: Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems,

Duarte, Francisco ; Gil, Richard ; Romano, Paolo.. - p. 196-205 , 2018

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

10

Software Architecture

11th European Conference, ECSA 2017, Canterbury, UK, Septem... Lecture Notes in Computer Science ; 10475;SpringerLink, Bücher

Lopes, Antónia ; de Lemos, Rogério , 2017

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

11

Augure: Proactive reconfiguration of cloud applications usi..:

, In: 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA),

Gil Martinez, Richard ; Li, Zhongmiao ; Lopes, Antonia. - p. 1-8 , 2017

Link: https://doi.org/10.1109/..

12

Automated generation of policies to support elastic scaling..:

, In: Proceedings of the Symposium on Applied Computing,

Martinez, Richard Gil ; Lopes, Antónia ; Rodrigues, Luís - p. 450-455 , 2017

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

13

Dynamic networks of heterogeneous timed machines:

FIADEIRO, JOSÉ ; LOPES, ANTÓNIA ; DELAHAYE, BENOÎT.
Mathematical Structures in Computer Science. 28 (2017) 6 - p. 800-855 , 2017

Link: https://doi.org/10.1017/..

14

Heterogeneous and asynchronous networks of timed systems:

Fiadeiro, José L. ; Lopes, Antónia
Theoretical Computer Science. 663 (2017) - p. 1-33 , 2017

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

15

Adaptation impact and environment models for architecture-b..:

Cámara, Javier ; Lopes, Antónia ; Garlan, David.
Science of Computer Programming. 127 (2016) - p. 50-75 , 2016

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