Mani Swaminathan
According to our database1,
Mani Swaminathan
authored at least 11 papers
between 2006 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
1
1
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles.
Proceedings of the Applicable Formal Methods for Safe Industrial Products, 2023
2022
2019
Proceedings of the 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft, INFORMATIK 2019, 2019
2016
PhD thesis, 2016
2015
Formal Aspects Comput., 2015
2012
Formal Aspects Comput., 2012
2010
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2010
2009
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009
2008
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008
2007
Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007
2006
ACM SIGSOFT Softw. Eng. Notes, 2006