Workshop FTSCS 2023 – Author Index

A B C E G H L M N O P S V

	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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

23 authors

proc time: 0.02