ISSTA 2021 Workshops
30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021)
Powered by
Conference Publishing Consulting

23rd ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2021), July 13, 2021, Virtual, Denmark

Workshop FTfJP 2021 – Author Index

Contents - Abstracts - Authors

C D F G H J K M O P R S U W X

Cheng, Yuanhui FTfJP '21: "Ensuring Correct Cryptographic ..."
Cok, David R. FTfJP '21: "JML and OpenJML for Java 16 ..."
De Chalendar, Gaël FTfJP '21: "Combining Formal and Machine ..."
Dietl, Werner FTfJP '21: "Ensuring Correct Cryptographic ..."
Dijk, Tom van FTfJP '21: "IntelliJML: A JML Plugin for ..."
Farrell, Marie FTfJP '21: "Using Dafny to Solve the VerifyThis ..."
Gibello, Pierre-Yves FTfJP '21: "Combining Formal and Machine ..."
Golovanov, Iaroslav FTfJP '21: "Behavioural Separation with ..."
Huisman, Marieke FTfJP '21: "IntelliJML: A JML Plugin for ..."
Hüttel, Hans FTfJP '21: "Behavioural Separation with ..."
Jakobsen, Mathias FTfJP '21: "Behavioural Separation with ..."
Kettunen, Mikkel FTfJP '21: "Behavioural Separation with ..."
Monahan, Rosemary FTfJP '21: "Using Dafny to Solve the VerifyThis ..."
Monteiro, Steven FTfJP '21: "IntelliJML: A JML Plugin for ..."
Mycroft, Alan FTfJP '21: "Source Code Patches from Dynamic ..." FTfJP '21: "Refactoring Traces to Identify ..."
Orton, Indigo FTfJP '21: "Source Code Patches from Dynamic ..." FTfJP '21: "Refactoring Traces to Identify ..."
Pfeifer, Wolfram FTfJP '21: "Reconstructing Z3 Proofs in ..."
Puccetti, Armand FTfJP '21: "Combining Formal and Machine ..."
Reynolds, Conor FTfJP '21: "Using Dafny to Solve the VerifyThis ..."
Schiffl, Jonas FTfJP '21: "Reconstructing Z3 Proofs in ..."
Schöpp, Ulrich FTfJP '21: "A Generic Type System for ..."
Sokolovas, Erikas FTfJP '21: "IntelliJML: A JML Plugin for ..."
Ulbrich, Mattias FTfJP '21: "Reconstructing Z3 Proofs in ..."
Wittingen, Ellen FTfJP '21: "IntelliJML: A JML Plugin for ..."
Xing, Weitian FTfJP '21: "Ensuring Correct Cryptographic ..."
Xu, Chuangjie FTfJP '21: "A Generic Type System for ..."

26 authors

proc time: 5.27