toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title (up) Year Publication Publisher ISSN ISBN DOI Volume Pages Links
Cavaliere, Federico; Mari, Federico; Melatti, Igor; Minei, Giovanni; Salvo, Ivano; Tronci, Enrico; Verzino, Giovanni; Yushtein, Yuri Model Checking Satellite Operational Procedures 2011 DAta Systems In Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT. San Anton, Malta, EuroSpace. details   pdf openurl
Gribaudo, Marco; Horváth, Andras; Bobbio, Andrea; Tronci, Enrico; Ciancamerla, Ester; Minichino, Michele Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant 2002 21st International Conference on Computer Safety, Reliability and Security (SAFECOMP) Springer 3-540-44157-3 10.1007/3-540-45732-1_27 273-283 details   pdf doi
Driouich, Y.; Parente, M.; Tronci, E. Modeling cyber-physical systems for automatic verification 2017 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD 2017) 10.1109/SMACD.2017.7981621 1-4 details   pdf doi
Pappagallo, A.; Massini, A.; Tronci, E. Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review 2020 Information 10.3390/info11120588 11 details   pdf doi
Hengartner, M. P.; Kruger, T. H. C.; Geraedts, K.; Tronci, E.; Mancini, T.; Ille, F.; Egli, M.; Röblitz, S.; Ehrig, R.; Saleh, L.; Spanaus, K.; Schippert, C.; Zhang, Y.; Leeners, B. Negative affect is unrelated to fluctuations in hormone levels across the menstrual cycle: Evidence from a multisite observational study across two successive cycles 2017 Journal of Psychosomatic Research 10.1016/j.jpsychores.2017.05.018 99 21-27 details   pdf doi
Tortora, L.; Meynen, G.; Bijlsma, J.; Tronci, E.; Ferracuti, S. Neuroprediction and A.I. in Forensic Psychiatry and Criminal Justice: A Neurolaw Perspective 2020 Frontiers in Psychology 1664-1078 10.3389/fpsyg.2020.00220 11 220 details   pdf doi
Mancini, T. Now or Never: negotiating efficiently with unknown counterparts 2015 In proceedings of the 22nd RCRA International Workshop. Ferrara, Italy. CEUR, 2015 (Co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015)). details   pdf url
Mancini, T. Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts 2016 Fundamenta Informaticae 10.3233/FI-2016-1443 149 61-100 details   pdf doi
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. On Checking Equivalence of Simulation Scripts 2021 Journal of Logical and Algebraic Methods in Programming 2352-2208 10.1016/j.jlamp.2021.100640 100640 details   pdf doi
Tronci, Enrico On Computing Optimal Controllers for Finite State Systems 1997 CDC '97: Proceedings of the 36th IEEE International Conference on Decision and Control IEEE Computer Society details   file url
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: