- Yong Kiam Tan, André Platzer. An axiomatic approach to existence and liveness for differential equations. Formal Asp. Comput., 33(4):461-518, 2021.
- Matteo Rossi. Modeling and analysis of communicating systems. Formal Asp. Comput., 33(2):297-298, 2021.
- Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson. Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter. Formal Asp. Comput., 33(4):519-545, 2021.
- Michele Loreti. Semantics of the probabilistic Lambda Calculus By Dirk Draheim. Formal Asp. Comput., 33(3):457-458, 2021.
- Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci 0001, Maria Eichlseder, Kim G. Larsen. *-based learning of Markov decision processes (extended version). Formal Asp. Comput., 33(4):575-615, 2021.
- Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle. Comprehensive Systems: A formal foundation for Multi-Model Consistency Management. Formal Asp. Comput., 33(6):1067-1114, 2021.
- Marco Bozzano, Alessandro Cimatti, Marco Gario, David Jones, Cristian Mattarei. Model-based Safety Assessment of a Triple Modular Generator with xSAP. Formal Asp. Comput., 33(2):251-295, 2021.
- Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius, Lutz Schröder. From generic partition refinement to weighted tree automata minimization. Formal Asp. Comput., 33(4):695-727, 2021.
- Wanling Xie, Huibiao Zhu, Qiwen Xu. A process calculus BigrTiMo of mobile systems and its formal semantics. Formal Asp. Comput., 33(2):207-249, 2021.
- Francesco Flammini, Stefano Marrone 0001, Roberto Nardone, Valeria Vittorini. Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks. Formal Asp. Comput., 33(6):989-1007, 2021.