Internal and External Bitstream Relocation for Partial Dynamic Reconfiguration von Corbetta, S., Morandi, M., Novati, M., Santambrogio, M.D., Sciuto, D., Spoletini, P.

Volltext

Supporting verification-driven incremental distributed design of components von Menghi, Claudio, Spoletini, P., Chechik, Marsha, Ghezzi, Carlo

Volltext

Is Requirements Similarity a Good Proxy for Software Similarity? An Empirical Investigation in Industry von Abbas, Muhammad, Ferrari, Alessio, Shatnawi, Anas, Enoiu, Eduard Paul, Saadatmand, Mehrdad

Volltext

Bounded variability of metric temporal logic von Furia, Carlo A., Spoletini, Paola

Volltext

Trustworthy AI Services in the Public Sector: What Are Citizens Saying About It? von Drobotowicz, Karolina, Kauppinen, Marjo, Kujala, Sari

Volltext

Risk-Driven Compliance Assurance for Collaborative AI Systems: A Vision Paper von Camilli, Matteo, Felderer, Michael, Giusti, Andrea, Matt, Dominik Tobias, Perini, Anna, Russo, Barbara, Susi, Angelo

Volltext

Improving Trace Link Recovery Using Semantic Relation Graphs and Spreading Activation von Schlutter, Aaron, Vogelsang, Andreas

Volltext

Towards a Tool Supported Approach for Regulatory Requirements Engineering von Elahidoost, Parisa

Volltext bestellen

From Model Checking to a Temporal Proof for Partial Models von Bernasconi, Anna, Menghi, Claudio, Spoletini, Paola, Zuck, Lenore D., Ghezzi, Carlo

Volltext

Automata-based Verification of Linear Temporal Logic Models with Bounded Variability von Furia, C. A., Spoletini, P.

Volltext

Fuzzy Goals for Requirements-Driven Adaptation von Baresi, L, Pasquale, L, Spoletini, P

Volltext

On Relaxing Metric Information in Linear Temporal Logic von Furia, C. A., Spoletini, P.

Volltext

Modeling and Analyzing Context-Aware Composition of Services von Colombo, Enzo, Mylopoulos, John, Spoletini, Paola

Volltext

History Checking of XML Data Streams von Campi, A., Spoletini, P.

Volltext

SAPHO syndrome masquerading as metastatic bone disease von Theumann, NH, So, A, Mouhsine, E, Spoletini, P, Hoesli, P, Boubaker, E, Duvoisin, B, Schnyder, P, Pugnale, M

Volltext

Model-Checking TRIO Specifications in SPIN von Morzenti, Angelo, Pradella, Matteo, San Pietro, Pierluigi, Spoletini, Paola

Volltext

Trio2Promela: A Model Checker for Temporal Metric Specifications von Bianculli, Domenico, Morzenti, Angelo, Pradella, Matteo, Pietro, Pierluigi San, Spoletini, Paola

Volltext bestellen

From model checking to a temporal proof for partial models: preliminary example von Bernasconi, A, Menghi, C, Spoletini, P, Zuck, L. D, Ghezzi, C

Volltext bestellen

Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results von Pasquale, L., Spoletini, P.

Volltext bestellen

A Model Checking Approach to Verify BPEL4WS Workflows von Bianculli, D., Ghezzi, C., Spoletini, P.

Volltext