by Bartoletti, Massimo, Chiang, James, Junttila, Tommi, Lluch Lafuente, Alberto, Mirelli, Massimiliano, Vandin, Andrea
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

by Larsen, Kim, Legay, Axel, Nolte, Gerrit, Schlüter, Maximilian, Stoelinga, Marielle, Steffen, Bernhard
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

by De Nicola, Rocco, Di Stefano, Luca, Inverso, Omar, Valiani, Serenella
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

by Fettke, Peter, Reisig, Wolfgang
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

by Hartmanns, Arnd, Klauck, Michaela
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

by Ritz, Fabian, Phan, Thomy, Sedlmeier, Andreas, Altmann, Philipp, Wieghardt, Jan, Schmid, Reiner, Sauer, Horst, Klein, Cornel, Linnhoff-Popien, Claudia, Gabor, Thomas
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

by Basile, Davide, ter Beek, Maurice H., Ciancia, Vincenzo
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

by Brandstätter, Andreas, Smolka, Scott A., Stoller, Scott D., Tiwari, Ashish, Grosu, Radu
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

by Audrito, Giorgio, Damiani, Ferruccio, Torta, Gianluca
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

by Bozga, Marius, Sifakis, Joseph
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

by Cairoli, Francesca, Paoletti, Nicola, Bortolussi, Luca
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

by Alberts, Elvin, Gerostathopoulos, Ilias
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

by Hennicker, Rolf, Knapp, Alexander, Wirsing, Martin
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

by Töpfer, Michal, Abdullah, Milad, Bureš, Tomas, Hnětynka, Petr, Kruliš, Martin
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

by Lee, Jaehun, Bae, Kyungmin, Ölveczky, Peter Csaba
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

by Abd Alrahman, Yehia, Azzopardi, Shaun, Piterman, Nir
Published in Lecture Notes in Computer Science book series (LNCS,volume 13703) (2022)

by Bettini, Lorenzo, Bourr, Khalid, Pugliese, Rosario, Tiezzi, Francesco
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

by Lazreg, Sami, Cordy, Maxime, Legay, Axel
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

by Lion, Benjamin, Arbab, Farhad, Talcott, Carolyn
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)

by Larsen, Kim Guldstrand, Legay, Axel, Mikučionis, Marius, Poulsen, Danny Bøgsted
Published in Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning (2022)