| |
Aranda, Jesús
|
FTSCS '23: "Formal Verification of a Mechanical ..."
Formal Verification of a Mechanical Ventilator using UPPAAL
Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, José I. García, Andrés M. Valencia, and James Ortiz
(Universidad del Valle, Colombia; University of Namur, Belgium)
@InProceedings{FTSCS23p15,
author = {Jaime Cuartas and David Cortés and Joan S. Betancourt and Jesús Aranda and José I. García and Andrés M. Valencia and James Ortiz},
title = {Formal Verification of a Mechanical Ventilator using UPPAAL},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3623503.3623536},
year = {2023},
}
 Publisher's Version
Article: splashws23ftscsmain-p6-p doi:10.1145/3623503.3623536
|
| |
Artho, Cyrille |
FTSCS '23: "Does Rust SPARK Joy? Safe ..."
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
Aïssata Maiga, Cyrille Artho, Florian Gilcher, and Yannick Moy
(KTH Royal Institute of Technology, Sweden; Ferrous Systems, Germany; AdaCore, France)
@InProceedings{FTSCS23p57,
author = {Aïssata Maiga and Cyrille Artho and Florian Gilcher and Yannick Moy},
title = {Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {57-56},
doi = {10.1145/3623503.3623534},
year = {2023},
}
Publisher's Version
Article: splashws23ftscsmain-p2-p doi:10.1145/3623503.3623534
|
| |
Bae, Kyungmin
|
FTSCS '23: "Bounded STL Model Checking ..."
Bounded STL Model Checking for Hybrid Systems (Invited Talk)
Kyungmin Bae
(Pohang University of Science and Technology, Republic of Korea)
@InProceedings{FTSCS23p1,
author = {Kyungmin Bae},
title = {Bounded STL Model Checking for Hybrid Systems (Invited Talk)},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3623503.3628255},
year = {2023},
}
Publisher's Version
Article: splashws23ftscsmain-key1-p doi:10.1145/3623503.3628255
|
| |
Betancourt, Joan S. |
FTSCS '23: "Formal Verification of a Mechanical ..."
Formal Verification of a Mechanical Ventilator using UPPAAL
Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, José I. García, Andrés M. Valencia, and James Ortiz
(Universidad del Valle, Colombia; University of Namur, Belgium)
@InProceedings{FTSCS23p15,
author = {Jaime Cuartas and David Cortés and Joan S. Betancourt and Jesús Aranda and José I. García and Andrés M. Valencia and James Ortiz},
title = {Formal Verification of a Mechanical Ventilator using UPPAAL},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3623503.3623536},
year = {2023},
}
Publisher's Version
Article: splashws23ftscsmain-p6-p doi:10.1145/3623503.3623536
|
| |
Cortés, David
|
FTSCS '23: "Formal Verification of a Mechanical ..."
Formal Verification of a Mechanical Ventilator using UPPAAL
Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, José I. García, Andrés M. Valencia, and James Ortiz
(Universidad del Valle, Colombia; University of Namur, Belgium)
@InProceedings{FTSCS23p15,
author = {Jaime Cuartas and David Cortés and Joan S. Betancourt and Jesús Aranda and José I. García and Andrés M. Valencia and James Ortiz},
title = {Formal Verification of a Mechanical Ventilator using UPPAAL},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3623503.3623536},
year = {2023},
}
Publisher's Version
Article: splashws23ftscsmain-p6-p doi:10.1145/3623503.3623536
|
| |
Cuartas, Jaime |
FTSCS '23: "Formal Verification of a Mechanical ..."
Formal Verification of a Mechanical Ventilator using UPPAAL
Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, José I. García, Andrés M. Valencia, and James Ortiz
(Universidad del Valle, Colombia; University of Namur, Belgium)
@InProceedings{FTSCS23p15,
author = {Jaime Cuartas and David Cortés and Joan S. Betancourt and Jesús Aranda and José I. García and Andrés M. Valencia and James Ortiz},
title = {Formal Verification of a Mechanical Ventilator using UPPAAL},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3623503.3623536},
year = {2023},
}
Publisher's Version
Article: splashws23ftscsmain-p6-p doi:10.1145/3623503.3623536
|
| |
Escobar, Santiago
|
FTSCS '23: "Symbolic Analysis by Using ..."
Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints
Santiago Escobar, Raúl López-Rueda, and Julia Sapiña
(Universitat Politècnica de València, Spain)
@InProceedings{FTSCS23p29,
author = {Santiago Escobar and Raúl López-Rueda and Julia Sapiña},
title = {Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3623503.3623537},
year = {2023},
}
Publisher's Version
Article: splashws23ftscsmain-p7-p doi:10.1145/3623503.3623537
|
| |
García, José I.
|
FTSCS '23: "Formal Verification of a Mechanical ..."
Formal Verification of a Mechanical Ventilator using UPPAAL
Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, José I. García, Andrés M. Valencia, and James Ortiz
(Universidad del Valle, Colombia; University of Namur, Belgium)
@InProceedings{FTSCS23p15,
author = {Jaime Cuartas and David Cortés and Joan S. Betancourt and Jesús Aranda and José I. García and Andrés M. Valencia and James Ortiz},
title = {Formal Verification of a Mechanical Ventilator using UPPAAL},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3623503.3623536},
year = {2023},
}
Publisher's Version
Article: splashws23ftscsmain-p6-p doi:10.1145/3623503.3623536
|
| |
Gilcher, Florian |
FTSCS '23: "Does Rust SPARK Joy? Safe ..."
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
Aïssata Maiga, Cyrille Artho, Florian Gilcher, and Yannick Moy
(KTH Royal Institute of Technology, Sweden; Ferrous Systems, Germany; AdaCore, France)
@InProceedings{FTSCS23p57,
author = {Aïssata Maiga and Cyrille Artho and Florian Gilcher and Yannick Moy},
title = {Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {57-56},
doi = {10.1145/3623503.3623534},
year = {2023},
}
Publisher's Version
Article: splashws23ftscsmain-p2-p doi:10.1145/3623503.3623534
|
| |
Gleirscher, Mario |
FTSCS '23: "Probabilistic Risk Assessment ..."
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
Mario Gleirscher, Anne E. Haxthausen, and Jan Peleska
(University of Bremen, Germany; DTU, Denmark)
@InProceedings{FTSCS23p43,
author = {Mario Gleirscher and Anne E. Haxthausen and Jan Peleska},
title = {Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3623503.3623533},
year = {2023},
}
Publisher's Version
Article: splashws23ftscsmain-p1-p doi:10.1145/3623503.3623533
|
| |
Hahn, Ernst Moritz
|
FTSCS '23: "Solving Queries for Boolean ..."
Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, and Mariëlle Stoelinga
(University of Twente, Netherlands; Radboud University Nijmegen, Netherlands)
@InProceedings{FTSCS23p71,
author = {Caz Saaltink and Stefano M. Nicoletti and Matthias Volk and Ernst Moritz Hahn and Mariëlle Stoelinga},
title = {Solving Queries for Boolean Fault Tree Logic via Quantified SAT},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3623503.3623535},
year = {2023},
}
Publisher's Version
 Published Artifact
