BibTeX records: Frank P. Burns

download as .bib file

@article{DBLP:journals/tcad/BurnsSY17,
  author       = {Frank P. Burns and
                  Danil Sokolov and
                  Alex Yakovlev},
  title        = {A Structured Visual Approach to {GALS} Modeling and Verification of
                  Communication Circuits},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {36},
  number       = {6},
  pages        = {938--951},
  year         = {2017},
  url          = {https://doi.org/10.1109/TCAD.2016.2611508},
  doi          = {10.1109/TCAD.2016.2611508},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/BurnsSY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BurnsSY15,
  author       = {Frank P. Burns and
                  Danil Sokolov and
                  Alexandre Yakovlev},
  editor       = {Wolfgang Nebel and
                  David Atienza},
  title        = {{GALS} synthesis and verification for xMAS models},
  booktitle    = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
                  Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
                  9-13, 2015},
  pages        = {1419--1424},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {http://dl.acm.org/citation.cfm?id=2757141},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/BurnsSY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patmos/BurnsBSY13,
  author       = {Frank P. Burns and
                  Abdullah Baz and
                  Delong Shang and
                  Alex Yakovlev},
  title        = {Variability analysis of self-timed {SRAM} robustness},
  booktitle    = {2013 23rd International Workshop on Power and Timing Modeling, Optimization
                  and Simulation (PATMOS), Karlsruhe, Germany, September 9-11, 2013},
  pages        = {24--31},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/PATMOS.2013.6662151},
  doi          = {10.1109/PATMOS.2013.6662151},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/patmos/BurnsBSY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-cdt/BurnsBKY12,
  author       = {Frank P. Burns and
                  Alexandre V. Bystrov and
                  Albert Koelmans and
                  Alex Yakovlev},
  title        = {Design and security evaluation of balanced 1-of-n circuits},
  journal      = {{IET} Comput. Digit. Tech.},
  volume       = {6},
  number       = {2},
  pages        = {125--135},
  year         = {2012},
  url          = {https://doi.org/10.1049/iet-cdt.2010.0042},
  doi          = {10.1049/IET-CDT.2010.0042},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iet-cdt/BurnsBKY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/RafievMBMKY12,
  author       = {Ashur Rafiev and
                  Andrey Mokhov and
                  Frank P. Burns and
                  Julian P. Murphy and
                  Albert Koelmans and
                  Alex Yakovlev},
  title        = {Mixed Radix Reed-Muller Expansions},
  journal      = {{IEEE} Trans. Computers},
  volume       = {61},
  number       = {8},
  pages        = {1189--1202},
  year         = {2012},
  url          = {https://doi.org/10.1109/TC.2011.124},
  doi          = {10.1109/TC.2011.124},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/RafievMBMKY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/RussellBY12,
  author       = {Gordon Russell and
                  Frank P. Burns and
                  Alex Yakovlev},
  editor       = {Jaan Raik and
                  Viera Stopjakov{\'{a}} and
                  Heinrich Theodor Vierhaus and
                  Witold A. Pleskacz and
                  Raimund Ubar and
                  Helena Kruus and
                  Maksim Jenihhin},
  title        = {{VARMA} - VARiability modelling and analysis tool},
  booktitle    = {{IEEE} 15th International Symposium on Design and Diagnostics of Electronic
                  Circuits {\&} Systems, {DDECS} 2012, Tallinn, Estonia, April 18-20,
                  2012},
  pages        = {378--383},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/DDECS.2012.6219091},
  doi          = {10.1109/DDECS.2012.6219091},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ddecs/RussellBY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ntms/MurphyOBBYH12,
  author       = {Julian P. Murphy and
                  M{\'{a}}ire O'Neill and
                  Frank P. Burns and
                  Alexandre V. Bystrov and
                  Alexandre Yakovlev and
                  Basel Halak},
  editor       = {Albert Levi and
                  Mohamad Badra and
                  Matteo Cesana and
                  Mona Ghassemian and
                  {\"{O}}zg{\"{u}}r G{\"{u}}rb{\"{u}}z and
                  Nafa{\^{a}} Jabeur and
                  Marek Klonowski and
                  Antonio Ma{\~{n}}a and
                  Susana Sargento and
                  Sherali Zeadally},
  title        = {Self-Timed Physically Unclonable Functions},
  booktitle    = {5th International Conference on New Technologies, Mobility and Security,
                  Istanbul, Turkey, {NTMS} 2012, May 7-10, 2012},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/NTMS.2012.6208707},
  doi          = {10.1109/NTMS.2012.6208707},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ntms/MurphyOBBYH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/BurnsBKY11,
  author       = {Frank P. Burns and
                  Alexandre V. Bystrov and
                  Albert Koelmans and
                  Alexandre Yakovlev},
  title        = {Security Evaluation of Balanced 1-of- n Circuits},
  journal      = {{IEEE} Trans. Very Large Scale Integr. Syst.},
  volume       = {19},
  number       = {11},
  pages        = {2135--2139},
  year         = {2011},
  url          = {https://doi.org/10.1109/TVLSI.2010.2064793},
  doi          = {10.1109/TVLSI.2010.2064793},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tvlsi/BurnsBKY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-cdt/BurnsMKY09,
  author       = {Frank P. Burns and
                  Julian P. Murphy and
                  Albert Koelmans and
                  Alexandre Yakovlev},
  title        = {Efficient advanced encryption standard implementation using lookup
                  and normal basis},
  journal      = {{IET} Comput. Digit. Tech.},
  volume       = {3},
  number       = {3},
  pages        = {270--280},
  year         = {2009},
  url          = {https://doi.org/10.1049/iet-cdt.2008.0049},
  doi          = {10.1049/IET-CDT.2008.0049},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iet-cdt/BurnsMKY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-cdt/BurnsMSKY07,
  author       = {Frank P. Burns and
                  Julian P. Murphy and
                  Delong Shang and
                  Albert Koelmans and
                  A. Yakorlev},
  title        = {Dynamic global security-aware synthesis using SystemC},
  journal      = {{IET} Comput. Digit. Tech.},
  volume       = {1},
  number       = {4},
  pages        = {405--413},
  year         = {2007},
  url          = {https://doi.org/10.1049/iet-cdt:20060121},
  doi          = {10.1049/IET-CDT:20060121},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iet-cdt/BurnsMSKY07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ets/ShangYBXB06,
  author       = {Delong Shang and
                  Alexandre Yakovlev and
                  Frank P. Burns and
                  Fei Xia and
                  Alexandre V. Bystrov},
  title        = {Low-Cost Online Testing of Asynchronous Handshakes},
  booktitle    = {11th European Test Symposium, {ETS} 2006, Southhampton, UK, May 21-24,
                  2006},
  pages        = {225--232},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ETS.2006.31},
  doi          = {10.1109/ETS.2006.31},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ets/ShangYBXB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BurnsSKY04,
  author       = {Frank P. Burns and
                  Delong Shang and
                  Albert Koelmans and
                  Alexandre Yakovlev},
  title        = {An Asynchronous Synthesis Toolset Using Verilog},
  booktitle    = {2004 Design, Automation and Test in Europe Conference and Exposition
                  {(DATE} 2004), 16-20 February 2004, Paris, France},
  pages        = {724--725},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/DATE.2004.1268948},
  doi          = {10.1109/DATE.2004.1268948},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/BurnsSKY04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patmos/ShangBBKSY04,
  author       = {Delong Shang and
                  Frank P. Burns and
                  Alexandre V. Bystrov and
                  Albert Koelmans and
                  Danil Sokolov and
                  Alexandre Yakovlev},
  editor       = {Enrico Macii and
                  Odysseas G. Koufopavlou and
                  Vassilis Paliouras},
  title        = {A Low and Balanced Power Implementation of the {AES} Security Mechanism
                  Using Self-Timed Circuits},
  booktitle    = {Integrated Circuit and System Design, Power and Timing Modeling, Optimization
                  and Simulation; 14th International Workshop, {PATMOS} 2004, Santorini,
                  Greece, September 15-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3254},
  pages        = {471--480},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30205-6\_49},
  doi          = {10.1007/978-3-540-30205-6\_49},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/patmos/ShangBBKSY04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/BurnsWBKKRY01,
  author       = {Alan Burns and
                  Andy J. Wellings and
                  Frank P. Burns and
                  Albert Koelmans and
                  Maciej Koutny and
                  Alexander B. Romanovsky and
                  Alexandre Yakovlev},
  title        = {Modelling and verification of an atomic action protocol implemented
                  in Ada},
  journal      = {Comput. Syst. Sci. Eng.},
  volume       = {16},
  number       = {3},
  pages        = {173--182},
  year         = {2001},
  timestamp    = {Thu, 17 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csse/BurnsWBKKRY01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BurnsKY00,
  author       = {Frank P. Burns and
                  Albert Koelmans and
                  Alexandre Yakovlev},
  title        = {{WCET} Analysis of Superscalar Processors Using Simulation With Coloured
                  Petri Nets},
  journal      = {Real Time Syst.},
  volume       = {18},
  number       = {2/3},
  pages        = {275--288},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008101416758},
  doi          = {10.1023/A:1008101416758},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/BurnsKY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BurnsKY98,
  author       = {Frank P. Burns and
                  Albert Koelmans and
                  Alexandre Yakovlev},
  title        = {Analysing Superscalar Processor Architectures with Coloured Petri
                  Nets},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {2},
  number       = {2},
  pages        = {182--191},
  year         = {1998},
  url          = {https://doi.org/10.1007/s100090050026},
  doi          = {10.1007/S100090050026},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/BurnsKY98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acse/ColemanBKBK96,
  author       = {J. N. Coleman and
                  Frank P. Burns and
                  D. J. Kinniment and
                  T. J. Butler and
                  Albert Koelmans},
  editor       = {Alan D. Fekete and
                  John Rosenberg},
  title        = {A self-taught computer engineering course},
  booktitle    = {Proceedings of the {ACM} {SIGCSE} 1st Australasian Conference on Computer
                  Science Education, {ACSE} 1996, Sydney, NSW, Australia, July 1996},
  series       = {{ACM} International Conference Proceeding Series},
  volume       = {1},
  pages        = {7--12},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/369585.369587},
  doi          = {10.1145/369585.369587},
  timestamp    = {Thu, 27 Aug 2020 11:23:10 +0200},
  biburl       = {https://dblp.org/rec/conf/acse/ColemanBKBK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/BurnsKK91,
  author       = {Frank P. Burns and
                  D. J. Kinniment and
                  Albert Koelmans},
  editor       = {Tony Ambler and
                  Jochen A. G. Jess and
                  Hugo De Man},
  title        = {Correct interactive transformational synthesis of {DSP} hardware},
  booktitle    = {Proceedings of the conference on European design automation, EURO-DAC'91,
                  Amsterdam, The Netherlands, 1991},
  pages        = {16--21},
  publisher    = {{EEE} Computer Society},
  year         = {1991},
  url          = {http://dl.acm.org/citation.cfm?id=951517},
  timestamp    = {Tue, 17 Nov 2015 16:02:17 +0100},
  biburl       = {https://dblp.org/rec/conf/eurodac/BurnsKK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics