Sfoglia per Autore
Automatic control software synthesis for quantized discrete time hybrid systems
2012 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Collaboration on iss experiment data and knowledge representation
2012 E. A., Kuijpers; L., Carotenuto; J. C., Malapert; D., Markov Vetter; Melatti, Igor; A., Orlandini; R., Pinchuk
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems
2013 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
System level formal verification via model checking driven simulation
2013 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Fabio, Merli; Tronci, Enrico
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET
2013 Mari, Federico; Melatti, Igor; Tronci, Enrico; Alberto, Finzi
On-the-Fly Control Software Synthesis
2013 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems
2013 Giuseppe Della, Penna; Benedetto, Intrigila; Daniele, Magazzeni; Melatti, Igor; Tronci, Enrico
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
2013 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
System level formal verification via distributed multi-core hardware in the loop simulation
2014 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
Model Based Synthesis of Control Software from System Level Formal Specifications
2014 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
SyLVaaS
2014 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation
2014 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids
2014 Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; J., Gruber; B., Hayes; M., Prodanovic; L., Elmegaard
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records
2014 Tronci, Enrico; Mancini, Toni; Salvo, Ivano; Sinisi, Stefano; Mari, Federico; Melatti, Igor; Massini, Annalisa; Davi', Francesco; T., Dierkes; R., Ehrig; S., Roeblitz; B., Leeners; T. H. C., Krüger; M., Egli; F., Ille
Computing biological model parameters by parallel statistical model checking
2015 Mancini, Toni; Tronci, Enrico; Salvo, Ivano; Mari, Federico; Massini, Annalisa; Melatti, Igor
A glimpse of SmartHG project test-bed and communication infrastructure
2015 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Tronci, Enrico; Ebeid, E.; Mikkelsen, S. A.; Jacobsen, Rune Hylsberg; Gruber, Jorn K.; Hayes, Barry; Huerta, Francisco; Prodanovic, Milan
SyLVaaS: system level formal verification as a service
2015 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
Simulator semantics for system level formal verification
2015 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
User flexibility aware price policy synthesis for smart grids
2015 Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Gruber, Jorn Klaas; Hayes, Barry; Prodanovic, Milan; Elmegaard, Lars
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine
2016 Ehrig, R; Dierkes, T; Schäfer, S; Röblitz, S; Tronci, E; Mancini, T; Salvo, I; Alimguzhin, V; Mari, F; Melatti, I; Massini, A; Krüger, T H C; Egli, M; Ille, F; Leeners, B
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Automatic control software synthesis for quantized discrete time hybrid systems | 2012 | Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
Collaboration on iss experiment data and knowledge representation | 2012 | E. A., Kuijpers; L., Carotenuto; J. C., Malapert; D., Markov Vetter; Melatti, Igor; A., Orlandini; R., Pinchuk | |
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems | 2013 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
System level formal verification via model checking driven simulation | 2013 | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Fabio, Merli; Tronci, Enrico | |
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET | 2013 | Mari, Federico; Melatti, Igor; Tronci, Enrico; Alberto, Finzi | |
On-the-Fly Control Software Synthesis | 2013 | Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems | 2013 | Giuseppe Della, Penna; Benedetto, Intrigila; Daniele, Magazzeni; Melatti, Igor; Tronci, Enrico | |
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software | 2013 | Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
System level formal verification via distributed multi-core hardware in the loop simulation | 2014 | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico | |
Model Based Synthesis of Control Software from System Level Formal Specifications | 2014 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
SyLVaaS | 2014 | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico | |
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation | 2014 | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico | |
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids | 2014 | Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; J., Gruber; B., Hayes; M., Prodanovic; L., Elmegaard | |
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records | 2014 | Tronci, Enrico; Mancini, Toni; Salvo, Ivano; Sinisi, Stefano; Mari, Federico; Melatti, Igor; Massini, Annalisa; Davi', Francesco; T., Dierkes; R., Ehrig; S., Roeblitz; B., Leeners; T. H. C., Krüger; M., Egli; F., Ille | |
Computing biological model parameters by parallel statistical model checking | 2015 | Mancini, Toni; Tronci, Enrico; Salvo, Ivano; Mari, Federico; Massini, Annalisa; Melatti, Igor | |
A glimpse of SmartHG project test-bed and communication infrastructure | 2015 | Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Tronci, Enrico; Ebeid, E.; Mikkelsen, S. A.; Jacobsen, Rune Hylsberg; Gruber, Jorn K.; Hayes, Barry; Huerta, Francisco; Prodanovic, Milan | |
SyLVaaS: system level formal verification as a service | 2015 | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico | |
Simulator semantics for system level formal verification | 2015 | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico | |
User flexibility aware price policy synthesis for smart grids | 2015 | Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Gruber, Jorn Klaas; Hayes, Barry; Prodanovic, Milan; Elmegaard, Lars | |
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine | 2016 | Ehrig, R; Dierkes, T; Schäfer, S; Röblitz, S; Tronci, E; Mancini, T; Salvo, I; Alimguzhin, V; Mari, F; Melatti, I; Massini, A; Krüger, T H C; Egli, M; Ille, F; Leeners, B |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile