Search dblp for Publications

export results for "toc:db/conf/memocode/memocode2015.bht:"

 download as .bib file

@inproceedings{DBLP:conf/memocode/Alur15,
  author       = {Rajeev Alur},
  title        = {Keynote talk {I:} Syntax-guided synthesis},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {1},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340460},
  doi          = {10.1109/MEMCOD.2015.7340460},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/Alur15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/ArcainiBGMR15,
  author       = {Paolo Arcaini and
                  Silvia Bonfanti and
                  Angelo Gargantini and
                  Atif Mashkoor and
                  Elvinia Riccobene},
  title        = {Formal validation and verification of a medical software critical
                  component},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {80--89},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340473},
  doi          = {10.1109/MEMCOD.2015.7340473},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/ArcainiBGMR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/AttieCBSS15,
  author       = {Paul C. Attie and
                  Ali Cherri and
                  Kinan Dak{-}Al{-}Bab and
                  Mouhammad Sakr and
                  Jad Saklawi},
  title        = {Model and program repair via {SAT} solving},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {148--157},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340481},
  doi          = {10.1109/MEMCOD.2015.7340481},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/AttieCBSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/BastosSVSJC15,
  author       = {Jo{\~{a}}o Bastos and
                  Sander Stuijk and
                  Jeroen Voeten and
                  Ramon R. H. Schiffelers and
                  Johan Jacobs and
                  Henk Corporaal},
  title        = {Modeling resource sharing using {FSM-SADF}},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {96--101},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340475},
  doi          = {10.1109/MEMCOD.2015.7340475},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/BastosSVSJC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/BeaumontMSY15,
  author       = {Jonathan Beaumont and
                  Andrey Mokhov and
                  Danil Sokolov and
                  Alex Yakovlev},
  title        = {Compositional design of asynchronous circuits from behavioural concepts},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {118--127},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340478},
  doi          = {10.1109/MEMCOD.2015.7340478},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/BeaumontMSY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/BrookPS15,
  author       = {Alon Brook and
                  Doron A. Peled and
                  Sven Schewe},
  title        = {Local and global fairness in concurrent systems},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {2--9},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340461},
  doi          = {10.1109/MEMCOD.2015.7340461},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/BrookPS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/CaoRKE15,
  author       = {Bingyi Cao and
                  Kenneth A. Ross and
                  Martha A. Kim and
                  Stephen A. Edwards},
  title        = {Implementing latency-insensitive dataflow blocks},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {179--187},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340485},
  doi          = {10.1109/MEMCOD.2015.7340485},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/CaoRKE15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/ChabotMP15,
  author       = {Martial Chabot and
                  K{\'{e}}vin Mazet and
                  Laurence Pierre},
  title        = {Automatic and configurable instrumentation of {C} programs with temporal
                  assertion checkers},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {208--217},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340488},
  doi          = {10.1109/MEMCOD.2015.7340488},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/ChabotMP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/Chiou15,
  author       = {Derek Chiou},
  title        = {Keynote talk {II:} Accelerating data centers using reconfigurable
                  logic},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {60},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340470},
  doi          = {10.1109/MEMCOD.2015.7340470},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/Chiou15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/Clements15,
  author       = {Paul Clements},
  title        = {Keynote Talk {III:} {A} formal methods perspective on product line
                  engineering},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {168},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340483},
  doi          = {10.1109/MEMCOD.2015.7340483},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/Clements15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/DokhanchiHF15,
  author       = {Adel Dokhanchi and
                  Bardh Hoxha and
                  Georgios Fainekos},
  title        = {Metric interval temporal logic specification elicitation and debugging},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {70--79},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340472},
  doi          = {10.1109/MEMCOD.2015.7340472},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/DokhanchiHF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/DurandS15,
  author       = {William Durand and
                  S{\'{e}}bastien Salva},
  title        = {Passive testing of production systems based on model inference},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {138--147},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340480},
  doi          = {10.1109/MEMCOD.2015.7340480},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/DurandS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/Fujita15,
  author       = {Masahiro Fujita},
  title        = {Logic analysis and optimization with quick identification of invariants
                  through one time frame analysis},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {102--107},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340476},
  doi          = {10.1109/MEMCOD.2015.7340476},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/Fujita15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/GantyGLP15,
  author       = {Pierre Ganty and
                  Samir Genaim and
                  Ratan Lal and
                  Pavithra Prabhakar},
  title        = {From non-zenoness verification to termination},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {228--237},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340490},
  doi          = {10.1109/MEMCOD.2015.7340490},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/GantyGLP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/Greaves15,
  author       = {David J. Greaves},
  title        = {Layering RTL, SAFL, Handel-C and Bluespec constructs on Chisel {HCL}},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {108--117},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340477},
  doi          = {10.1109/MEMCOD.2015.7340477},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/Greaves15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/JaksicBGKNN15,
  author       = {Stefan Jaksic and
                  Ezio Bartocci and
                  Radu Grosu and
                  Reinhard Kloibhofer and
                  Thang Nguyen and
                  Dejan Nickovic},
  title        = {From signal temporal logic to {FPGA} monitors},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {218--227},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340489},
  doi          = {10.1109/MEMCOD.2015.7340489},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/JaksicBGKNN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/KoizumiIH15,
  author       = {Kenichi Koizumi and
                  Mary Inaba and
                  Kei Hiraki},
  title        = {Efficient implementation of continuous skyline computation on a multi-core
                  processor},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {52--55},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340468},
  doi          = {10.1109/MEMCOD.2015.7340468},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/KoizumiIH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/KugelePPDE15,
  author       = {Stefan Kugele and
                  Gheorghe Pucea and
                  Ramona Popa and
                  Laurent Dieudonn{\'{e}} and
                  Horst Eckardt},
  title        = {On the deployment problem of embedded systems},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {158--167},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340482},
  doi          = {10.1109/MEMCOD.2015.7340482},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/KugelePPDE15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/LanikLPVRMR15,
  author       = {Jan L{\'{a}}n{\'{\i}}k and
                  Julien Legriel and
                  Erwan Piriou and
                  Emmanuel Viaud and
                  Fahim Rahim and
                  Oded Maler and
                  Solaiman Rahim},
  title        = {Reducing power with activity trigger analysis},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {169--178},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340484},
  doi          = {10.1109/MEMCOD.2015.7340484},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/LanikLPVRMR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/LeungBL15,
  author       = {Alan Leung and
                  Dimitar Bounov and
                  Sorin Lerner},
  title        = {C-to-Verilog translation validation},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {42--47},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340466},
  doi          = {10.1109/MEMCOD.2015.7340466},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/LeungBL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/Li015,
  author       = {Xian Li and
                  Klaus Schneider},
  title        = {Verification condition generation for hybrid systems},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {238--247},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340491},
  doi          = {10.1109/MEMCOD.2015.7340491},
  timestamp    = {Thu, 04 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/Li015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/LiGS15,
  author       = {Wenchao Li and
                  L{\'{e}}onard G{\'{e}}rard and
                  Natarajan Shankar},
  title        = {Design and verification of multi-rate distributed systems},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {20--29},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340463},
  doi          = {10.1109/MEMCOD.2015.7340463},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/LiGS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/Milder15,
  author       = {Peter A. Milder},
  title        = {{MEMOCODE} 2015 design contest: Continuous skyline computation},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {48--51},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340467},
  doi          = {10.1109/MEMCOD.2015.7340467},
  timestamp    = {Wed, 15 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/Milder15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/MontahaieGRGBZJ15,
  author       = {Ehsan Montahaie and
                  Milad Ghafouri and
                  Saied Rahmani and
                  Hanie Ghasemi and
                  Farzad Sharif Bakhtiar and
                  Rashid Zamanshoar and
                  Kianoush Jafari and
                  Mohsen Gavahi and
                  Reza Mirzaei and
                  Armin Ahmadzadeh and
                  Saeid Gorgin},
  title        = {Efficient continuous skyline computation on multi-core processors
                  based on Manhattan distance},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {56--59},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340469},
  doi          = {10.1109/MEMCOD.2015.7340469},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/MontahaieGRGBZJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/NaylorM15,
  author       = {Matthew Naylor and
                  Simon W. Moore},
  title        = {A generic synthesisable test bench},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {128--137},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340479},
  doi          = {10.1109/MEMCOD.2015.7340479},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/NaylorM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/RakibH15,
  author       = {Abdur Rakib and
                  Hafiz Mahfooz Ul Haque},
  title        = {Modeling and verifying context-aware non-monotonic reasoning agents},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {61--69},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340471},
  doi          = {10.1109/MEMCOD.2015.7340471},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/RakibH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/RathlevSMHM15,
  author       = {Karsten Rathlev and
                  Steven Smyth and
                  Christian Motika and
                  Reinhard von Hanxleden and
                  Michael Mendler},
  title        = {SCEst: Sequentially constructive esterel},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {10--19},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340462},
  doi          = {10.1109/MEMCOD.2015.7340462},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/RathlevSMHM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/RickettsMAGL15,
  author       = {Daniel Ricketts and
                  Gregory Malecha and
                  Mario M. Alvarez and
                  Vignesh Gowda and
                  Sorin Lerner},
  title        = {Towards verification of hybrid systems in a foundational proof assistant},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {248--257},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340492},
  doi          = {10.1109/MEMCOD.2015.7340492},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/RickettsMAGL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/TalpinJS15,
  author       = {Jean{-}Pierre Talpin and
                  Pierre Jouvelot and
                  Sandeep Kumar Shukla},
  title        = {Towards refinement types for time-dependent data-flow networks},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {36--41},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340465},
  doi          = {10.1109/MEMCOD.2015.7340465},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/TalpinJS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/TanaseWTH15,
  author       = {Alexandru Tanase and
                  Michael Witterauf and
                  J{\"{u}}rgen Teich and
                  Frank Hannig},
  title        = {Symbolic loop parallelization for balancing {I/O} and memory accesses
                  on processor arrays},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {188--197},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340486},
  doi          = {10.1109/MEMCOD.2015.7340486},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/TanaseWTH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/TrikiCB15,
  author       = {Ahlem Triki and
                  Jacques Combaz and
                  Saddek Bensalem},
  title        = {Optimized distributed implementation of timed component-based systems},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {30--35},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340464},
  doi          = {10.1109/MEMCOD.2015.7340464},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/TrikiCB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/WhalenRGMSHL15,
  author       = {Michael W. Whalen and
                  Sanjai Rayadurgam and
                  Elaheh Ghassabani and
                  Anitha Murugesan and
                  Oleg Sokolsky and
                  Mats Per Erik Heimdahl and
                  Insup Lee},
  title        = {Hierarchical multi-formalism proofs of cyber-physical systems},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {90--95},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340474},
  doi          = {10.1109/MEMCOD.2015.7340474},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/WhalenRGMSHL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/WoudaJS15,
  author       = {Sanne Wouda and
                  Sebastiaan J. C. Joosten and
                  Julien Schmaltz},
  title        = {Process algebra semantics {\&} reachability analysis for micro-architectural
                  models of communication fabrics},
  booktitle    = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  pages        = {198--207},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MEMCOD.2015.7340487},
  doi          = {10.1109/MEMCOD.2015.7340487},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/WoudaJS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/memocode/2015,
  title        = {13. {ACM/IEEE} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7329076/proceeding},
  isbn         = {978-1-5090-0237-5},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.