Papers matching “abstraction refinement” 21

Robin Mroß, Luca Söthe, Darko Divkovic, Aron Schnakenbeck, Marcus Völker, Alexander Fay, +1 more

László Antal, Erika Ábrahám

Nils Lommen, Éléanore Meyer, Jürgen Giesl

Milan Češka, Sebastian Junges, Luko van der Maas, Filip Macák, Tim Quatmann

Alexander Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann

Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe⋆

V. Y. Hon, I. B. M. Saaid, I. C. H. Chai, Estelle Deguillard, J. v. Male, Jan‐Willem Handgraaf

Atsushi Horikawa, Kunio Okada, Masato Yamaguchi, Shigeki Aoki, Manfred Wirsum, H. H.-W. Funke, +1 more

Dominik Drexler, Jendrik Seipp, Héctor Geffner

S. Marcocci, M. Agostini, K. Altenmüller, S. Appel, Victor Atroshchenko, Z. Bagdasarian, +92 more

Martin Erdmann, Jonas Glombitza

Robert M. Nickel, Sarah Appelhans, R.L. Thomas, Stu Thompson, Stewart J. Thomas, Abdelghany Abouelnagga, +1 more

Niklas Fanelsa, Laurens Frederik Francesco Maria Léonce Bekemans, S Islam, H Waal

Günther Schuh, Esben Schukat, Siyuan Wang, Felix Paßlick, Carsten Engeln

Dorothea Czempas

Jens Schmidt, Leo Basov

Carolin Weckendrup, Omkar Salunkhe, Alexander Moriz, Amon Göppert, Mélanie Despeisse, Bjorn Johansson, +1 more

Estefania Hermoza Llanos, Myung-Jin Choi, Roger A. Sauer, Burkhard J. Corves, Mathias Huesing, Sven Klinkel, +1 more

Jyrki Oraskari, Jan Luca Fahrendholz, Sigrid Brell-Cokcan

Katharina Schmitz