| |
Abreu, Rui
|
QP4SE '22: "Asserting the Correctness ..."
Asserting the Correctness of Shor Implementations using Metamorphic Testing
Nuno Costa, João Paulo Fernandes, and Rui Abreu
(University of Porto, Portugal)
@InProceedings{QP4SE22p43,
author = {Nuno Costa and João Paulo Fernandes and Rui Abreu},
title = {Asserting the Correctness of Shor Implementations using Metamorphic Testing},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3549036.3562062},
year = {2022},
}
 Publisher's Version
Article: fsews22qpsemain-id8112-p doi:10.1145/3549036.3562062
|
| |
Ahmad, Aakash |
QP4SE '22: "Embracing Iterations in Quantum ..."
Embracing Iterations in Quantum Software: A Vision
Arif Ali Khan, Mahdi Fahmideh, Aakash Ahmad, Muhammad Waseem, Mahmood Niazi, Valtteri Lahtinen, and Tommi Mikkonen
(University of Oulu, Finland; University of Southern Queensland, Australia; Lancaster University Leipzig, Germany; Wuhan University, China; King Fahd University of Petroleum and Minerals, Saudi Arabia; Quanscient, Finland; University of Jyväskylä, Finland)
@InProceedings{QP4SE22p13,
author = {Arif Ali Khan and Mahdi Fahmideh and Aakash Ahmad and Muhammad Waseem and Mahmood Niazi and Valtteri Lahtinen and Tommi Mikkonen},
title = {Embracing Iterations in Quantum Software: A Vision},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3549036.3562057},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id5721-p doi:10.1145/3549036.3562057
|
| |
Caivano, Danilo
|
QP4SE '22: "Quantum Optimization for Fast ..."
Quantum Optimization for Fast CAN Bus Intrusion Detection
Danilo Caivano, Mirko De Vincentiis, Federica Nitti, and Anibrata Pal
(University of Bari, Italy)
@InProceedings{QP4SE22p19,
author = {Danilo Caivano and Mirko De Vincentiis and Federica Nitti and Anibrata Pal},
title = {Quantum Optimization for Fast CAN Bus Intrusion Detection},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3549036.3562058},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id7928-p doi:10.1145/3549036.3562058
|
| |
Cassano, Fabio |
QP4SE '22: "QAI4ASE: Quantum Artificial ..."
QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering
Mirko De Vincentiis, Fabio Cassano, Alessandro Pagano, and Antonio Piccinno
(University of Bari, Italy)
@InProceedings{QP4SE22p25,
author = {Mirko De Vincentiis and Fabio Cassano and Alessandro Pagano and Antonio Piccinno},
title = {QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3549036.3562059},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id5345-p doi:10.1145/3549036.3562059
|
| |
Costa, Nuno |
QP4SE '22: "Asserting the Correctness ..."
Asserting the Correctness of Shor Implementations using Metamorphic Testing
Nuno Costa, João Paulo Fernandes, and Rui Abreu
(University of Porto, Portugal)
@InProceedings{QP4SE22p43,
author = {Nuno Costa and João Paulo Fernandes and Rui Abreu},
title = {Asserting the Correctness of Shor Implementations using Metamorphic Testing},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3549036.3562062},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id8112-p doi:10.1145/3549036.3562062
|
| |
De Lucia, Andrea
|
QP4SE '22: "Towards Quantum-Algorithms-as-a-Service ..."
Towards Quantum-Algorithms-as-a-Service
Manuel De Stefano, Dario Di Nucci, Fabio Palomba, Davide Taibi, and Andrea De Lucia
(University of Salerno, Italy; Tampere University of Technology, Finland)
@InProceedings{QP4SE22p7,
author = {Manuel De Stefano and Dario Di Nucci and Fabio Palomba and Davide Taibi and Andrea De Lucia},
title = {Towards Quantum-Algorithms-as-a-Service},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3549036.3562056},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id5704-p doi:10.1145/3549036.3562056
|
| |
De Stefano, Manuel |
QP4SE '22: "Towards Quantum-Algorithms-as-a-Service ..."
Towards Quantum-Algorithms-as-a-Service
Manuel De Stefano, Dario Di Nucci, Fabio Palomba, Davide Taibi, and Andrea De Lucia
(University of Salerno, Italy; Tampere University of Technology, Finland)
@InProceedings{QP4SE22p7,
author = {Manuel De Stefano and Dario Di Nucci and Fabio Palomba and Davide Taibi and Andrea De Lucia},
title = {Towards Quantum-Algorithms-as-a-Service},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3549036.3562056},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id5704-p doi:10.1145/3549036.3562056
|
| |
De Vincentiis, Mirko |
QP4SE '22: "Quantum Optimization for Fast ..."
Quantum Optimization for Fast CAN Bus Intrusion Detection
Danilo Caivano, Mirko De Vincentiis, Federica Nitti, and Anibrata Pal
(University of Bari, Italy)
@InProceedings{QP4SE22p19,
author = {Danilo Caivano and Mirko De Vincentiis and Federica Nitti and Anibrata Pal},
title = {Quantum Optimization for Fast CAN Bus Intrusion Detection},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3549036.3562058},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id7928-p doi:10.1145/3549036.3562058
QP4SE '22: "QAI4ASE: Quantum Artificial ..."
QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering
Mirko De Vincentiis, Fabio Cassano, Alessandro Pagano, and Antonio Piccinno
(University of Bari, Italy)
@InProceedings{QP4SE22p25,
author = {Mirko De Vincentiis and Fabio Cassano and Alessandro Pagano and Antonio Piccinno},
title = {QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3549036.3562059},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id5345-p doi:10.1145/3549036.3562059
|
| |
Di Nucci, Dario |
QP4SE '22: "Towards Quantum-Algorithms-as-a-Service ..."
Towards Quantum-Algorithms-as-a-Service
Manuel De Stefano, Dario Di Nucci, Fabio Palomba, Davide Taibi, and Andrea De Lucia
(University of Salerno, Italy; Tampere University of Technology, Finland)
@InProceedings{QP4SE22p7,
author = {Manuel De Stefano and Dario Di Nucci and Fabio Palomba and Davide Taibi and Andrea De Lucia},
title = {Towards Quantum-Algorithms-as-a-Service},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3549036.3562056},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id5704-p doi:10.1145/3549036.3562056
|
| |
Fahmideh, Mahdi
|
QP4SE '22: "Embracing Iterations in Quantum ..."
Embracing Iterations in Quantum Software: A Vision
Arif Ali Khan, Mahdi Fahmideh, Aakash Ahmad, Muhammad Waseem, Mahmood Niazi, Valtteri Lahtinen, and Tommi Mikkonen
(University of Oulu, Finland; University of Southern Queensland, Australia; Lancaster University Leipzig, Germany; Wuhan University, China; King Fahd University of Petroleum and Minerals, Saudi Arabia; Quanscient, Finland; University of Jyväskylä, Finland)
@InProceedings{QP4SE22p13,
author = {Arif Ali Khan and Mahdi Fahmideh and Aakash Ahmad and Muhammad Waseem and Mahmood Niazi and Valtteri Lahtinen and Tommi Mikkonen},
title = {Embracing Iterations in Quantum Software: A Vision},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3549036.3562057},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id5721-p doi:10.1145/3549036.3562057
|
| |
Faye, Jean Paul Latyr |
QP4SE '22: "Quantum Computing for Software ..."
Quantum Computing for Software Engineering: Prospects
Andriy Miranskyy, Mushahid Khan, Jean Paul Latyr Faye, and Udson C. Mendes
(Ryerson University, Canada; CMC Microsystems, Canada)
@InProceedings{QP4SE22p31,
author = {Andriy Miranskyy and Mushahid Khan and Jean Paul Latyr Faye and Udson C. Mendes},
title = {Quantum Computing for Software Engineering: Prospects},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3549036.3562060},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id1957-p doi:10.1145/3549036.3562060
|
| |
Fernandes, João Paulo |
QP4SE '22: "Asserting the Correctness ..."
Asserting the Correctness of Shor Implementations using Metamorphic Testing
Nuno Costa, João Paulo Fernandes, and Rui Abreu
(University of Porto, Portugal)
@InProceedings{QP4SE22p43,
author = {Nuno Costa and João Paulo Fernandes and Rui Abreu},
title = {Asserting the Correctness of Shor Implementations using Metamorphic Testing},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3549036.3562062},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id8112-p doi:10.1145/3549036.3562062
|
| |
García de la Barrera Amo, Antonio
|
QP4SE '22: "Automatic Generation of Test ..."
Automatic Generation of Test Circuits for the Verification of Quantum Deterministic Algorithms
Antonio García de la Barrera Amo, Manuel A. Serrano, Ignacio García Rodríguez de Guzmán, Macario Polo, and Mario Piattini
(University of Castilla-La Mancha, Spain)
@InProceedings{QP4SE22p1,
author = {Antonio García de la Barrera Amo and Manuel A. Serrano and Ignacio García Rodríguez de Guzmán and Macario Polo and Mario Piattini},
title = {Automatic Generation of Test Circuits for the Verification of Quantum Deterministic Algorithms},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3549036.3562055},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id438-p doi:10.1145/3549036.3562055
|
| |
García Rodríguez de Guzmán, Ignacio |
QP4SE '22: "Automatic Generation of Test ..."
Automatic Generation of Test Circuits for the Verification of Quantum Deterministic Algorithms
Antonio García de la Barrera Amo, Manuel A. Serrano, Ignacio García Rodríguez de Guzmán, Macario Polo, and Mario Piattini
(University of Castilla-La Mancha, Spain)
@InProceedings{QP4SE22p1,
author = {Antonio García de la Barrera Amo and Manuel A. Serrano and Ignacio García Rodríguez de Guzmán and Macario Polo and Mario Piattini},
title = {Automatic Generation of Test Circuits for the Verification of Quantum Deterministic Algorithms},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3549036.3562055},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id438-p doi:10.1145/3549036.3562055
|
| |
Khan, Arif Ali
|
QP4SE '22: "Embracing Iterations in Quantum ..."
Embracing Iterations in Quantum Software: A Vision
Arif Ali Khan, Mahdi Fahmideh, Aakash Ahmad, Muhammad Waseem, Mahmood Niazi, Valtteri Lahtinen, and Tommi Mikkonen
(University of Oulu, Finland; University of Southern Queensland, Australia; Lancaster University Leipzig, Germany; Wuhan University, China; King Fahd University of Petroleum and Minerals, Saudi Arabia; Quanscient, Finland; University of Jyväskylä, Finland)
@InProceedings{QP4SE22p13,
author = {Arif Ali Khan and Mahdi Fahmideh and Aakash Ahmad and Muhammad Waseem and Mahmood Niazi and Valtteri Lahtinen and Tommi Mikkonen},
title = {Embracing Iterations in Quantum Software: A Vision},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3549036.3562057},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id5721-p doi:10.1145/3549036.3562057
|
| |
Khan, Mushahid |
QP4SE '22: "Quantum Computing for Software ..."
Quantum Computing for Software Engineering: Prospects
Andriy Miranskyy, Mushahid Khan, Jean Paul Latyr Faye, and Udson C. Mendes
(Ryerson University, Canada; CMC Microsystems, Canada)
@InProceedings{QP4SE22p31,
author = {Andriy Miranskyy and Mushahid Khan and Jean Paul Latyr Faye and Udson C. Mendes},
title = {Quantum Computing for Software Engineering: Prospects},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3549036.3562060},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id1957-p doi:10.1145/3549036.3562060
|
| |
Lahtinen, Valtteri
|
QP4SE '22: "Embracing Iterations in Quantum ..."
Embracing Iterations in Quantum Software: A Vision
Arif Ali Khan, Mahdi Fahmideh, Aakash Ahmad, Muhammad Waseem, Mahmood Niazi, Valtteri Lahtinen, and Tommi Mikkonen
(University of Oulu, Finland; University of Southern Queensland, Australia; Lancaster University Leipzig, Germany; Wuhan University, China; King Fahd University of Petroleum and Minerals, Saudi Arabia; Quanscient, Finland; University of Jyväskylä, Finland)
@InProceedings{QP4SE22p13,
author = {Arif Ali Khan and Mahdi Fahmideh and Aakash Ahmad and Muhammad Waseem and Mahmood Niazi and Valtteri Lahtinen and Tommi Mikkonen},
title = {Embracing Iterations in Quantum Software: A Vision},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3549036.3562057},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id5721-p doi:10.1145/3549036.3562057
|
| |
Mendes, Udson C.
|
QP4SE '22: "Quantum Computing for Software ..."
Quantum Computing for Software Engineering: Prospects
Andriy Miranskyy, Mushahid Khan, Jean Paul Latyr Faye, and Udson C. Mendes
(Ryerson University, Canada; CMC Microsystems, Canada)
@InProceedings{QP4SE22p31,
author = {Andriy Miranskyy and Mushahid Khan and Jean Paul Latyr Faye and Udson C. Mendes},
title = {Quantum Computing for Software Engineering: Prospects},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3549036.3562060},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id1957-p doi:10.1145/3549036.3562060
|
| |
Mikkonen, Tommi |
QP4SE '22: "Embracing Iterations in Quantum ..."
Embracing Iterations in Quantum Software: A Vision
Arif Ali Khan, Mahdi Fahmideh, Aakash Ahmad, Muhammad Waseem, Mahmood Niazi, Valtteri Lahtinen, and Tommi Mikkonen
(University of Oulu, Finland; University of Southern Queensland, Australia; Lancaster University Leipzig, Germany; Wuhan University, China; King Fahd University of Petroleum and Minerals, Saudi Arabia; Quanscient, Finland; University of Jyväskylä, Finland)
@InProceedings{QP4SE22p13,
author = {Arif Ali Khan and Mahdi Fahmideh and Aakash Ahmad and Muhammad Waseem and Mahmood Niazi and Valtteri Lahtinen and Tommi Mikkonen},
title = {Embracing Iterations in Quantum Software: A Vision},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3549036.3562057},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id5721-p doi:10.1145/3549036.3562057
|
| |
Miranskyy, Andriy |
QP4SE '22: "Quantum Computing for Software ..."
Quantum Computing for Software Engineering: Prospects
Andriy Miranskyy, Mushahid Khan, Jean Paul Latyr Faye, and Udson C. Mendes
(Ryerson University, Canada; CMC Microsystems, Canada)
@InProceedings{QP4SE22p31,
author = {Andriy Miranskyy and Mushahid Khan and Jean Paul Latyr Faye and Udson C. Mendes},
title = {Quantum Computing for Software Engineering: Prospects},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3549036.3562060},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id1957-p doi:10.1145/3549036.3562060
QP4SE '22: "Using Quantum Computers to ..."
Using Quantum Computers to Speed Up Dynamic Testing of Software
Andriy Miranskyy
(Ryerson University, Canada)
@InProceedings{QP4SE22p37,
author = {Andriy Miranskyy},
title = {Using Quantum Computers to Speed Up Dynamic Testing of Software},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3549036.3562061},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id2888-p doi:10.1145/3549036.3562061
|
| |
Niazi, Mahmood
|
QP4SE '22: "Embracing Iterations in Quantum ..."
Embracing Iterations in Quantum Software: A Vision
Arif Ali Khan, Mahdi Fahmideh, Aakash Ahmad, Muhammad Waseem, Mahmood Niazi, Valtteri Lahtinen, and Tommi Mikkonen
(University of Oulu, Finland; University of Southern Queensland, Australia; Lancaster University Leipzig, Germany; Wuhan University, China; King Fahd University of Petroleum and Minerals, Saudi Arabia; Quanscient, Finland; University of Jyväskylä, Finland)
@InProceedings{QP4SE22p13,
author = {Arif Ali Khan and Mahdi Fahmideh and Aakash Ahmad and Muhammad Waseem and Mahmood Niazi and Valtteri Lahtinen and Tommi Mikkonen},
title = {Embracing Iterations in Quantum Software: A Vision},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3549036.3562057},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id5721-p doi:10.1145/3549036.3562057
|
| |
Nitti, Federica |
QP4SE '22: "Quantum Optimization for Fast ..."
Quantum Optimization for Fast CAN Bus Intrusion Detection
Danilo Caivano, Mirko De Vincentiis, Federica Nitti, and Anibrata Pal
(University of Bari, Italy)
@InProceedings{QP4SE22p19,
author = {Danilo Caivano and Mirko De Vincentiis and Federica Nitti and Anibrata Pal},
title = {Quantum Optimization for Fast CAN Bus Intrusion Detection},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3549036.3562058},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id7928-p doi:10.1145/3549036.3562058
|
| |
Pagano, Alessandro
|
QP4SE '22: "QAI4ASE: Quantum Artificial ..."
QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering
Mirko De Vincentiis, Fabio Cassano, Alessandro Pagano, and Antonio Piccinno
(University of Bari, Italy)
@InProceedings{QP4SE22p25,
author = {Mirko De Vincentiis and Fabio Cassano and Alessandro Pagano and Antonio Piccinno},
title = {QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3549036.3562059},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id5345-p doi:10.1145/3549036.3562059
|
| |
Pal, Anibrata |
QP4SE '22: "Quantum Optimization for Fast ..."
Quantum Optimization for Fast CAN Bus Intrusion Detection
Danilo Caivano, Mirko De Vincentiis, Federica Nitti, and Anibrata Pal
(University of Bari, Italy)
@InProceedings{QP4SE22p19,
author = {Danilo Caivano and Mirko De Vincentiis and Federica Nitti and Anibrata Pal},
title = {Quantum Optimization for Fast CAN Bus Intrusion Detection},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3549036.3562058},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id7928-p doi:10.1145/3549036.3562058
|
| |
Palomba, Fabio |
QP4SE '22: "Towards Quantum-Algorithms-as-a-Service ..."
Towards Quantum-Algorithms-as-a-Service
Manuel De Stefano, Dario Di Nucci, Fabio Palomba, Davide Taibi, and Andrea De Lucia
(University of Salerno, Italy; Tampere University of Technology, Finland)
@InProceedings{QP4SE22p7,
author = {Manuel De Stefano and Dario Di Nucci and Fabio Palomba and Davide Taibi and Andrea De Lucia},
title = {Towards Quantum-Algorithms-as-a-Service},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3549036.3562056},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id5704-p doi:10.1145/3549036.3562056
|
| |
Piattini, Mario |
QP4SE '22: "Automatic Generation of Test ..."
Automatic Generation of Test Circuits for the Verification of Quantum Deterministic Algorithms
Antonio García de la Barrera Amo, Manuel A. Serrano, Ignacio García Rodríguez de Guzmán, Macario Polo, and Mario Piattini
(University of Castilla-La Mancha, Spain)
@InProceedings{QP4SE22p1,
author = {Antonio García de la Barrera Amo and Manuel A. Serrano and Ignacio García Rodríguez de Guzmán and Macario Polo and Mario Piattini},
title = {Automatic Generation of Test Circuits for the Verification of Quantum Deterministic Algorithms},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3549036.3562055},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id438-p doi:10.1145/3549036.3562055
|
| |
Piccinno, Antonio |
QP4SE '22: "QAI4ASE: Quantum Artificial ..."
QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering
Mirko De Vincentiis, Fabio Cassano, Alessandro Pagano, and Antonio Piccinno
(University of Bari, Italy)
@InProceedings{QP4SE22p25,
author = {Mirko De Vincentiis and Fabio Cassano and Alessandro Pagano and Antonio Piccinno},
title = {QAI4ASE: Quantum Artificial Intelligence for Automotive Software Engineering},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3549036.3562059},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id5345-p doi:10.1145/3549036.3562059
|
| |
Polo, Macario |
QP4SE '22: "Automatic Generation of Test ..."
Automatic Generation of Test Circuits for the Verification of Quantum Deterministic Algorithms
Antonio García de la Barrera Amo, Manuel A. Serrano, Ignacio García Rodríguez de Guzmán, Macario Polo, and Mario Piattini
(University of Castilla-La Mancha, Spain)
@InProceedings{QP4SE22p1,
author = {Antonio García de la Barrera Amo and Manuel A. Serrano and Ignacio García Rodríguez de Guzmán and Macario Polo and Mario Piattini},
title = {Automatic Generation of Test Circuits for the Verification of Quantum Deterministic Algorithms},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3549036.3562055},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id438-p doi:10.1145/3549036.3562055
|
| |
Serrano, Manuel A.
|
QP4SE '22: "Automatic Generation of Test ..."
Automatic Generation of Test Circuits for the Verification of Quantum Deterministic Algorithms
Antonio García de la Barrera Amo, Manuel A. Serrano, Ignacio García Rodríguez de Guzmán, Macario Polo, and Mario Piattini
(University of Castilla-La Mancha, Spain)
@InProceedings{QP4SE22p1,
author = {Antonio García de la Barrera Amo and Manuel A. Serrano and Ignacio García Rodríguez de Guzmán and Macario Polo and Mario Piattini},
title = {Automatic Generation of Test Circuits for the Verification of Quantum Deterministic Algorithms},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3549036.3562055},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id438-p doi:10.1145/3549036.3562055
|
| |
Taibi, Davide
|
QP4SE '22: "Towards Quantum-Algorithms-as-a-Service ..."
Towards Quantum-Algorithms-as-a-Service
Manuel De Stefano, Dario Di Nucci, Fabio Palomba, Davide Taibi, and Andrea De Lucia
(University of Salerno, Italy; Tampere University of Technology, Finland)
@InProceedings{QP4SE22p7,
author = {Manuel De Stefano and Dario Di Nucci and Fabio Palomba and Davide Taibi and Andrea De Lucia},
title = {Towards Quantum-Algorithms-as-a-Service},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3549036.3562056},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id5704-p doi:10.1145/3549036.3562056
|
| |
Waseem, Muhammad
|
QP4SE '22: "Embracing Iterations in Quantum ..."
Embracing Iterations in Quantum Software: A Vision
Arif Ali Khan, Mahdi Fahmideh, Aakash Ahmad, Muhammad Waseem, Mahmood Niazi, Valtteri Lahtinen, and Tommi Mikkonen
(University of Oulu, Finland; University of Southern Queensland, Australia; Lancaster University Leipzig, Germany; Wuhan University, China; King Fahd University of Petroleum and Minerals, Saudi Arabia; Quanscient, Finland; University of Jyväskylä, Finland)
@InProceedings{QP4SE22p13,
author = {Arif Ali Khan and Mahdi Fahmideh and Aakash Ahmad and Muhammad Waseem and Mahmood Niazi and Valtteri Lahtinen and Tommi Mikkonen},
title = {Embracing Iterations in Quantum Software: A Vision},
booktitle = {Proc.\ QP4SE},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3549036.3562057},
year = {2022},
}
Publisher's Version
Article: fsews22qpsemain-id5721-p doi:10.1145/3549036.3562057
|