|
Author |
Title |
Year |
Publication |
Publisher |
ISSN |
ISBN |
DOI |
Volume |
Pages |
Links |
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
From Boolean Relations to Control Software |
2011 |
Proceedings of ICSEA 2011, The Sixth International Conference on Software Engineering Advances |
ThinkMind |
978-1-61208-165-6 |
|
|
|
528-533 |
|
|
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 |
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa |
Synchronized Regular Expressions |
2002 |
Electr. Notes Theor. Comput. Sci. |
|
|
|
|
62 |
195-210 |
|
|
Della Penna, Giuseppe; Intrigila, Benedetto; Magazzeni, Daniele; Melatti, Igor; Tronci, Enrico |
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems |
2013 |
European Journal of Control |
Elsevier North-Holland, Inc. |
0947-3580 |
|
10.1016/j.ejcon.2013.02.001 |
19 |
14-36 |
|
|
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. |
Anytime system level verification via parallel random exhaustive hardware in the loop simulation |
2016 |
Microprocessors and Microsystems |
|
0141-9331 |
|
10.1016/j.micpro.2015.10.010 |
41 |
12-28 |
|
|
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems |
2013 |
International Journal on Advances in Software |
IARIA |
1942-2628 |
|
|
vol. 6, nr 1&2 |
155-169 |
|
|
Leeners, B.; Kruger, T.H.C.; Geraedts, K.; Tronci, E.; Mancini, T.; Ille, F.; Egli, M.; Röblitz, S.; Saleh, L.; Spanaus, K.; Schippert, C.; Zhang, Y.; Hengartner, M.P. |
Lack of Associations between Female Hormone Levels and Visuospatial Working Memory, Divided Attention and Cognitive Bias across Two Consecutive Menstrual Cycles |
2017 |
Frontiers in Behavioral Neuroscience |
|
1662-5153 |
|
10.3389/fnbeh.2017.00120 |
11 |
120 |
|
|
Mari, Federico; Melatti, Igor; Tronci, Enrico; Finzi, Alberto |
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET |
2013 |
Mobile Information Systems |
IOS Press |
1574-017x (Print) 1875-905X (Online) |
|
10.3233/MIS-130162 |
3 |
261-280 |
|
|
Hayes, B. P. ; Melatti, I.; Mancini, T.; Prodanovic, M.; Tronci, E. |
Residential Demand Management using Individualised Demand Aware Price Policies |
2017 |
IEEE Transactions On Smart Grid |
|
|
|
10.1109/TSG.2016.2596790 |
8 |
1284-1294 |
|
|
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico |
Simulator Semantics for System Level Formal Verification |
2015 |
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015), |
|
|
|
10.4204/EPTCS.193.7 |
|
|
|