Alexandru Mereacre : Publications

Click here to download all publications in a single bibtex file

@techreport{RR-16-01,
  title = "Building Power Consumption Models from Executable Timed I/O Automata Specifications",
  author = "Benoît Barbot and Marta Kwiatkowska and Alexandru Mereacre and Nicola Paoletti",
  year = "2016",
  address = "Oxford, UK",
  institution = "Department of Computer Science",
}

@techreport{RR-15-09,
  title = "Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques.",
  author = "Marta Kwiatkowska and Alexandru Mereacre and Nicola Paoletti and Andrea Patan\`e",
  year = "2015",
  address = "Oxford, UK",
  institution = "Department of Computer Science",
  month = "Sep",
  number = "CS-RR-15-09",
}

@techreport{TechBKMP15,
  title = "Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices",
  author = "Barbot, Beno\^it and Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola",
  year = "2015",
  address = "Oxford, UK",
  institution = "Department of Computer Science",
  month = "May",
  number = "CS-RR-15-05",
}

@techreport{RR-14-07,
  title = "Synthesising Optimal Timing Delays for Timed I/O Automata",
  author = "Marco Diciolla and Chang Hwan Peter Kim and Marta Kwiatkowska and Alexandru Mereacre",
  year = "2014",
  institution = "DCS",
  pages = "27",
}