Simone Schuler
According to our database1,
Simone Schuler
authored at least 13 papers
between 2009 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates.
Proceedings of the 2018 Annual American Control Conference, 2018
2016
A compositional framework for energy management of a smart grid: A scalable stochastic hybrid model for cooling of a district network.
Proceedings of the 12th IEEE International Conference on Control and Automation, 2016
formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification.
Proceedings of the ARCH@CPSWeek 2016, 2016
2015
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015
2013
IEEE Trans. Control. Syst. Technol., 2013
Proceedings of the 12th European Control Conference, 2013
2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
2011
Int. J. Control, 2011
2010
Proceedings of the American Control Conference, 2010
2009
Proceedings of the American Control Conference, 2009