Artifacts Available
Article: splashws23ftscsmain-p5-p doi:10.1145/3623503.3623535
|
| |
Haxthausen, Anne E. |
FTSCS '23: "Probabilistic Risk Assessment ..."
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
Mario Gleirscher, Anne E. Haxthausen, and Jan Peleska
(University of Bremen, Germany; DTU, Denmark)
@InProceedings{FTSCS23p43,
author = {Mario Gleirscher and Anne E. Haxthausen and Jan Peleska},
title = {Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3623503.3623533},
year = {2023},
}
Publisher's Version
Article: splashws23ftscsmain-p1-p doi:10.1145/3623503.3623533
|
| |
López-Rueda, Raúl
|
FTSCS '23: "Symbolic Analysis by Using ..."
Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints
Santiago Escobar, Raúl López-Rueda, and Julia Sapiña
(Universitat Politècnica de València, Spain)
@InProceedings{FTSCS23p29,
author = {Santiago Escobar and Raúl López-Rueda and Julia Sapiña},
title = {Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3623503.3623537},
year = {2023},
}
Publisher's Version
Article: splashws23ftscsmain-p7-p doi:10.1145/3623503.3623537
|
| |
Maiga, Aïssata
|
FTSCS '23: "Does Rust SPARK Joy? Safe ..."
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
Aïssata Maiga, Cyrille Artho, Florian Gilcher, and Yannick Moy
(KTH Royal Institute of Technology, Sweden; Ferrous Systems, Germany; AdaCore, France)
@InProceedings{FTSCS23p57,
author = {Aïssata Maiga and Cyrille Artho and Florian Gilcher and Yannick Moy},
title = {Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {57-56},
doi = {10.1145/3623503.3623534},
year = {2023},
}
Publisher's Version
Article: splashws23ftscsmain-p2-p doi:10.1145/3623503.3623534
|
| |
Moy, Yannick |
FTSCS '23: "Does Rust SPARK Joy? Safe ..."
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
Aïssata Maiga, Cyrille Artho, Florian Gilcher, and Yannick Moy
(KTH Royal Institute of Technology, Sweden; Ferrous Systems, Germany; AdaCore, France)
@InProceedings{FTSCS23p57,
author = {Aïssata Maiga and Cyrille Artho and Florian Gilcher and Yannick Moy},
title = {Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {57-56},
doi = {10.1145/3623503.3623534},
year = {2023},
}
Publisher's Version
Article: splashws23ftscsmain-p2-p doi:10.1145/3623503.3623534
|
| |
Nicoletti, Stefano M.
|
FTSCS '23: "Solving Queries for Boolean ..."
Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, and Mariëlle Stoelinga
(University of Twente, Netherlands; Radboud University Nijmegen, Netherlands)
@InProceedings{FTSCS23p71,
author = {Caz Saaltink and Stefano M. Nicoletti and Matthias Volk and Ernst Moritz Hahn and Mariëlle Stoelinga},
title = {Solving Queries for Boolean Fault Tree Logic via Quantified SAT},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3623503.3623535},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: splashws23ftscsmain-p5-p doi:10.1145/3623503.3623535
|
| |
Ortiz, James
|
FTSCS '23: "Formal Verification of a Mechanical ..."
Formal Verification of a Mechanical Ventilator using UPPAAL
Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, José I. García, Andrés M. Valencia, and James Ortiz
(Universidad del Valle, Colombia; University of Namur, Belgium)
@InProceedings{FTSCS23p15,
author = {Jaime Cuartas and David Cortés and Joan S. Betancourt and Jesús Aranda and José I. García and Andrés M. Valencia and James Ortiz},
title = {Formal Verification of a Mechanical Ventilator using UPPAAL},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3623503.3623536},
year = {2023},
}
Publisher's Version
Article: splashws23ftscsmain-p6-p doi:10.1145/3623503.3623536
|
| |
Peleska, Jan
|
FTSCS '23: "Probabilistic Risk Assessment ..."
Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
Mario Gleirscher, Anne E. Haxthausen, and Jan Peleska
(University of Bremen, Germany; DTU, Denmark)
@InProceedings{FTSCS23p43,
author = {Mario Gleirscher and Anne E. Haxthausen and Jan Peleska},
title = {Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3623503.3623533},
year = {2023},
}
Publisher's Version
Article: splashws23ftscsmain-p1-p doi:10.1145/3623503.3623533
|
| |
Saaltink, Caz
|
FTSCS '23: "Solving Queries for Boolean ..."
Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, and Mariëlle Stoelinga
(University of Twente, Netherlands; Radboud University Nijmegen, Netherlands)
@InProceedings{FTSCS23p71,
author = {Caz Saaltink and Stefano M. Nicoletti and Matthias Volk and Ernst Moritz Hahn and Mariëlle Stoelinga},
title = {Solving Queries for Boolean Fault Tree Logic via Quantified SAT},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3623503.3623535},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: splashws23ftscsmain-p5-p doi:10.1145/3623503.3623535
|
| |
Sapiña, Julia |
FTSCS '23: "Symbolic Analysis by Using ..."
Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints
Santiago Escobar, Raúl López-Rueda, and Julia Sapiña
(Universitat Politècnica de València, Spain)
@InProceedings{FTSCS23p29,
author = {Santiago Escobar and Raúl López-Rueda and Julia Sapiña},
title = {Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3623503.3623537},
year = {2023},
}
Publisher's Version
Article: splashws23ftscsmain-p7-p doi:10.1145/3623503.3623537
|
| |
Stoelinga, Mariëlle |
FTSCS '23: "Solving Queries for Boolean ..."
Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, and Mariëlle Stoelinga
(University of Twente, Netherlands; Radboud University Nijmegen, Netherlands)
@InProceedings{FTSCS23p71,
author = {Caz Saaltink and Stefano M. Nicoletti and Matthias Volk and Ernst Moritz Hahn and Mariëlle Stoelinga},
title = {Solving Queries for Boolean Fault Tree Logic via Quantified SAT},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3623503.3623535},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: splashws23ftscsmain-p5-p doi:10.1145/3623503.3623535
|
| |
Valencia, Andrés M.
|
FTSCS '23: "Formal Verification of a Mechanical ..."
Formal Verification of a Mechanical Ventilator using UPPAAL
Jaime Cuartas, David Cortés, Joan S. Betancourt, Jesús Aranda, José I. García, Andrés M. Valencia, and James Ortiz
(Universidad del Valle, Colombia; University of Namur, Belgium)
@InProceedings{FTSCS23p15,
author = {Jaime Cuartas and David Cortés and Joan S. Betancourt and Jesús Aranda and José I. García and Andrés M. Valencia and James Ortiz},
title = {Formal Verification of a Mechanical Ventilator using UPPAAL},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3623503.3623536},
year = {2023},
}
Publisher's Version
Article: splashws23ftscsmain-p6-p doi:10.1145/3623503.3623536
|
| |
Volk, Matthias |
FTSCS '23: "Solving Queries for Boolean ..."
Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Caz Saaltink, Stefano M. Nicoletti, Matthias Volk, Ernst Moritz Hahn, and Mariëlle Stoelinga
(University of Twente, Netherlands; Radboud University Nijmegen, Netherlands)
@InProceedings{FTSCS23p71,
author = {Caz Saaltink and Stefano M. Nicoletti and Matthias Volk and Ernst Moritz Hahn and Mariëlle Stoelinga},
title = {Solving Queries for Boolean Fault Tree Logic via Quantified SAT},
booktitle = {Proc.\ FTSCS},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3623503.3623535},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: splashws23ftscsmain-p5-p doi:10.1145/3623503.3623535
|