IRIS

Sfoglia per Serie  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 24 a 43 di 45
Titolo Data di pubblicazione Autore(i) File
Journal first: A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains 1-gen-2023 Barbosa, G.; Souza, É.; Rebelo, L.; Silva, M.; Balera, J.; Vijaykumar, N.
Locality of Not-so-Weak Coloring 1-gen-2019 Balliu, Alkida; Hirvonen, Juho; Lenzen, Christoph; Olivetti, Dennis; Suomela, Jukka
Modelling and Mining Knowledge About Computational Complexity 1-gen-2025 Gnatenko, Anton; Kutz, Oliver; Troquard, Nicolas
A Monitoring Tool for Linear-Time $$\mu $$HML 1-gen-2022 Aceto, Luca; Achilleos, Antonis; Paul Attard, Duncan; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna
Multi-winner election control via social influence 1-gen-2020 Aboueimehrizi, M.; D’Angelo, Gianlorenzo
On Mining Dynamic Graphs for k Shortest Paths 1-gen-2025 D'Ascenzo, Andrea; D'Emidio, Mattia
An Operational Guide to Monitorability 1-gen-2019 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Phase Transition of a Non-linear Opinion Dynamics with Noisy Interactions 1-gen-2020 D'Amore, Francesco; Clementi, Andrea; Natale, Emanuele
Phase Transition of the 3-Majority Dynamics with Uniform Communication Noise 1-gen-2022 D'Amore, Francesco; Ziccardi, Isabella
Realizing Ethical-Aware Business Processes 1-gen-2025 Pettinari, Sara; De Sanctis, Martina; Inverardi, Paola
REST in Pieces: RESTful Design Rule Violations in Student-Built Web Apps 1-gen-2025 Di Meglio, Sergio; Pontillo, Valeria; Starace, Luigi Libero Lucio
A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections 1-gen-2017 Dos Santos, Luciana Brasil Rebelo; De Santiago Júnior, Valdivino Alexandre; Freitas, Albino Vieira
Shaping IoT Systems Together: The User-System Mixed-Initiative Paradigm and Its Challenges 1-gen-2023 Spalazzese, Romina; De Sanctis, Martina; Alkhabbas, Fahed; Davidsson, Paul
Sparsifying Congested Cliques and Core-Periphery Networks 1-gen-2016 Balliu, Alkida; Fraigniaud, Pierre; Lotker, Zvi; Olivetti, Dennis
Stakeholder Inclusion and Value Diversity: An Evaluation Using an Access Control System 1-gen-2023 Alidoosti, Razieh; De Sanctis, Martina; Iovino, Ludovico; Lago, Patricia; Razavian, Maryam
Systematic Recovery of MDE Technology Usage 1-gen-2018 Di Rocco, Juri; Di Ruscio, Davide; Härtel, Johannes; Iovino, Ludovico; Lämmel, Ralf; Pierantonio, Alfonso
Testing Equivalence vs. Runtime Monitoring 1-gen-2019 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking 1-gen-2015 Eras, Eduardo Rohde; Dos Santos, Luciana Brasil Rebelo; De Santiago Júnior, Valdivino Alexandre; Vijaykumar, Nandamudi Lankalapalli
Trustworthy Global Computing 1-gen-2014 Maffei, Matteo; Tuosto, Emilio
Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping 1-gen-2021 De Sousa Matsumura, Gabriel; Dos Santos, Luciana Brasil Rebelo; Conceição, Arlindo Flavio Da; Vijaykumar, Nandamudi Lankalapalli
Mostrati risultati da 24 a 43 di 45
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile