Search Results - "International journal on software tools for technology transfer" :: K.UTB vyhledávací portál

Loading…

Six years later: testing vs. model checking

by Beyer, Dirk, Lemberger, Thomas
Published in International journal on software tools for technology transfer (01.12.2024)

Get full text

Journal Article

Loading…

IntraJ: an on-demand framework for intraprocedural Java code analysis

by Riouak, Idriss, Fors, Niklas, Hedin, Görel, Reichenbach, Christoph
Published in International journal on software tools for technology transfer (01.12.2024)

Get full text

Journal Article

Loading…

Reformulating regression test suite optimization using quantum annealing - an empirical study

by Trovato, Antonio, De Stefano, Manuel, Pecorelli, Fabiano, Di Nucci, Dario, De Lucia, Andrea
Published in International journal on software tools for technology transfer (01.12.2024)

Get full text

Journal Article

Loading…

An adaptive, provable correct simplex architecture

by Maderbacher, Benedikt, Schupp, Stefan, Bartocci, Ezio, Bloem, Roderick, Ničković, Dejan, Könighofer, Bettina
Published in International journal on software tools for technology transfer (04.02.2025)

Get full text

Journal Article

Loading…

Machine learning-based ambient temperature prediction in radio access network environments

by Rahman, Selma, Olausson, Mattias, Vitucci, Carlo, Avgouleas, Ioannis
Published in International journal on software tools for technology transfer (01.02.2025)

Get full text

Journal Article

Loading…

LLM-based code generation and system migration in language-driven engineering

by Busch, Daniel, Bainczyk, Alexander, Smyth, Steven, Steffen, Bernhard
Published in International journal on software tools for technology transfer (01.02.2025)

Get full text

Journal Article

Loading…

Preface to the special issue on engineering of computer-based systems

by Kofroň, Jan, Margaria, Tiziana, Seceleanu, Cristina
Published in International journal on software tools for technology transfer (01.02.2025)

Get full text

Journal Article

Loading…

Machine learning-based cache miss prediction

by Jelačić, Edin, Seceleanu, Cristina, Xiong, Ning, Backeman, Peter, Yaghoobi, Sharifeh, Seceleanu, Tiberiu
Published in International journal on software tools for technology transfer (01.02.2025)

Get full text

Journal Article

Loading…

Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT

by Djukic, Miodrag, Prokić, Ivan, Popovic, Miroslav, Ghilezan, Silvia, Popovic, Marko, Prokić, Simona
Published in International journal on software tools for technology transfer (01.02.2025)

Get full text

Journal Article

Loading…

Efficient and expressive bytecode-level instrumentation for Java programs

by Soueidi, Chukri, Monnier, Marius, Falcone, Yliès
Published in International journal on software tools for technology transfer (01.08.2023)

Get full text

Journal Article

Loading…

From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata

by Esparza, Javier, Křetínský, Jan, Raskin, Jean-François, Sickert, Salomon
Published in International journal on software tools for technology transfer (01.08.2022)

Get full text

Journal Article

Loading…

RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics

by Yamaguchi, Tomoya, Hoxha, Bardh, Ničković, Dejan
Published in International journal on software tools for technology transfer (01.02.2024)

Get full text

Journal Article

Loading…

Reusable formal models for concurrency and communication in custom real-time operating systems

by Adelt, Julius, Gebker, Julian, Herber, Paula
Published in International journal on software tools for technology transfer (01.04.2024)

Get full text

Journal Article

Loading…

An Event-B model of an automotive adaptive exterior light system

by Mammar, Amel, Frappier, Marc, Laleau, Régine
Published in International journal on software tools for technology transfer (01.06.2024)

Get full text

Journal Article

Loading…

Causal analysis of positive Reaction Systems

by Brodo, Linda, Bruni, Roberto, Falaschi, Moreno, Gori, Roberta, Milazzo, Paolo, Montagna, Valeria, Pulieri, Pasquale
Published in International journal on software tools for technology transfer (01.08.2024)

Get full text

Journal Article

Loading…

Sound and precise static analysis using a generalization of static single assignment and value numbering

by Taft, S. Tucker
Published in International journal on software tools for technology transfer (01.10.2024)

Get full text

Journal Article

Loading…

When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C

by Erhard, Julian, Schwarz, Michael, Vojdani, Vesal, Saan, Simmo, Seidl, Helmut
Published in International journal on software tools for technology transfer (01.10.2024)

Get full text

Journal Article

Loading…

User-assisted code query customization and optimization

by Liblit, Ben, Lyu, Yingjun, Mukherjee, Rajdeep, Tripp, Omer, Wang, Yanjun
Published in International journal on software tools for technology transfer (01.10.2024)

Get full text

Journal Article

Loading…

Speeding up static analysis with the split operator

by Arceri, Vincenzo, Dolcetti, Greta, Zaffanella, Enea
Published in International journal on software tools for technology transfer (01.10.2024)

Get full text

Journal Article

Loading…

When long jumps fall short: control-flow tracking and misuse detection for nonlocal jumps in C: Extended version

by Erhard, Julian, Schwarz, Michael, Vojdani, Vesal, Saan, Simmo, Seidl, Helmut
Published in International journal on software tools for technology transfer (01.10.2024)

Get full text

Journal Article

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database