Lars Elmegaard

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 3

Top Topics

Automated Verification

Partial Order Reduction

Infinite Horizon

Top Venues

Publications

Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
Parallel Statistical Model Checking for Safety Verification in Smart Grids. CoRR (2021)
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
Parallel Statistical Model Checking for Safety Verification in Smart Grids. SmartGridComm (2018)
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry Patrick Hayes, Milan Prodanovic, Lars Elmegaard
User Flexibility Aware Price Policy Synthesis for Smart Grids. DSD (2015)
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
Demand-aware price policy synthesis and verification services for Smart Grids. SmartGridComm (2014)