Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Software verification challenges in the blockchain ecosystem
Olivieri, Luca, Spoto, Fausto
Published in International journal on software tools for technology transfer (01.08.2024)
Published in International journal on software tools for technology transfer (01.08.2024)
Get full text
Journal Article
OC-PM: analyzing object-centric event logs and process models
Berti, Alessandro, van der Aalst, Wil M. P.
Published in International journal on software tools for technology transfer (01.02.2023)
Published in International journal on software tools for technology transfer (01.02.2023)
Get full text
Journal Article
Bounded synthesis
Finkbeiner, Bernd, Schewe, Sven
Published in International journal on software tools for technology transfer (01.10.2013)
Published in International journal on software tools for technology transfer (01.10.2013)
Get full text
Journal Article
Distributed state space minimization
Blom, Stefan, Orzan, Simona
Published in International journal on software tools for technology transfer (01.06.2005)
Published in International journal on software tools for technology transfer (01.06.2005)
Get full text
Journal Article
Conference Proceeding
Rigorous engineering of collective adaptive systems: special section
De Nicola, Rocco, Jähnichen, Stefan, Wirsing, Martin
Published in International journal on software tools for technology transfer (01.08.2020)
Published in International journal on software tools for technology transfer (01.08.2020)
Get full text
Journal Article
Optimal spare management via statistical model checking: a case study in research reactors
Soltani, Reza, Volk, Matthias, Diamonte, Leonardo, Lopuhaä-Zwakenberg, Milan, Stoelinga, Mariëlle
Published in International journal on software tools for technology transfer (01.06.2025)
Published in International journal on software tools for technology transfer (01.06.2025)
Get full text
Journal Article
Spatio-temporal model checking of vehicular movement in public transport systems
Ciancia, Vincenzo, Gilmore, Stephen, Grilletti, Gianluca, Latella, Diego, Loreti, Michele, Massink, Mieke
Published in International journal on software tools for technology transfer (01.06.2018)
Published in International journal on software tools for technology transfer (01.06.2018)
Get full text
Journal Article
An embeddable virtual machine for state space generation
Weber, Michael
Published in International journal on software tools for technology transfer (01.05.2010)
Published in International journal on software tools for technology transfer (01.05.2010)
Get full text
Journal Article
Conference Proceeding
An overview of the MOP runtime verification framework
Meredith, Patrick O’Neil, Jin, Dongyun, Griffith, Dennis, Chen, Feng, Roşu, Grigore
Published in International journal on software tools for technology transfer (01.06.2012)
Published in International journal on software tools for technology transfer (01.06.2012)
Get full text
Journal Article
Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap
Erhard, Julian, Saan, Simmo, Tilscher, Sarah, Schwarz, Michael, Holter, Karoliine, Vojdani, Vesal, Seidl, Helmut
Published in International journal on software tools for technology transfer (01.12.2024)
Published in International journal on software tools for technology transfer (01.12.2024)
Get full text
Journal Article
Pattern-based verification of ROS 2 applications using UPPAAL
Dust, Lukas, Gu, Rong, Seceleanu, Cristina, Ekström, Mikael, Mubeen, Saad
Published in International journal on software tools for technology transfer (01.06.2025)
Published in International journal on software tools for technology transfer (01.06.2025)
Get full text
Journal Article
Automated property-based testing from AADL component contracts
Hatcliff, John, Belt, Jason, Robby, Legg, Jacob, Stewart, Danielle, Carpenter, Todd
Published in International journal on software tools for technology transfer (01.06.2025)
Published in International journal on software tools for technology transfer (01.06.2025)
Get full text
Journal Article
SyReNN: A tool for analyzing deep neural networks
Sotoudeh, Matthew, Tao, Zhe, Thakur, Aditya V.
Published in International journal on software tools for technology transfer (01.04.2023)
Published in International journal on software tools for technology transfer (01.04.2023)
Get full text
Journal Article