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

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

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

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

Volltext

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

Volltext

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

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

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

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures von Giachino, Elena, Hähnle, Reiner, de Boer, Frank S, Bonsangue, Marcello M

Volltext

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

Volltext

Multi-Threaded Actors von Azadbakht, Keyvan, de Boer, Frank S., Serbanescu, Vlad

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

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach von de Boer, Frank S., Giachino, Elena, de Gouw, Stijn, Hähnle, Reiner, Johnsen, Einar Broch, Laneve, Cosimo, Pun, Ka I, Zavattaro, Gianluigi

Volltext

Testing abstract behavioral specifications von Wong, Peter Y. H., Bubel, Richard, de Boer, Frank S., Gómez-Zamalloa, Miguel, de Gouw, Stijn, Hähnle, Reiner, Meinke, Karl, Sindhu, Muddassar Azam

Volltext

Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

Volltext

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers von Beckert, Bernhard, Damiani, Ferruccio, de Boer, Frank S, Bonsangue, Marcello M

Volltext

Proving concurrent constraint programs correct von De Boer, Frank S., Gabbrielli, Maurizio, Marchiori, Elena, Palamidessi, Catuscia

Volltext

ABS: A Core Language for Abstract Behavioral Specification von Johnsen, Einar Broch, Hähnle, Reiner, Schäfer, Jan, Schlatte, Rudolf, Steffen, Martin

Volltext

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures von de Boer, Frank S, Bonsangue, Marcello M, Graf, Susanne, de Roever, Willem-Paul

Volltext