Active Object Languages: Current Research Trends von Boer, Frank de, Damiani, Ferruccio, Hahnle, Reiner, Johnsen, Einar Broch, Kamburjan, Eduard

Volltext

Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings von de Boer, Frank, Cerone, Antonio

Volltext

Integrating ADTs in KeY and their application to history-based reasoning about collection von Bian, Jinting, Hiep, Hans-Dieter A., de Boer, Frank S., de Gouw, Stijn

Volltext

Guest editorial for the special section on SEFM 2020 and 2021 von de Boer, Frank S., Cerone, Antonio

Volltext

A Survey of Active Object Languages von Boer, Frank De, Serbanescu, Vlad, Hähnle, Reiner, Henrio, Ludovic, Rochas, Justine, Din, Crystal Chang, Johnsen, Einar Broch, Sirjani, Marjan, Khamespanah, Ehsan, Fernandez-Reyes, Kiko, Yang, Albert Mingkun

Volltext

Symbolic execution formally explained von de Boer, Frank S., Bonsangue, Marcello

Volltext

Adaptive Cost-Based Task Scheduling in Cloud Environment von Hasan, Syed Hamid, Hazber, Mohamed A. G., Radhamani, G., Mosleh, Mohammed A. S.

Volltext

The magnetic and transport properties of the Co2FeGa Heusler alloy von Zhang, Ming, Brück, Ekkes, Boer, Frank R de, Li, Zhuangzhi, Wu, Guangheng

Volltext

Decidability Problems for Actor Systems von De Boer, Frank, Jaghoori, Mahdi, Laneve, Cosimo, Zavattaro, Gianluigi

Volltext

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures von Boer, Frank S.de, Bonsangue, Marcello, Graf, Susanne, de Roever, Willem-Paul

Volltext

Verifying OpenJDK’s LinkedList using KeY (extended paper) von Hiep, Hans-Dieter A., Maathuis, Olaf, Bian, Jinting, de Boer, Frank S., de Gouw, Stijn

Volltext

Verifying OpenJDK’s Sort Method for Generic Collections von de Gouw, Stijn, de Boer, Frank S., Bubel, Richard, Hähnle, Reiner, Rot, Jurriaan, Steinhöfel, Dominic

Volltext

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures von Boer, Frank S. de, Bonsangue, Marcello M, Graf, Susanne, de Roever, Willem-Paul

Volltext

It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab von de Boer, Frank, Bonsangue, Marcello, Rutten, Jan

Volltext

Compositional schedulability analysis of real-time actor-based systems von Jaghoori, Mohammad Mahdi, de Boer, Frank, Longuet, Delphine, Chothia, Tom, Sirjani, Marjan

Volltext

Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages von de Boer, Frank, Johnsen, Einar Broch, Schlatte, Rudolf, Tapia Tarifa, Silvia Lizeth, Tveito, Lars

Volltext

SymPaths: Symbolic Execution Meets Partial Order Reduction von de Boer, Frank S., Bonsangue, Marcello, Johnsen, Einar Broch, Pun, Violet Ka I, Tapia Tarifa, S. Lizeth, Tveito, Lars

Volltext

FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings von Bjorner, Nikolaj, Boer, Frank de

Volltext

Electronic structure, magnetism, and transport properties of the Heusler alloy Fe2CrAl von MING ZHANG, BRÜCKA, Ekkes, DE BOER, Frank R, GUANGHENG WU

Volltext

Verification of object-oriented programs: A transformational approach von Apt, Krzysztof R., de Boer, Frank S., Olderog, Ernst-Rüdiger, de Gouw, Stijn

Volltext