| |
Abdelghany, Mohamed
|
FTSCS '22: "Formal Probabilistic Risk ..."
Formal Probabilistic Risk Assessment of a Nuclear Power Plant
Mohamed Abdelghany and Sofiène Tahar
(Concordia University, Canada)
@InProceedings{FTSCS22p105,
author = {Mohamed Abdelghany and Sofiène Tahar},
title = {Formal Probabilistic Risk Assessment of a Nuclear Power Plant},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {105-104},
doi = {10.1145/3563822.3568018},
year = {2022},
}
 Publisher's Version
Article: splashws22ftscsmain-p16-p (type: Full Paper) doi:10.1145/3563822.3568018
|
| |
Ahmadi, Sharar |
FTSCS '22: "Proving Memory Access Violations ..."
Proving Memory Access Violations in Isabelle/HOL
Sharar Ahmadi, Brijesh Dongol, and Matt Griffin
(University of Surrey, UK)
@InProceedings{FTSCS22p66,
author = {Sharar Ahmadi and Brijesh Dongol and Matt Griffin},
title = {Proving Memory Access Violations in Isabelle/HOL},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {66-65},
doi = {10.1145/3563822.3568010},
year = {2022},
}
Publisher's Version
 Published Artifact
Artifacts Available
Article: splashws22ftscsmain-p3-p (type: Full Paper) doi:10.1145/3563822.3568010
|
| |
André, Étienne |
FTSCS '22: "strategFTO: Untimed Control ..."
strategFTO: Untimed Control for Timed Opacity
Étienne André, Shapagat Bolat, Engel Lefaucheux, and Dylan Marinho
(Université Sorbonne Paris Nord, France; LIPN, France; CNRS, France; Université de Lorraine, France; Inria, France; LORIA, France)
@InProceedings{FTSCS22p40,
author = {Étienne André and Shapagat Bolat and Engel Lefaucheux and Dylan Marinho},
title = {strategFTO: Untimed Control for Timed Opacity},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {40-39},
doi = {10.1145/3563822.3568013},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p8-p (type: Full Paper (6 pages + references)) doi:10.1145/3563822.3568013
|
| |
Arias, Jaime |
FTSCS '22: "Rewriting Logic Semantics ..."
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, and Fredrik Rømming
(CNRS, France; LIPN, France; Université Sorbonne Paris Nord, France; Pohang University of Science and Technology, South Korea; University of Oslo, Norway)
@InProceedings{FTSCS22p14,
author = {Jaime Arias and Kyungmin Bae and Carlos Olarte and Peter Csaba Ölveczky and Laure Petrucci and Fredrik Rømming},
title = {Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {14-13},
doi = {10.1145/3563822.3569923},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p7-p (type: Full Paper) doi:10.1145/3563822.3569923
|
| |
Armstrong, Robert C. |
FTSCS '22: "Q: A Sound Verification Framework ..."
Q: A Sound Verification Framework for Statecharts and Their Implementations
Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, and Jon M. Aytac
(Sandia National Laboratories, USA)
@InProceedings{FTSCS22p27,
author = {Samuel D. Pollard and Robert C. Armstrong and John Bender and Geoffrey C. Hulette and Raheel S. Mahmood and Karla Morris and Blake C. Rawlings and Jon M. Aytac},
title = {Q: A Sound Verification Framework for Statecharts and Their Implementations},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {27-26},
doi = {10.1145/3563822.3568014},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p9-p (type: Full Paper) doi:10.1145/3563822.3568014
|
| |
Ayele, Bereket |
FTSCS '22: "Synchronous Programming and ..."
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Jiawei Chen, José Luiz Vargas de Mendonça, Shayan Jalili, Bereket Ayele, Bereket Ngussie Bekele, Zhemin Qu, Pranjal Sharma, Tigist Shiferaw, Yicheng Zhang, and Jean-Baptiste Jeannin
(University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia)
@InProceedings{FTSCS22p92,
author = {Jiawei Chen and José Luiz Vargas de Mendonça and Shayan Jalili and Bereket Ayele and Bereket Ngussie Bekele and Zhemin Qu and Pranjal Sharma and Tigist Shiferaw and Yicheng Zhang and Jean-Baptiste Jeannin},
title = {Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {92-91},
doi = {10.1145/3563822.3568015},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p12-p (type: Full Paper) doi:10.1145/3563822.3568015
|
| |
Aytac, Jon M. |
FTSCS '22: "Q: A Sound Verification Framework ..."
Q: A Sound Verification Framework for Statecharts and Their Implementations
Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, and Jon M. Aytac
(Sandia National Laboratories, USA)
@InProceedings{FTSCS22p27,
author = {Samuel D. Pollard and Robert C. Armstrong and John Bender and Geoffrey C. Hulette and Raheel S. Mahmood and Karla Morris and Blake C. Rawlings and Jon M. Aytac},
title = {Q: A Sound Verification Framework for Statecharts and Their Implementations},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {27-26},
doi = {10.1145/3563822.3568014},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p9-p (type: Full Paper) doi:10.1145/3563822.3568014
|
| |
Bae, Kyungmin
|
FTSCS '22: "Rewriting Logic Semantics ..."
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, and Fredrik Rømming
(CNRS, France; LIPN, France; Université Sorbonne Paris Nord, France; Pohang University of Science and Technology, South Korea; University of Oslo, Norway)
@InProceedings{FTSCS22p14,
author = {Jaime Arias and Kyungmin Bae and Carlos Olarte and Peter Csaba Ölveczky and Laure Petrucci and Fredrik Rømming},
title = {Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {14-13},
doi = {10.1145/3563822.3569923},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p7-p (type: Full Paper) doi:10.1145/3563822.3569923
FTSCS '22: "Symbolic Reachability Analysis ..."
Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search
Byeongjee Kang and Kyungmin Bae
(POSTECH, South Korea)
@InProceedings{FTSCS22p53,
author = {Byeongjee Kang and Kyungmin Bae},
title = {Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {53-52},
doi = {10.1145/3563822.3568017},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p14-p (type: Full Paper) doi:10.1145/3563822.3568017
FTSCS '22: "Bounded Model Checking of ..."
Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT
Jaeseo Lee, Sangki Kim, and Kyungmin Bae
(POSTECH, South Korea)
@InProceedings{FTSCS22p79,
author = {Jaeseo Lee and Sangki Kim and Kyungmin Bae},
title = {Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3563822.3568016},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p13-p (type: Full Paper) doi:10.1145/3563822.3568016
|
| |
Bekele, Bereket Ngussie |
FTSCS '22: "Synchronous Programming and ..."
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Jiawei Chen, José Luiz Vargas de Mendonça, Shayan Jalili, Bereket Ayele, Bereket Ngussie Bekele, Zhemin Qu, Pranjal Sharma, Tigist Shiferaw, Yicheng Zhang, and Jean-Baptiste Jeannin
(University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia)
@InProceedings{FTSCS22p92,
author = {Jiawei Chen and José Luiz Vargas de Mendonça and Shayan Jalili and Bereket Ayele and Bereket Ngussie Bekele and Zhemin Qu and Pranjal Sharma and Tigist Shiferaw and Yicheng Zhang and Jean-Baptiste Jeannin},
title = {Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {92-91},
doi = {10.1145/3563822.3568015},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p12-p (type: Full Paper) doi:10.1145/3563822.3568015
|
| |
Bender, John |
FTSCS '22: "Q: A Sound Verification Framework ..."
Q: A Sound Verification Framework for Statecharts and Their Implementations
Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, and Jon M. Aytac
(Sandia National Laboratories, USA)
@InProceedings{FTSCS22p27,
author = {Samuel D. Pollard and Robert C. Armstrong and John Bender and Geoffrey C. Hulette and Raheel S. Mahmood and Karla Morris and Blake C. Rawlings and Jon M. Aytac},
title = {Q: A Sound Verification Framework for Statecharts and Their Implementations},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {27-26},
doi = {10.1145/3563822.3568014},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p9-p (type: Full Paper) doi:10.1145/3563822.3568014
|
| |
Beyer, Dirk |
FTSCS '22: "Cooperative Verification: ..."
Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk)
Dirk Beyer
(LMU Munich, Germany)
@InProceedings{FTSCS22p1,
author = {Dirk Beyer},
title = {Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk)},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3563822.3572548},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-key1-p (type: Invited Talk) doi:10.1145/3563822.3572548
|
| |
Bolat, Shapagat |
FTSCS '22: "strategFTO: Untimed Control ..."
strategFTO: Untimed Control for Timed Opacity
Étienne André, Shapagat Bolat, Engel Lefaucheux, and Dylan Marinho
(Université Sorbonne Paris Nord, France; LIPN, France; CNRS, France; Université de Lorraine, France; Inria, France; LORIA, France)
@InProceedings{FTSCS22p40,
author = {Étienne André and Shapagat Bolat and Engel Lefaucheux and Dylan Marinho},
title = {strategFTO: Untimed Control for Timed Opacity},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {40-39},
doi = {10.1145/3563822.3568013},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p8-p (type: Full Paper (6 pages + references)) doi:10.1145/3563822.3568013
|
| |
Britten, Daniel |
FTSCS '22: "Modelling a Blockchain for ..."
Modelling a Blockchain for Smart Contract Verification using DeepSEA
Daniel Britten and Steve Reeves
(University of Waikato, New Zealand)
@InProceedings{FTSCS22p118,
author = {Daniel Britten and Steve Reeves},
title = {Modelling a Blockchain for Smart Contract Verification using DeepSEA},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {118-117},
doi = {10.1145/3563822.3568011},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p5-p (type: Full Paper (6 pages + references)) doi:10.1145/3563822.3568011
|
| |
Chen, Jiawei
|
FTSCS '22: "Synchronous Programming and ..."
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Jiawei Chen, José Luiz Vargas de Mendonça, Shayan Jalili, Bereket Ayele, Bereket Ngussie Bekele, Zhemin Qu, Pranjal Sharma, Tigist Shiferaw, Yicheng Zhang, and Jean-Baptiste Jeannin
(University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia)
@InProceedings{FTSCS22p92,
author = {Jiawei Chen and José Luiz Vargas de Mendonça and Shayan Jalili and Bereket Ayele and Bereket Ngussie Bekele and Zhemin Qu and Pranjal Sharma and Tigist Shiferaw and Yicheng Zhang and Jean-Baptiste Jeannin},
title = {Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {92-91},
doi = {10.1145/3563822.3568015},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p12-p (type: Full Paper) doi:10.1145/3563822.3568015
|
| |
Dongol, Brijesh
|
FTSCS '22: "Proving Memory Access Violations ..."
Proving Memory Access Violations in Isabelle/HOL
Sharar Ahmadi, Brijesh Dongol, and Matt Griffin
(University of Surrey, UK)
@InProceedings{FTSCS22p66,
author = {Sharar Ahmadi and Brijesh Dongol and Matt Griffin},
title = {Proving Memory Access Violations in Isabelle/HOL},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {66-65},
doi = {10.1145/3563822.3568010},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: splashws22ftscsmain-p3-p (type: Full Paper) doi:10.1145/3563822.3568010
|
| |
Griffin, Matt
|
FTSCS '22: "Proving Memory Access Violations ..."
Proving Memory Access Violations in Isabelle/HOL
Sharar Ahmadi, Brijesh Dongol, and Matt Griffin
(University of Surrey, UK)
@InProceedings{FTSCS22p66,
author = {Sharar Ahmadi and Brijesh Dongol and Matt Griffin},
title = {Proving Memory Access Violations in Isabelle/HOL},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {66-65},
doi = {10.1145/3563822.3568010},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: splashws22ftscsmain-p3-p (type: Full Paper) doi:10.1145/3563822.3568010
|
| |
Hulette, Geoffrey C.
|
FTSCS '22: "Q: A Sound Verification Framework ..."
Q: A Sound Verification Framework for Statecharts and Their Implementations
Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, and Jon M. Aytac
(Sandia National Laboratories, USA)
@InProceedings{FTSCS22p27,
author = {Samuel D. Pollard and Robert C. Armstrong and John Bender and Geoffrey C. Hulette and Raheel S. Mahmood and Karla Morris and Blake C. Rawlings and Jon M. Aytac},
title = {Q: A Sound Verification Framework for Statecharts and Their Implementations},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {27-26},
doi = {10.1145/3563822.3568014},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p9-p (type: Full Paper) doi:10.1145/3563822.3568014
|
| |
Jalili, Shayan
|
FTSCS '22: "Synchronous Programming and ..."
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Jiawei Chen, José Luiz Vargas de Mendonça, Shayan Jalili, Bereket Ayele, Bereket Ngussie Bekele, Zhemin Qu, Pranjal Sharma, Tigist Shiferaw, Yicheng Zhang, and Jean-Baptiste Jeannin
(University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia)
@InProceedings{FTSCS22p92,
author = {Jiawei Chen and José Luiz Vargas de Mendonça and Shayan Jalili and Bereket Ayele and Bereket Ngussie Bekele and Zhemin Qu and Pranjal Sharma and Tigist Shiferaw and Yicheng Zhang and Jean-Baptiste Jeannin},
title = {Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {92-91},
doi = {10.1145/3563822.3568015},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p12-p (type: Full Paper) doi:10.1145/3563822.3568015
|
| |
Jeannin, Jean-Baptiste |
FTSCS '22: "Synchronous Programming and ..."
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Jiawei Chen, José Luiz Vargas de Mendonça, Shayan Jalili, Bereket Ayele, Bereket Ngussie Bekele, Zhemin Qu, Pranjal Sharma, Tigist Shiferaw, Yicheng Zhang, and Jean-Baptiste Jeannin
(University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia)
@InProceedings{FTSCS22p92,
author = {Jiawei Chen and José Luiz Vargas de Mendonça and Shayan Jalili and Bereket Ayele and Bereket Ngussie Bekele and Zhemin Qu and Pranjal Sharma and Tigist Shiferaw and Yicheng Zhang and Jean-Baptiste Jeannin},
title = {Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {92-91},
doi = {10.1145/3563822.3568015},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p12-p (type: Full Paper) doi:10.1145/3563822.3568015
|
| |
Kang, Byeongjee
|
FTSCS '22: "Symbolic Reachability Analysis ..."
Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search
Byeongjee Kang and Kyungmin Bae
(POSTECH, South Korea)
@InProceedings{FTSCS22p53,
author = {Byeongjee Kang and Kyungmin Bae},
title = {Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {53-52},
doi = {10.1145/3563822.3568017},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p14-p (type: Full Paper) doi:10.1145/3563822.3568017
|
| |
Kim, Sangki |
FTSCS '22: "Bounded Model Checking of ..."
Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT
Jaeseo Lee, Sangki Kim, and Kyungmin Bae
(POSTECH, South Korea)
@InProceedings{FTSCS22p79,
author = {Jaeseo Lee and Sangki Kim and Kyungmin Bae},
title = {Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3563822.3568016},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p13-p (type: Full Paper) doi:10.1145/3563822.3568016
|
| |
Lee, Jaeseo
|
FTSCS '22: "Bounded Model Checking of ..."
Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT
Jaeseo Lee, Sangki Kim, and Kyungmin Bae
(POSTECH, South Korea)
@InProceedings{FTSCS22p79,
author = {Jaeseo Lee and Sangki Kim and Kyungmin Bae},
title = {Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3563822.3568016},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p13-p (type: Full Paper) doi:10.1145/3563822.3568016
|
| |
Lefaucheux, Engel |
FTSCS '22: "strategFTO: Untimed Control ..."
strategFTO: Untimed Control for Timed Opacity
Étienne André, Shapagat Bolat, Engel Lefaucheux, and Dylan Marinho
(Université Sorbonne Paris Nord, France; LIPN, France; CNRS, France; Université de Lorraine, France; Inria, France; LORIA, France)
@InProceedings{FTSCS22p40,
author = {Étienne André and Shapagat Bolat and Engel Lefaucheux and Dylan Marinho},
title = {strategFTO: Untimed Control for Timed Opacity},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {40-39},
doi = {10.1145/3563822.3568013},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p8-p (type: Full Paper (6 pages + references)) doi:10.1145/3563822.3568013
|
| |
Mahmood, Raheel S.
|
FTSCS '22: "Q: A Sound Verification Framework ..."
Q: A Sound Verification Framework for Statecharts and Their Implementations
Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, and Jon M. Aytac
(Sandia National Laboratories, USA)
@InProceedings{FTSCS22p27,
author = {Samuel D. Pollard and Robert C. Armstrong and John Bender and Geoffrey C. Hulette and Raheel S. Mahmood and Karla Morris and Blake C. Rawlings and Jon M. Aytac},
title = {Q: A Sound Verification Framework for Statecharts and Their Implementations},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {27-26},
doi = {10.1145/3563822.3568014},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p9-p (type: Full Paper) doi:10.1145/3563822.3568014
|
| |
Marinho, Dylan |
FTSCS '22: "strategFTO: Untimed Control ..."
strategFTO: Untimed Control for Timed Opacity
Étienne André, Shapagat Bolat, Engel Lefaucheux, and Dylan Marinho
(Université Sorbonne Paris Nord, France; LIPN, France; CNRS, France; Université de Lorraine, France; Inria, France; LORIA, France)
@InProceedings{FTSCS22p40,
author = {Étienne André and Shapagat Bolat and Engel Lefaucheux and Dylan Marinho},
title = {strategFTO: Untimed Control for Timed Opacity},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {40-39},
doi = {10.1145/3563822.3568013},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p8-p (type: Full Paper (6 pages + references)) doi:10.1145/3563822.3568013
|
| |
Morris, Karla |
FTSCS '22: "Q: A Sound Verification Framework ..."
Q: A Sound Verification Framework for Statecharts and Their Implementations
Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, and Jon M. Aytac
(Sandia National Laboratories, USA)
@InProceedings{FTSCS22p27,
author = {Samuel D. Pollard and Robert C. Armstrong and John Bender and Geoffrey C. Hulette and Raheel S. Mahmood and Karla Morris and Blake C. Rawlings and Jon M. Aytac},
title = {Q: A Sound Verification Framework for Statecharts and Their Implementations},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {27-26},
doi = {10.1145/3563822.3568014},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p9-p (type: Full Paper) doi:10.1145/3563822.3568014
|
| |
Olarte, Carlos
|
FTSCS '22: "Rewriting Logic Semantics ..."
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, and Fredrik Rømming
(CNRS, France; LIPN, France; Université Sorbonne Paris Nord, France; Pohang University of Science and Technology, South Korea; University of Oslo, Norway)
@InProceedings{FTSCS22p14,
author = {Jaime Arias and Kyungmin Bae and Carlos Olarte and Peter Csaba Ölveczky and Laure Petrucci and Fredrik Rømming},
title = {Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {14-13},
doi = {10.1145/3563822.3569923},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p7-p (type: Full Paper) doi:10.1145/3563822.3569923
|
| |
Ölveczky, Peter Csaba |
FTSCS '22: "Rewriting Logic Semantics ..."
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, and Fredrik Rømming
(CNRS, France; LIPN, France; Université Sorbonne Paris Nord, France; Pohang University of Science and Technology, South Korea; University of Oslo, Norway)
@InProceedings{FTSCS22p14,
author = {Jaime Arias and Kyungmin Bae and Carlos Olarte and Peter Csaba Ölveczky and Laure Petrucci and Fredrik Rømming},
title = {Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {14-13},
doi = {10.1145/3563822.3569923},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p7-p (type: Full Paper) doi:10.1145/3563822.3569923
|
| |
Petrucci, Laure
|
FTSCS '22: "Rewriting Logic Semantics ..."
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, and Fredrik Rømming
(CNRS, France; LIPN, France; Université Sorbonne Paris Nord, France; Pohang University of Science and Technology, South Korea; University of Oslo, Norway)
@InProceedings{FTSCS22p14,
author = {Jaime Arias and Kyungmin Bae and Carlos Olarte and Peter Csaba Ölveczky and Laure Petrucci and Fredrik Rømming},
title = {Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {14-13},
doi = {10.1145/3563822.3569923},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p7-p (type: Full Paper) doi:10.1145/3563822.3569923
|
| |
Pollard, Samuel D. |
FTSCS '22: "Q: A Sound Verification Framework ..."
Q: A Sound Verification Framework for Statecharts and Their Implementations
Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, and Jon M. Aytac
(Sandia National Laboratories, USA)
@InProceedings{FTSCS22p27,
author = {Samuel D. Pollard and Robert C. Armstrong and John Bender and Geoffrey C. Hulette and Raheel S. Mahmood and Karla Morris and Blake C. Rawlings and Jon M. Aytac},
title = {Q: A Sound Verification Framework for Statecharts and Their Implementations},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {27-26},
doi = {10.1145/3563822.3568014},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p9-p (type: Full Paper) doi:10.1145/3563822.3568014
|
| |
Qu, Zhemin
|
FTSCS '22: "Synchronous Programming and ..."
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Jiawei Chen, José Luiz Vargas de Mendonça, Shayan Jalili, Bereket Ayele, Bereket Ngussie Bekele, Zhemin Qu, Pranjal Sharma, Tigist Shiferaw, Yicheng Zhang, and Jean-Baptiste Jeannin
(University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia)
@InProceedings{FTSCS22p92,
author = {Jiawei Chen and José Luiz Vargas de Mendonça and Shayan Jalili and Bereket Ayele and Bereket Ngussie Bekele and Zhemin Qu and Pranjal Sharma and Tigist Shiferaw and Yicheng Zhang and Jean-Baptiste Jeannin},
title = {Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {92-91},
doi = {10.1145/3563822.3568015},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p12-p (type: Full Paper) doi:10.1145/3563822.3568015
|
| |
Rawlings, Blake C.
|
FTSCS '22: "Q: A Sound Verification Framework ..."
Q: A Sound Verification Framework for Statecharts and Their Implementations
Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, and Jon M. Aytac
(Sandia National Laboratories, USA)
@InProceedings{FTSCS22p27,
author = {Samuel D. Pollard and Robert C. Armstrong and John Bender and Geoffrey C. Hulette and Raheel S. Mahmood and Karla Morris and Blake C. Rawlings and Jon M. Aytac},
title = {Q: A Sound Verification Framework for Statecharts and Their Implementations},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {27-26},
doi = {10.1145/3563822.3568014},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p9-p (type: Full Paper) doi:10.1145/3563822.3568014
|
| |
Reeves, Steve |
FTSCS '22: "Modelling a Blockchain for ..."
Modelling a Blockchain for Smart Contract Verification using DeepSEA
Daniel Britten and Steve Reeves
(University of Waikato, New Zealand)
@InProceedings{FTSCS22p118,
author = {Daniel Britten and Steve Reeves},
title = {Modelling a Blockchain for Smart Contract Verification using DeepSEA},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {118-117},
doi = {10.1145/3563822.3568011},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p5-p (type: Full Paper (6 pages + references)) doi:10.1145/3563822.3568011
|
| |
Rømming, Fredrik |
FTSCS '22: "Rewriting Logic Semantics ..."
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, and Fredrik Rømming
(CNRS, France; LIPN, France; Université Sorbonne Paris Nord, France; Pohang University of Science and Technology, South Korea; University of Oslo, Norway)
@InProceedings{FTSCS22p14,
author = {Jaime Arias and Kyungmin Bae and Carlos Olarte and Peter Csaba Ölveczky and Laure Petrucci and Fredrik Rømming},
title = {Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {14-13},
doi = {10.1145/3563822.3569923},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p7-p (type: Full Paper) doi:10.1145/3563822.3569923
|
| |
Sharma, Pranjal
|
FTSCS '22: "Synchronous Programming and ..."
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Jiawei Chen, José Luiz Vargas de Mendonça, Shayan Jalili, Bereket Ayele, Bereket Ngussie Bekele, Zhemin Qu, Pranjal Sharma, Tigist Shiferaw, Yicheng Zhang, and Jean-Baptiste Jeannin
(University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia)
@InProceedings{FTSCS22p92,
author = {Jiawei Chen and José Luiz Vargas de Mendonça and Shayan Jalili and Bereket Ayele and Bereket Ngussie Bekele and Zhemin Qu and Pranjal Sharma and Tigist Shiferaw and Yicheng Zhang and Jean-Baptiste Jeannin},
title = {Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {92-91},
doi = {10.1145/3563822.3568015},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p12-p (type: Full Paper) doi:10.1145/3563822.3568015
|
| |
Shiferaw, Tigist |
FTSCS '22: "Synchronous Programming and ..."
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Jiawei Chen, José Luiz Vargas de Mendonça, Shayan Jalili, Bereket Ayele, Bereket Ngussie Bekele, Zhemin Qu, Pranjal Sharma, Tigist Shiferaw, Yicheng Zhang, and Jean-Baptiste Jeannin
(University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia)
@InProceedings{FTSCS22p92,
author = {Jiawei Chen and José Luiz Vargas de Mendonça and Shayan Jalili and Bereket Ayele and Bereket Ngussie Bekele and Zhemin Qu and Pranjal Sharma and Tigist Shiferaw and Yicheng Zhang and Jean-Baptiste Jeannin},
title = {Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {92-91},
doi = {10.1145/3563822.3568015},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p12-p (type: Full Paper) doi:10.1145/3563822.3568015
|
| |
Tahar, Sofiène
|
FTSCS '22: "Formal Probabilistic Risk ..."
Formal Probabilistic Risk Assessment of a Nuclear Power Plant
Mohamed Abdelghany and Sofiène Tahar
(Concordia University, Canada)
@InProceedings{FTSCS22p105,
author = {Mohamed Abdelghany and Sofiène Tahar},
title = {Formal Probabilistic Risk Assessment of a Nuclear Power Plant},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {105-104},
doi = {10.1145/3563822.3568018},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p16-p (type: Full Paper) doi:10.1145/3563822.3568018
|
| |
Vargas de Mendonça, José Luiz
|
FTSCS '22: "Synchronous Programming and ..."
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Jiawei Chen, José Luiz Vargas de Mendonça, Shayan Jalili, Bereket Ayele, Bereket Ngussie Bekele, Zhemin Qu, Pranjal Sharma, Tigist Shiferaw, Yicheng Zhang, and Jean-Baptiste Jeannin
(University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia)
@InProceedings{FTSCS22p92,
author = {Jiawei Chen and José Luiz Vargas de Mendonça and Shayan Jalili and Bereket Ayele and Bereket Ngussie Bekele and Zhemin Qu and Pranjal Sharma and Tigist Shiferaw and Yicheng Zhang and Jean-Baptiste Jeannin},
title = {Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {92-91},
doi = {10.1145/3563822.3568015},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p12-p (type: Full Paper) doi:10.1145/3563822.3568015
|
| |
Zhang, Yicheng
|
FTSCS '22: "Synchronous Programming and ..."
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation
Jiawei Chen, José Luiz Vargas de Mendonça, Shayan Jalili, Bereket Ayele, Bereket Ngussie Bekele, Zhemin Qu, Pranjal Sharma, Tigist Shiferaw, Yicheng Zhang, and Jean-Baptiste Jeannin
(University of Michigan at Ann Arbor, USA; Addis Ababa Institute of Technology, Ethiopia)
@InProceedings{FTSCS22p92,
author = {Jiawei Chen and José Luiz Vargas de Mendonça and Shayan Jalili and Bereket Ayele and Bereket Ngussie Bekele and Zhemin Qu and Pranjal Sharma and Tigist Shiferaw and Yicheng Zhang and Jean-Baptiste Jeannin},
title = {Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {92-91},
doi = {10.1145/3563822.3568015},
year = {2022},
}
Publisher's Version
Article: splashws22ftscsmain-p12-p (type: Full Paper) doi:10.1145/3563822.3568015
|