| |
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 (type: Full Paper (6 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (6 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (6 pages)) 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 (type: Full Paper (6 pages)) 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 (type: Full Paper (6 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (6 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (6 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Full Paper (6 pages)) 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 (type: Full Paper (6 pages)) 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 (type: Short Paper (4 pages)) 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 (type: Short Paper (4 pages)) doi:10.1145/3549036.3562057
|