Skip to main content

International Journal on Software Tools for Technology Transfer

Ausgabe 5-6/2023

Inhalt (13 Artikel)

Open Access Foundations for Mastering Change

Rigorous engineering of collective adaptive systems – 2nd special section

Martin Wirsing, Stefan Jähnichen, Rocco De Nicola

Foundations for Mastering Change

Correct by design coordination of autonomous driving systems

Marius Bozga, Joseph Sifakis

Open Access Foundations for Mastering Change

A toolchain for strategy synthesis with spatial properties

Davide Basile, Maurice H. ter Beek, Laura Bussi, Vincenzo Ciancia

Open Access Foundations for Mastering Change

A causal, time-independent synchronization pattern for collective adaptive systems

Peter Fettke, Wolfgang Reisig

Open Access Foundations for Mastering Change

Modelling flocks of birds and colonies of ants from the bottom up

Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani

Foundations for Mastering Change

A kinetic approach to investigate the collective dynamics of multi-agent systems

Stefania Monica, Federico Bergenti, Franco Zambonelli

Foundations for Mastering Change

A modal approach to conscious social agents

Chen Yifeng, J. W. Sanders

Foundations for Mastering Change

Machine-learning abstractions for component-based self-optimizing systems

Michal Töpfer, Milad Abdullah, Tomáš Bureš, Petr Hnětynka, Martin Kruliš

Foundations for Mastering Change

Generating adaptation rule-specific neural networks

Tomáš Bureš, Petr Hnětynka, Martin Kruliš, František Plášil, Danylo Khalyeyev, Sebastian Hahner, Stephan Seifermann, Maximilian Walter, Robert Heinrich

Open Access Foundations for Mastering Change

Coordinating and programming multiple ROS-based robots with X-KLAIM

Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi

Open Access Foundations for Mastering Change

Language support for verifying reconfigurable interacting systems

Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman

Open Access Foundations for Mastering Change

Comparing perfomance abstractions for collective adaptive systems

Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto

Publisher Correction

Publisher Correction: Algorithm selection for SMT

Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner