default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal on Software Tools for Technology Transfer (STTT), Volume 28
Volume 28, Number 1, February 2026
- Jane Hillston, Sadegh Soudjani
, Masaki Waga:
Introduction to the special issue on timed and stochastic approaches to system evaluation. 1-3 - Aymeric Côme, Eric Fabre, Loïc Hélouët:
A Floyd-Warshall approach to value computation in Markov decision processes. 5-25 - Pierre Cry, András Horváth, Paolo Ballarini, Pascale Le Gall:
An efficient stochastic process discovery framework based on optimization. 27-54 - Shadi Tasdighi Kalat, Sriram Sankaranarayanan, Ashutosh Trivedi:
Active discount factor elicitation via reward modification. 55-70 - Neha Rino, Mohammed Foughali, Florian Renkin, Eugene Asarin:
Efficiently computable temporal robustness for a practical STL fragment. 71-103 - Magnus Liebherr, Ellen Enkel, Effie L.-C. Law, Mohammad Reza Mousavi, Matteo Sammartino, Philipp Maximilian Sieberg:
Dynamic calibration of trust and trustworthiness in AI-enabled systems. 105-121
Volume 28, Number 2, April 2026
- Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone:
Rigorous engineering of collective adaptive systems - 3rd special section: part II. 123-129 - Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Optimality-preserving reduction of controlled chemical reaction networks. 131-145 - Giorgio Audrito, Ferruccio Damiani, Gianluca Torta:
Composable models and guarantees for aggregate systems. 147-165 - Alexander Knapp, Rolf Hennicker, Martin Wirsing:
Epistemic ensembles in semantic, symbolic, and distributed environments. 167-184 - Yifeng Chen, Jeff W. Sanders:
The evolving conscious agent, II. 185-197 - Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman:
A compositional semantics for reconfigurable multi-mode interaction in R-CHECK. 199-218 - Michele Pasqua, Marino Miculan:
Attribute-based memory updates with priorities for collective adaptive systems. 219-233 - Cinzia Bernardeschi, Adriano Fagiolini, Giuseppe Lettieri, Dario Pagani, Federico Rossi:
Statistical model checking of a dynamic vehicle platoon. 235-250
Volume 28, Number 3, June 2026
- Luca Olivieri, Vincenzo Arceri, Luca Negrini, Gianluca Caiazza:
Challenges of Software Verification (CSV'25). 251-253 - Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro:
Clause-reachability is undecidable in legal contracts. 255-275 - Louis Rustenholz, Pedro López-García, Manuel V. Hermenegildo:
Abstractions of sequences, functions and operators. 277-301 - Paul Robert, Matthieu Lemerre, Mihaela Sighireanu:
Inferring contracts by abstract interpretation with application to pointer nullness analysis. 303-316 - Daragh King, Vasileios Koutavas, Laura Kovács:
LLMs and fuzzing in tandem: a new approach to automatically generating weakest preconditions. 317-328 - Cosimo Laneve, Alvise Spanò, Dalila Ressi, Sabina Rossi, Michele Bugliesi:
Understanding code semantics: a benchmark study of LLMs. 329-343 - Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni:
Challenges in Quantum Programs Analysis. 345-374
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-07-21 22:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
