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. on {CAD} of Integrated Circuits and Systems},
  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 = {Wed, 26 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/BurnsSY17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BurnsSY15,
  author    = {Frank P. Burns and
               Danil Sokolov and
               Alexandre Yakovlev},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/date/2015},
  url       = {http://dl.acm.org/citation.cfm?id=2757141},
  timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/BurnsSY15},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/patmos/2013},
  url       = {https://doi.org/10.1109/PATMOS.2013.6662151},
  doi       = {10.1109/PATMOS.2013.6662151},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/patmos/BurnsBSY13},
  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} Computers {\&} Digital Techniques},
  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 = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iet-cdt/BurnsBKY12},
  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/bib/journals/tc/RafievMBMKY12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/RussellBY12,
  author    = {Gordon Russell and
               Frank P. Burns and
               Alex Yakovlev},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/ddecs/2012},
  url       = {https://doi.org/10.1109/DDECS.2012.6219091},
  doi       = {10.1109/DDECS.2012.6219091},
  timestamp = {Thu, 07 Feb 2019 16:03:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ddecs/RussellBY12},
  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},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/ntms/2012},
  url       = {https://doi.org/10.1109/NTMS.2012.6208707},
  doi       = {10.1109/NTMS.2012.6208707},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ntms/MurphyOBBYH12},
  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. {VLSI} 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 = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tvlsi/BurnsBKY11},
  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} Computers {\&} Digital Techniques},
  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 = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iet-cdt/BurnsMKY09},
  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} Computers {\&} Digital Techniques},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iet-cdt/BurnsMSKY07},
  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},
  year      = {2006},
  crossref  = {DBLP:conf/ets/2006},
  url       = {https://doi.org/10.1109/ETS.2006.31},
  doi       = {10.1109/ETS.2006.31},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ets/ShangYBXB06},
  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},
  year      = {2004},
  crossref  = {DBLP:conf/date/2004},
  url       = {https://doi.org/10.1109/DATE.2004.1268948},
  doi       = {10.1109/DATE.2004.1268948},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/BurnsSKY04},
  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},
  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},
  pages     = {471--480},
  year      = {2004},
  crossref  = {DBLP:conf/patmos/2004},
  url       = {https://doi.org/10.1007/978-3-540-30205-6\_49},
  doi       = {10.1007/978-3-540-30205-6\_49},
  timestamp = {Mon, 05 Jun 2017 12:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/patmos/ShangBBKSY04},
  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 = {Fri, 17 Sep 2004 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/csse/BurnsWBKKRY01},
  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 Systems},
  volume    = {18},
  number    = {2/3},
  pages     = {275--288},
  year      = {2000},
  url       = {https://doi.org/10.1023/A:1008101416758},
  doi       = {10.1023/A:1008101416758},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/rts/BurnsKY00},
  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   = {{STTT}},
  volume    = {2},
  number    = {2},
  pages     = {182--191},
  year      = {1998},
  url       = {https://doi.org/10.1007/s100090050026},
  doi       = {10.1007/s100090050026},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/BurnsKY98},
  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},
  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},
  pages     = {7--12},
  year      = {1996},
  crossref  = {DBLP:conf/acse/1996},
  url       = {https://doi.org/10.1145/369585.369587},
  doi       = {10.1145/369585.369587},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acse/ColemanBKBK96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/BurnsKK91,
  author    = {Frank P. Burns and
               D. J. Kinniment and
               Albert Koelmans},
  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},
  year      = {1991},
  crossref  = {DBLP:conf/eurodac/1991},
  url       = {http://dl.acm.org/citation.cfm?id=951517},
  timestamp = {Tue, 17 Nov 2015 16:02:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eurodac/BurnsKK91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2015,
  editor    = {Wolfgang Nebel and
               David Atienza},
  title     = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
               Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
               9-13, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2755753},
  isbn      = {978-3-9815370-4-8},
  timestamp = {Tue, 28 Apr 2015 17:32:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/patmos/2013,
  title     = {2013 23rd International Workshop on Power and Timing Modeling, Optimization
               and Simulation (PATMOS), Karlsruhe, Germany, September 9-11, 2013},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6646388},
  timestamp = {Tue, 19 Nov 2013 12:01:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/patmos/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ddecs/2012,
  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     = {{IEEE} 15th International Symposium on Design and Diagnostics of Electronic
               Circuits {\&} Systems, {DDECS} 2012, Tallinn, Estonia, April 18-20,
               2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6213418},
  isbn      = {978-1-4673-1187-8},
  timestamp = {Thu, 07 Feb 2019 16:03:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ddecs/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ntms/2012,
  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     = {5th International Conference on New Technologies, Mobility and Security,
               Istanbul, Turkey, {NTMS} 2012, May 7-10, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6203453},
  isbn      = {978-1-4673-0229-6},
  timestamp = {Wed, 16 Jan 2013 14:53:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ntms/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ets/2006,
  title     = {11th European Test Symposium, {ETS} 2006, Southhampton, UK, May 21-24,
               2006},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10839},
  isbn      = {0-7695-2566-0},
  timestamp = {Tue, 18 Aug 2015 20:06:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ets/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2004,
  title     = {2004 Design, Automation and Test in Europe Conference and Exposition
               {(DATE} 2004), 16-20 February 2004, Paris, France},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://www.computer.org/csdl/proceedings/date/2004/index.html},
  isbn      = {0-7695-2085-5},
  timestamp = {Tue, 05 Apr 2016 18:04:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/patmos/2004,
  editor    = {Enrico Macii and
               Odysseas G. Koufopavlou and
               Vassilis Paliouras},
  title     = {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},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100662},
  doi       = {10.1007/b100662},
  isbn      = {3-540-23095-5},
  timestamp = {Mon, 05 Jun 2017 12:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/patmos/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acse/1996,
  editor    = {Alan Fekete and
               John Rosenberg},
  title     = {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},
  publisher = {{ACM}},
  year      = {1996},
  isbn      = {0-89791-845-2},
  timestamp = {Wed, 11 Jun 2008 10:25:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/acse/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurodac/1991,
  editor    = {Tony Ambler and
               Jochen A. G. Jess and
               Hugo De Man},
  title     = {Proceedings of the conference on European design automation, EURO-DAC'91,
               Amsterdam, The Netherlands, 1991},
  publisher = {{EEE} Computer Society},
  year      = {1991},
  url       = {http://dl.acm.org/citation.cfm?id=951513},
  isbn      = {0-8186-2130-3},
  timestamp = {Tue, 17 Nov 2015 16:02:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eurodac/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Schloss Dagstuhl LZI