| |
Cheng, Yuanhui
|
FTfJP '21: "Ensuring Correct Cryptographic ..."
Ensuring Correct Cryptographic Algorithm and Provider Usage at Compile Time
Weitian Xing, Yuanhui Cheng, and Werner Dietl
(University of Waterloo, Canada)
@InProceedings{FTfJP21p61,
author = {Weitian Xing and Yuanhui Cheng and Werner Dietl},
title = {Ensuring Correct Cryptographic Algorithm and Provider Usage at Compile Time},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3464971.3468418},
year = {2021},
}
 Publisher's Version
|
| |
Cok, David R. |
FTfJP '21: "JML and OpenJML for Java 16 ..."
JML and OpenJML for Java 16
David R. Cok
(Safer Software Consulting, USA)
@InProceedings{FTfJP21p91,
author = {David R. Cok},
title = {JML and OpenJML for Java 16},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3464971.3468417},
year = {2021},
}
Publisher's Version
|
| |
De Chalendar, Gaël
|
FTfJP '21: "Combining Formal and Machine ..."
Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
Armand Puccetti, Gaël de Chalendar, and Pierre-Yves Gibello
(University of Paris-Saclay, France; CEA LIST, France; OW2, France)
@InProceedings{FTfJP21p81,
author = {Armand Puccetti and Gaël de Chalendar and Pierre-Yves Gibello},
title = {Combining Formal and Machine Learning Techniques for the Generation of JML Specifications},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {81-80},
doi = {10.1145/3464971.3468425},
year = {2021},
}
Publisher's Version
|
| |
Dietl, Werner |
FTfJP '21: "Ensuring Correct Cryptographic ..."
Ensuring Correct Cryptographic Algorithm and Provider Usage at Compile Time
Weitian Xing, Yuanhui Cheng, and Werner Dietl
(University of Waterloo, Canada)
@InProceedings{FTfJP21p61,
author = {Weitian Xing and Yuanhui Cheng and Werner Dietl},
title = {Ensuring Correct Cryptographic Algorithm and Provider Usage at Compile Time},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3464971.3468418},
year = {2021},
}
Publisher's Version
|
| |
Dijk, Tom van |
FTfJP '21: "IntelliJML: A JML Plugin for ..."
IntelliJML: A JML Plugin for IntelliJ IDEA
Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, and Marieke Huisman
(University of Twente, Netherlands)
@InProceedings{FTfJP21p51,
author = {Steven Monteiro and Erikas Sokolovas and Ellen Wittingen and Tom van Dijk and Marieke Huisman},
title = {IntelliJML: A JML Plugin for IntelliJ IDEA},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3464971.3468423},
year = {2021},
}
Publisher's Version
|
| |
Farrell, Marie
|
FTfJP '21: "Using Dafny to Solve the VerifyThis ..."
Using Dafny to Solve the VerifyThis 2021 Challenges
Marie Farrell, Conor Reynolds, and Rosemary Monahan
(Maynooth University, Ireland)
@InProceedings{FTfJP21p41,
author = {Marie Farrell and Conor Reynolds and Rosemary Monahan},
title = {Using Dafny to Solve the VerifyThis 2021 Challenges},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3464971.3468422},
year = {2021},
}
Publisher's Version
|
| |
Gibello, Pierre-Yves
|
FTfJP '21: "Combining Formal and Machine ..."
Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
Armand Puccetti, Gaël de Chalendar, and Pierre-Yves Gibello
(University of Paris-Saclay, France; CEA LIST, France; OW2, France)
@InProceedings{FTfJP21p81,
author = {Armand Puccetti and Gaël de Chalendar and Pierre-Yves Gibello},
title = {Combining Formal and Machine Learning Techniques for the Generation of JML Specifications},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {81-80},
doi = {10.1145/3464971.3468425},
year = {2021},
}
Publisher's Version
|
| |
Golovanov, Iaroslav |
FTfJP '21: "Behavioural Separation with ..."
Behavioural Separation with Parallel Usages
Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, and Mikkel Kettunen
(Aalborg University, Denmark; University of Glasgow, UK)
@InProceedings{FTfJP21p71,
author = {Iaroslav Golovanov and Hans Hüttel and Mathias Jakobsen and Mikkel Kettunen},
title = {Behavioural Separation with Parallel Usages},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3464971.3468424},
year = {2021},
}
Publisher's Version
|
| |
Huisman, Marieke
|
FTfJP '21: "IntelliJML: A JML Plugin for ..."
IntelliJML: A JML Plugin for IntelliJ IDEA
Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, and Marieke Huisman
(University of Twente, Netherlands)
@InProceedings{FTfJP21p51,
author = {Steven Monteiro and Erikas Sokolovas and Ellen Wittingen and Tom van Dijk and Marieke Huisman},
title = {IntelliJML: A JML Plugin for IntelliJ IDEA},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3464971.3468423},
year = {2021},
}
Publisher's Version
|
| |
Hüttel, Hans |
FTfJP '21: "Behavioural Separation with ..."
Behavioural Separation with Parallel Usages
Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, and Mikkel Kettunen
(Aalborg University, Denmark; University of Glasgow, UK)
@InProceedings{FTfJP21p71,
author = {Iaroslav Golovanov and Hans Hüttel and Mathias Jakobsen and Mikkel Kettunen},
title = {Behavioural Separation with Parallel Usages},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3464971.3468424},
year = {2021},
}
Publisher's Version
|
| |
Jakobsen, Mathias
|
FTfJP '21: "Behavioural Separation with ..."
Behavioural Separation with Parallel Usages
Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, and Mikkel Kettunen
(Aalborg University, Denmark; University of Glasgow, UK)
@InProceedings{FTfJP21p71,
author = {Iaroslav Golovanov and Hans Hüttel and Mathias Jakobsen and Mikkel Kettunen},
title = {Behavioural Separation with Parallel Usages},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3464971.3468424},
year = {2021},
}
Publisher's Version
|
| |
Kettunen, Mikkel
|
FTfJP '21: "Behavioural Separation with ..."
Behavioural Separation with Parallel Usages
Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, and Mikkel Kettunen
(Aalborg University, Denmark; University of Glasgow, UK)
@InProceedings{FTfJP21p71,
author = {Iaroslav Golovanov and Hans Hüttel and Mathias Jakobsen and Mikkel Kettunen},
title = {Behavioural Separation with Parallel Usages},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3464971.3468424},
year = {2021},
}
Publisher's Version
|
| |
Monahan, Rosemary
|
FTfJP '21: "Using Dafny to Solve the VerifyThis ..."
Using Dafny to Solve the VerifyThis 2021 Challenges
Marie Farrell, Conor Reynolds, and Rosemary Monahan
(Maynooth University, Ireland)
@InProceedings{FTfJP21p41,
author = {Marie Farrell and Conor Reynolds and Rosemary Monahan},
title = {Using Dafny to Solve the VerifyThis 2021 Challenges},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3464971.3468422},
year = {2021},
}
Publisher's Version
|
| |
Monteiro, Steven |
FTfJP '21: "IntelliJML: A JML Plugin for ..."
IntelliJML: A JML Plugin for IntelliJ IDEA
Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, and Marieke Huisman
(University of Twente, Netherlands)
@InProceedings{FTfJP21p51,
author = {Steven Monteiro and Erikas Sokolovas and Ellen Wittingen and Tom van Dijk and Marieke Huisman},
title = {IntelliJML: A JML Plugin for IntelliJ IDEA},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3464971.3468423},
year = {2021},
}
Publisher's Version
|
| |
Mycroft, Alan |
FTfJP '21: "Source Code Patches from Dynamic ..."
Source Code Patches from Dynamic Analysis
Indigo Orton and Alan Mycroft
(University of Cambridge, UK)
@InProceedings{FTfJP21p1,
author = {Indigo Orton and Alan Mycroft},
title = {Source Code Patches from Dynamic Analysis},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3464971.3468416},
year = {2021},
}
Publisher's Version
FTfJP '21: "Refactoring Traces to Identify ..."
Refactoring Traces to Identify Concurrency Improvements
Indigo Orton and Alan Mycroft
(University of Cambridge, UK)
@InProceedings{FTfJP21p21,
author = {Indigo Orton and Alan Mycroft},
title = {Refactoring Traces to Identify Concurrency Improvements},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3464971.3468420},
year = {2021},
}
Publisher's Version
|
| |
Orton, Indigo
|
FTfJP '21: "Source Code Patches from Dynamic ..."
Source Code Patches from Dynamic Analysis
Indigo Orton and Alan Mycroft
(University of Cambridge, UK)
@InProceedings{FTfJP21p1,
author = {Indigo Orton and Alan Mycroft},
title = {Source Code Patches from Dynamic Analysis},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3464971.3468416},
year = {2021},
}
Publisher's Version
FTfJP '21: "Refactoring Traces to Identify ..."
Refactoring Traces to Identify Concurrency Improvements
Indigo Orton and Alan Mycroft
(University of Cambridge, UK)
@InProceedings{FTfJP21p21,
author = {Indigo Orton and Alan Mycroft},
title = {Refactoring Traces to Identify Concurrency Improvements},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3464971.3468420},
year = {2021},
}
Publisher's Version
|
| |
Pfeifer, Wolfram
|
FTfJP '21: "Reconstructing Z3 Proofs in ..."
Reconstructing Z3 Proofs in KeY: There and Back Again
Wolfram Pfeifer, Jonas Schiffl, and Mattias Ulbrich
(KIT, Germany)
@InProceedings{FTfJP21p31,
author = {Wolfram Pfeifer and Jonas Schiffl and Mattias Ulbrich},
title = {Reconstructing Z3 Proofs in KeY: There and Back Again},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3464971.3468421},
year = {2021},
}
Publisher's Version
|
| |
Puccetti, Armand |
FTfJP '21: "Combining Formal and Machine ..."
Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
Armand Puccetti, Gaël de Chalendar, and Pierre-Yves Gibello
(University of Paris-Saclay, France; CEA LIST, France; OW2, France)
@InProceedings{FTfJP21p81,
author = {Armand Puccetti and Gaël de Chalendar and Pierre-Yves Gibello},
title = {Combining Formal and Machine Learning Techniques for the Generation of JML Specifications},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {81-80},
doi = {10.1145/3464971.3468425},
year = {2021},
}
Publisher's Version
|
| |
Reynolds, Conor
|
FTfJP '21: "Using Dafny to Solve the VerifyThis ..."
Using Dafny to Solve the VerifyThis 2021 Challenges
Marie Farrell, Conor Reynolds, and Rosemary Monahan
(Maynooth University, Ireland)
@InProceedings{FTfJP21p41,
author = {Marie Farrell and Conor Reynolds and Rosemary Monahan},
title = {Using Dafny to Solve the VerifyThis 2021 Challenges},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3464971.3468422},
year = {2021},
}
Publisher's Version
|
| |
Schiffl, Jonas
|
FTfJP '21: "Reconstructing Z3 Proofs in ..."
Reconstructing Z3 Proofs in KeY: There and Back Again
Wolfram Pfeifer, Jonas Schiffl, and Mattias Ulbrich
(KIT, Germany)
@InProceedings{FTfJP21p31,
author = {Wolfram Pfeifer and Jonas Schiffl and Mattias Ulbrich},
title = {Reconstructing Z3 Proofs in KeY: There and Back Again},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3464971.3468421},
year = {2021},
}
Publisher's Version
|
| |
Schöpp, Ulrich |
FTfJP '21: "A Generic Type System for ..."
A Generic Type System for Featherweight Java
Ulrich Schöpp and Chuangjie Xu
(fortiss, Germany)
@InProceedings{FTfJP21p11,
author = {Ulrich Schöpp and Chuangjie Xu},
title = {A Generic Type System for Featherweight Java},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3464971.3468419},
year = {2021},
}
Publisher's Version
|
| |
Sokolovas, Erikas |
FTfJP '21: "IntelliJML: A JML Plugin for ..."
IntelliJML: A JML Plugin for IntelliJ IDEA
Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, and Marieke Huisman
(University of Twente, Netherlands)
@InProceedings{FTfJP21p51,
author = {Steven Monteiro and Erikas Sokolovas and Ellen Wittingen and Tom van Dijk and Marieke Huisman},
title = {IntelliJML: A JML Plugin for IntelliJ IDEA},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3464971.3468423},
year = {2021},
}
Publisher's Version
|
| |
Ulbrich, Mattias
|
FTfJP '21: "Reconstructing Z3 Proofs in ..."
Reconstructing Z3 Proofs in KeY: There and Back Again
Wolfram Pfeifer, Jonas Schiffl, and Mattias Ulbrich
(KIT, Germany)
@InProceedings{FTfJP21p31,
author = {Wolfram Pfeifer and Jonas Schiffl and Mattias Ulbrich},
title = {Reconstructing Z3 Proofs in KeY: There and Back Again},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3464971.3468421},
year = {2021},
}
Publisher's Version
|
| |
Wittingen, Ellen
|
FTfJP '21: "IntelliJML: A JML Plugin for ..."
IntelliJML: A JML Plugin for IntelliJ IDEA
Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, and Marieke Huisman
(University of Twente, Netherlands)
@InProceedings{FTfJP21p51,
author = {Steven Monteiro and Erikas Sokolovas and Ellen Wittingen and Tom van Dijk and Marieke Huisman},
title = {IntelliJML: A JML Plugin for IntelliJ IDEA},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3464971.3468423},
year = {2021},
}
Publisher's Version
|
| |
Xing, Weitian
|
FTfJP '21: "Ensuring Correct Cryptographic ..."
Ensuring Correct Cryptographic Algorithm and Provider Usage at Compile Time
Weitian Xing, Yuanhui Cheng, and Werner Dietl
(University of Waterloo, Canada)
@InProceedings{FTfJP21p61,
author = {Weitian Xing and Yuanhui Cheng and Werner Dietl},
title = {Ensuring Correct Cryptographic Algorithm and Provider Usage at Compile Time},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3464971.3468418},
year = {2021},
}
Publisher's Version
|
| |
Xu, Chuangjie |
FTfJP '21: "A Generic Type System for ..."
A Generic Type System for Featherweight Java
Ulrich Schöpp and Chuangjie Xu
(fortiss, Germany)
@InProceedings{FTfJP21p11,
author = {Ulrich Schöpp and Chuangjie Xu},
title = {A Generic Type System for Featherweight Java},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3464971.3468419},
year = {2021},
}
Publisher's Version
|