\n \n \n
\n\n\n
\n
\n\n \n \n \n \n \n Correct-by-construction code generation from hybrid automata specification.\n \n \n \n\n\n \n Bresolin, D.; Guglielmo, L. D.; Geretti, L.; and Villa, T.\n\n\n \n\n\n\n In
Proc. of the 7th International Wireless Communication and Mobile Computing Conference (IWCMC2011), pages 1660–1665, Istanbul, Turchia, July 2011. IEEE Comp. Society Press\n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{cyphy2011,\n\tAddress = {Istanbul, Turchia},\n\tAuthor = {D. Bresolin and L. Di Guglielmo and L. Geretti and T. Villa},\n\tBooktitle = {Proc. of the 7th International Wireless Communication and Mobile Computing Conference (IWCMC2011)},\n\tDate-Added = {2012-01-27 16:14:58 +0100},\n\tDate-Modified = {2014-08-27 13:27:29 +0200},\n\tFpage = {1660},\n\tGcited = {6},\n\tLpage = {1665},\n\tMonth = jul,\n\tNumpages = {3},\n\tPages = {1660--1665},\n\tPublisher = {IEEE Comp. Society Press},\n\tScited = {3},\n\tTitle = {Correct-by-construction code generation from hybrid automata specification},\n\tYear = {2011}}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n What's decidable about Halpern and Shoham's interval logic? The maximal fragment ABBL.\n \n \n \n\n\n \n Bresolin, D.; Montanari, A.; Sala, P.; and Sciavicco, G.\n\n\n \n\n\n\n In
Proc. of LICS 2011: 26th Symposium on Logic in Computer Science, pages 387–396, Toronto, Canada, June 2011. IEEE Comp. Society Press\n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{lics2011,\n\tAddress = {Toronto, Canada},\n\tAuthor = {D. Bresolin and A. Montanari and P. Sala and G. Sciavicco},\n\tBooktitle = {Proc. of LICS 2011: 26th Symposium on Logic in Computer Science},\n\tDate-Added = {2012-01-27 16:14:58 +0100},\n\tDate-Modified = {2014-08-27 13:03:11 +0200},\n\tFpage = {387},\n\tGcited = {17},\n\tLpage = {396},\n\tMonth = jun,\n\tNumpages = {5},\n\tPages = {387--396},\n\tPublisher = {IEEE Comp. Society Press},\n\tScited = {3},\n\tTitle = {What's decidable about {Halpern and Shoham's} interval logic? {The} maximal fragment {ABBL}},\n\tYear = {2011}}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders.\n \n \n \n\n\n \n Bresolin, D.; Montanari, A.; Sala, P.; and Sciavicco, G.\n\n\n \n\n\n\n In
Proc. of TABLEAUX 2011: The 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, volume 6793, of
LNAI, pages 73–87, Berna, Svizzera, July 2011. Springer\n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{tableaux2011,\n\tAddress = {Berna, Svizzera},\n\tAuthor = {D. Bresolin and A. Montanari and P. Sala and G. Sciavicco},\n\tBooktitle = {Proc. of TABLEAUX 2011: The 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods},\n\tDate-Added = {2012-01-27 16:12:55 +0100},\n\tDate-Modified = {2014-08-27 13:14:59 +0200},\n\tFpage = {73},\n\tGcited = {11},\n\tLpage = {87},\n\tMonth = jul,\n\tNumpages = {8},\n\tPages = {73--87},\n\tPublisher = {Springer},\n\tSeries = {LNAI},\n\tTitle = {Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders},\n\tVolume = {6793},\n\tYear = {2011}}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems.\n \n \n \n\n\n \n Bresolin, D.; and Capiluppi, M.\n\n\n \n\n\n\n In
Proc. of GandALF 2011: Second International Symposium on Games, Automata, Logics and Formal Verification, volume 54, of
EPTCS, pages 237–249, Minori (Salerno), June 2011. Open Publishing Association\n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{gandalf2011a,\n\tAddress = {Minori (Salerno)},\n\tAuthor = {D. Bresolin and M. Capiluppi},\n\tBooktitle = {Proc. of GandALF 2011: Second International Symposium on Games, Automata, Logics and Formal Verification},\n\tDate-Added = {2012-01-27 16:11:25 +0100},\n\tDate-Modified = {2014-08-27 13:38:38 +0200},\n\tFpage = {237},\n\tGcited = {2},\n\tLpage = {249},\n\tMonth = jun,\n\tNumpages = {7},\n\tPages = {237--249},\n\tPublisher = {Open Publishing Association},\n\tSeries = {EPTCS},\n\tTitle = {A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems},\n\tVolume = {54},\n\tYear = {2011}}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n The dark side of Interval Temporal Logic: sharpening the undecidability border.\n \n \n \n\n\n \n Bresolin, D.; Della Monica, D.; Goranko, V.; Montanari, A.; and Sciavicco, G.\n\n\n \n\n\n\n In Combi, C.; Leucker, M.; and Wolter, F., editor(s),
Proc. of TIME 2011: 18th International Symposium on Temporal Representation and Reasoning, pages 131–138, Lubecca, Germania, September 2011. IEEE Comp. Society Press\n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{time2011dark,\n\tAddress = {Lubecca, Germania},\n\tAuthor = {D. Bresolin and D. {Della Monica} and V. Goranko and A. Montanari and G. Sciavicco},\n\tBooktitle = {Proc. of TIME 2011: 18th International Symposium on Temporal Representation and Reasoning},\n\tDate-Added = {2011-10-31 12:33:01 +0100},\n\tDate-Modified = {2014-08-27 13:02:04 +0200},\n\tEditor = {Carlo Combi and Martin Leucker and Frank Wolter},\n\tFpage = {131},\n\tGcited = {21},\n\tLpage = {138},\n\tMonth = sep,\n\tNumpages = {4},\n\tPages = {131--138},\n\tPublisher = {IEEE Comp. Society Press},\n\tScited = {5},\n\tTitle = {The dark side of {Interval Temporal Logic}: sharpening the undecidability border},\n\tYear = {2011}}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n The light side of Interval Temporal Logic: the Bernays-Schönfinkel's fragment of CDT.\n \n \n \n\n\n \n Bresolin, D.; Della Monica, D.; Montanari, A.; and Sciavicco, G.\n\n\n \n\n\n\n In Combi, C.; Leucker, M.; and Wolter, F., editor(s),
Proc. of TIME 2011: 18th International Symposium on Temporal Representation and Reasoning, pages 123–130, Lubecca, Germania, September 2011. IEEE Comp. Society Press\n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{time2011light,\n\tAddress = {Lubecca, Germania},\n\tAuthor = {D. Bresolin and D. {Della Monica} and A. Montanari and G. Sciavicco},\n\tBooktitle = {Proc. of TIME 2011: 18th International Symposium on Temporal Representation and Reasoning},\n\tDate-Added = {2011-10-31 12:33:01 +0100},\n\tDate-Modified = {2014-08-27 13:38:18 +0200},\n\tEditor = {Carlo Combi and Martin Leucker and Frank Wolter},\n\tFpage = {123},\n\tGcited = {2},\n\tLpage = {130},\n\tMonth = sep,\n\tNumpages = {4},\n\tPages = {123--130},\n\tPublisher = {IEEE Comp. Society Press},\n\tScited = {1},\n\tTitle = {The light side of {Interval Temporal Logic}: the {Bernays-Sch\\"{o}nfinkel's} fragment of {CDT}},\n\tYear = {2011}}\n\n
\n
\n\n\n\n
\n\n\n
\n\n\n\n\n\n