Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/emsoft/emsoft2013.bht:"
download as .bib file
@inproceedings{DBLP:conf/emsoft/Al-NayeemKKWS13,
author = {Abdullah Al{-}Nayeem and
Cheolgi Kim and
Woochul Kang and
Po{-}Liang Wu and
Lui Sha},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Middleware design for Physically-Asynchronous Logically-Synchronous
{(PALS)} systems},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {5:1--5:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658583},
doi = {10.1109/EMSOFT.2013.6658583},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/Al-NayeemKKWS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/AminifarEPC13,
author = {Amir Aminifar and
Petru Eles and
Zebo Peng and
Anton Cervin},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Stability-aware analysis and design of embedded control systems},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {23:1--23:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658601},
doi = {10.1109/EMSOFT.2013.6658601},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/AminifarEPC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ArafaKF13,
author = {Pansy Arafa and
Hany Kashif and
Sebastian Fischmeister},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {{DIME:} Time-aware dynamic binary instrumentation using rate-based
resource allocation},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {25:1--25:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658603},
doi = {10.1109/EMSOFT.2013.6658603},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/ArafaKF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BaldovinMV13,
author = {Andrea Baldovin and
Enrico Mezzetti and
Tullio Vardanega},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Limited preemptive scheduling of non-independent task sets},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {18:1--18:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658596},
doi = {10.1109/EMSOFT.2013.6658596},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/BaldovinMV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BaudartJMP13,
author = {Guillaume Baudart and
Florent Jacquemard and
Louis Mandel and
Marc Pouzet},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {A synchronous embedding of Antescofo, a domain-specific language for
interactive mixed music},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {1:1--1:12},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658579},
doi = {10.1109/EMSOFT.2013.6658579},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/BaudartJMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BebelisFGL13,
author = {Vagelis Bebelis and
Pascal Fradet and
Alain Girault and
Bruno Lavigueur},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {{BPDF:} {A} statically analyzable dataflow model with integer and
boolean parameters},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {3:1--3:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658581},
doi = {10.1109/EMSOFT.2013.6658581},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/BebelisFGL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BromanBGLMTW13,
author = {David Broman and
Christopher X. Brooks and
Lev Greenberg and
Edward A. Lee and
Michael Masin and
Stavros Tripakis and
Michael Wetter},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Determinate composition of FMUs for co-simulation},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {2:1--2:12},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658580},
doi = {10.1109/EMSOFT.2013.6658580},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/BromanBGLMTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BuiL13,
author = {Dai N. Bui and
Edward A. Lee},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {StreaMorph: {A} case for synthesizing energy-efficient adaptive programs
using high-level abstractions},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {20:1--20:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658598},
doi = {10.1109/EMSOFT.2013.6658598},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/BuiL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ChuJ13,
author = {Duc{-}Hiep Chu and
Joxan Jaffar},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Path-sensitive resource analysis compliant with assertions},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {15:1--15:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658593},
doi = {10.1109/EMSOFT.2013.6658593},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/ChuJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/DarulovaKMS13,
author = {Eva Darulova and
Viktor Kuncak and
Rupak Majumdar and
Indranil Saha},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Synthesis of fixed-point programs},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {22:1--22:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658600},
doi = {10.1109/EMSOFT.2013.6658600},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/DarulovaKMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/DuggiralaMV13,
author = {Parasara Sridhar Duggirala and
Sayan Mitra and
Mahesh Viswanathan},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Verification of annotated models from executions},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {26:1--26:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658604},
doi = {10.1109/EMSOFT.2013.6658604},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/DuggiralaMV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/DuggiralaT13,
author = {Parasara Sridhar Duggirala and
Ashish Tiwari},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Safety verification for linear systems},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {7:1--7:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658585},
doi = {10.1109/EMSOFT.2013.6658585},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/DuggiralaT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ErnstS13,
author = {Rolf Ernst and
Oleg Sokolsky},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Message from the program co-chairs},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658575},
doi = {10.1109/EMSOFT.2013.6658575},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/ErnstS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/GiannopoulouSHT13,
author = {Georgia Giannopoulou and
Nikolay Stoimenov and
Pengcheng Huang and
Lothar Thiele},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Scheduling of mixed-criticality applications on resource-sharing multicore
systems},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {17:1--17:15},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658595},
doi = {10.1109/EMSOFT.2013.6658595},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/GiannopoulouSHT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/HarelKKMMW13,
author = {David Harel and
Amir Kantor and
Guy Katz and
Assaf Marron and
Lior Mizrahi and
Gera Weiss},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {On composing and proving the correctness of reactive behavior},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {13:1--13:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658591},
doi = {10.1109/EMSOFT.2013.6658591},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/HarelKKMMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/HerberRB13,
author = {Paula Herber and
Robert Reicherdt and
Patrick Bittner},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Bit-precise formal verification of discrete-time MATLAB/Simulink Models
using {SMT} Solving},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {8:1--8:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658586},
doi = {10.1109/EMSOFT.2013.6658586},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/HerberRB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/HoffmannMSLA13,
author = {Henry Hoffmann and
Martina Maggio and
Marco D. Santambrogio and
Alberto Leva and
Anant Agarwal},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {A generalized software framework for accurate and efficient management
of performance goals},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {19:1--19:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658597},
doi = {10.1109/EMSOFT.2013.6658597},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/HoffmannMSLA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/JacksonSS13,
author = {Ethan K. Jackson and
Gabor Simko and
Janos Sztipanovits},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Diversely enumerating system-level architectures},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {11:1--11:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658589},
doi = {10.1109/EMSOFT.2013.6658589},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/JacksonSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/KimC13,
author = {Kwanghwan Kim and
Hojung Cha},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {WakeScope: Runtime WakeLock anomaly management scheme for Android
platform},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {27:1--27:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658605},
doi = {10.1109/EMSOFT.2013.6658605},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/KimC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/KleinsorgeFM13,
author = {Jan C. Kleinsorge and
Heiko Falk and
Peter Marwedel},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Simple analysis of partial worst-case execution paths on general control
flow graphs},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {16:1--16:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658594},
doi = {10.1109/EMSOFT.2013.6658594},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/KleinsorgeFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/MatsikoudisSL13,
author = {Eleftherios Matsikoudis and
Christos Stergiou and
Edward A. Lee},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {On the schedulability of real-time discrete-event systems},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {12:1--12:15},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658590},
doi = {10.1109/EMSOFT.2013.6658590},
timestamp = {Mon, 29 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/MatsikoudisSL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/MazumderH13,
author = {Biswajit Mazumder and
Jason O. Hallstrom},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {An efficient code update solution for wireless sensor network reprogramming},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {4:1--4:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658582},
doi = {10.1109/EMSOFT.2013.6658582},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/MazumderH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/MoverCTT13,
author = {Sergio Mover and
Alessandro Cimatti and
Ashish Tiwari and
Stefano Tonetta},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Time-aware relational abstractions for hybrid systems},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {14:1--14:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658592},
doi = {10.1109/EMSOFT.2013.6658592},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/MoverCTT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/NishtalaMP13,
author = {Rajiv Nishtala and
Daniel Moss{\'{e}} and
Vinicius Petrucci},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Energy-aware thread co-location in heterogeneous multicore processors},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {21:1--21:9},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658599},
doi = {10.1109/EMSOFT.2013.6658599},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/NishtalaMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/PerssonTQWBTVD13,
author = {Magnus Persson and
Martin T{\"{o}}rngren and
Ahsan Qamar and
Jonas Westman and
Matthias Biehl and
Stavros Tripakis and
Hans Vangheluwe and
Joachim Denil},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {A characterization of integrated multi-view modeling in the context
of embedded and cyber-physical systems},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {10:1--10:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658588},
doi = {10.1109/EMSOFT.2013.6658588},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/PerssonTQWBTVD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/PrabhakarLM13,
author = {Pavithra Prabhakar and
Jun Liu and
Richard M. Murray},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Pre-orders for reasoning about stability properties with respect to
input of hybrid systems},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {24:1--24:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658602},
doi = {10.1109/EMSOFT.2013.6658602},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/PrabhakarLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/WooK13,
author = {Yeong{-}Jae Woo and
Jin{-}Soo Kim},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Diversifying wear index for {MLC} {NAND} flash memory to extend the
lifetime of SSDs},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {6:1--6:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658584},
doi = {10.1109/EMSOFT.2013.6658584},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/WooK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ZouZWFQ13,
author = {Liang Zou and
Naijun Zhan and
Shuling Wang and
Martin Fr{\"{a}}nzle and
Shengchao Qin},
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Verifying Simulink diagrams via a Hybrid Hoare Logic Prover},
booktitle = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
pages = {9:1--9:10},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EMSOFT.2013.6658587},
doi = {10.1109/EMSOFT.2013.6658587},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/ZouZWFQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2013,
editor = {Rolf Ernst and
Oleg Sokolsky},
title = {Proceedings of the International Conference on Embedded Software,
{EMSOFT} 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/xpl/conhome/6648479/proceeding},
isbn = {978-1-4799-1443-2},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-26 21:02 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
