Dario Romano
According to our database1,
Dario Romano
authored at least 6 papers
between 1997 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Bridging the gap between academia and industry: transforming the universal variability language to pure: : variants and back.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
2021
Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021
1998
Formal Methods Syst. Des., 1998
Formal Aspects Comput., 1998
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System.
Proceedings of the Computer Safety, 1998
1997
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997