Följ
Davide Bresolin
Titel
Citeras av
Citeras av
År
A platform-based design methodology with contracts and related tools for the design of cyber-physical systems
P Nuzzo, AL Sangiovanni-Vincentelli, D Bresolin, L Geretti, T Villa
Proceedings of the IEEE 103 (11), 2104-2132, 2015
1712015
Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions
D Bresolin, V Goranko, A Montanari, G Sciavicco
Annals of Pure and Applied Logic 161 (3), 289-304, 2009
1132009
Assume–guarantee verification of nonlinear hybrid systems with Ariadne
L Benvenuti, D Bresolin, P Collins, A Ferrari, L Geretti, T Villa
International Journal of Robust and Nonlinear Control 24 (4), 699-724, 2014
852014
Tableaux for logics of subinterval structures over dense orderings
D Bresolin, V Goranko, A Montanari, P Sala
Journal of Logic and Computation 20 (1), 133-166, 2010
782010
Decidable and undecidable fragments of Halpern and Shoham’s interval temporal logic: towards a complete classification
D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco
Logic for Programming, Artificial Intelligence, and Reasoning: 15th …, 2008
732008
An optimal decision procedure for right propositional neighborhood logic
D Bresolin, A Montanari, G Sciavicco
Journal of Automated Reasoning 38, 173-199, 2007
642007
Deterministic timed finite state machines: Equivalence checking and expressive power
D Bresolin, K El-Fakih, T Villa, N Yevtushenko
arXiv preprint arXiv:1408.5967, 2014
632014
Computing the evolution of hybrid systems using rigorous function calculus
P Collins, D Bresolin, L Geretti, T Villa
IFAC Proceedings Volumes 45 (9), 284-290, 2012
512012
Robotic surgery
R Muradore, D Bresolin, L Geretti, P Fiorini, T Villa
IEEE Robotics & Automation Magazine 18 (3), 24-32, 2011
512011
Reachability computation for hybrid systems with Ariadne
L Benvenuti, D Bresolin, A Casagrande, P Collins, A Ferrari, E Mazzi, ...
IFAC Proceedings Volumes 41 (2), 8960-8965, 2008
512008
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic
D Bresolin, A Montanari, P Sala
STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science …, 2007
512007
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity
D Bresolin, D Della Monica, A Montanari, P Sala, G Sciavicco
Theoretical Computer Science 560, 269-291, 2014
482014
The dark side of interval temporal logic: marking the undecidability border
D Bresolin, DD Monica, V Goranko, A Montanari, G Sciavicco
Annals of Mathematics and Artificial Intelligence 71, 41-83, 2014
452014
What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL
D Bresolin, A Montanari, P Sala, G Sciavicco
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 387-396, 2011
402011
Metric propositional neighborhood logics on natural numbers
D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco
Software and Systems Modeling, 1-20, 2011
372011
On decidability and expressiveness of propositional interval neighborhood logics
D Bresolin, V Goranko, A Montanari, G Sciavicco
Logical Foundations of Computer Science: International Symposium, LFCS 2007 …, 2007
362007
Horn fragments of the Halpern-Shoham interval temporal logic
D Bresolin, A Kurucz, E Muñoz-Velasco, V Ryzhikov, G Sciavicco, ...
ACM Transactions on Computational Logic (TOCL) 18 (3), 1-39, 2017
352017
The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
D Bresolin, D Della Monica, A Montanari, G Sciavicco
Annals of Mathematics and Artificial Intelligence 71, 11-39, 2014
332014
Metric propositional neighborhood logics: Expressiveness, decidability, and undecidability
D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco
ECAI 2010, 695-700, 2010
312010
The dark side of interval temporal logic: Sharpening the undecidability border
D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco
2011 Eighteenth International Symposium on Temporal Representation and …, 2011
282011
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20