Treffer 1 - 20
von 255
- 1
- 2
Seite in der Trefferliste auswählen
A theory of (linear-time) timed monitors
Amara, Mouloud ; Bernardi, Giovanni ; Aristide Foughali, Mohammed ; et al.
Grits : a message-passing programming language based on the semi-axiomatic sequent calculus
Francalanza, Adrian ; Tabone, Gerard ; Pfenning, Frank
Position: Benchmarking is Broken - Don't Let AI Be Its Own Judge
Cheng, Zerui ; Wohnig, Stella ; Gupta, Ruchika ; et al.
Computer Science Faculty Publications
Learning the relation between code features and code transforms with structured prediction
Yu, Zhongxing ; Martínez Martínez, Matías-Sebastián ; Chen, Zimin ; et al.
An Equivalence Checking Framework for Agile Hardware Design
Wang, Yanzhao ; Xie, Fei ; Yang, Zhenkun ; et al.
Computer Science Faculty Publications and Presentations
Improving scalability of exploratory model checking
Boulgakov, Alexandre ; Roscoe, A. W.
Concurrent verification for sequential programs
Wickerson, John Peter
On benchmarking for concurrent runtime verification ; Fundamental Approaches to Software Engineering. FASE 2021. Lecture Notes in Computer Science, vol 12649
Aceto, Luca ; Attard, Duncan Paul ; Francalanza, Adrian ; et al.
Multimodal large language models for zero-shot real-world classification tasks: benchmark, taxonomy of prompting methods, and application to human-object interaction recognition and detection
Rabadessa Alcaide, Oriol ; Universitat Politècnica de Catalunya. Universitat de Barcelona ; Escalera Guerrero, Sergio
Hacia una Metodología de Testing Más Eficaz: Análisis y Recomendaciones
Aguilar Goday, Xavier ; Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació ; Mayol Sarroca, Enric ; et al.
Verification of FLAC Mohr-Coulomb model for granular materials under monotonic loading
Lee, Kevin Zeh-Zon. ; Lee, Kevin Zeh-Zon.
Software requirements elicitation, verification, and documentation : an ontology based approach
Elliott, Robert A. ; Elliott, Robert A.
Deductive verification of a Byzantine agreement protocol
Krenický, Roman. ; Krenický, Roman.
Pushing runtime verification to the limit : may process semantics be with us
Della Monica, Dario ; Francalanza, Adrian ; 1st Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (OVERLAY)
Enhanced binary moth flame optimization as a feature selection algorithm to predict software fault prediction
Tumar, Iyad ; Hassouneh, Yousef ; Hamza, Turabieh ; et al.
A monitoring tool for linear-time 𝜇HML
Aceto, Luca ; Achilleos, Antonis ; Attard, Duncan Paul ; et al.
- 1
- 2