Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stephen A. Edwards
@inproceedings{DBLP:conf/cpsweek/LohstrohLEB23,
author = {Marten Lohstroh and
Edward A. Lee and
Stephen A. Edwards and
David Broman},
title = {Logical Time for Reactive Software},
booktitle = {Proceedings of Cyber-Physical Systems and Internet of Things Week
2023, CPS-IoT Week 2023 Workshops, San Antonio, TX, USA, May 9-12,
2023},
pages = {313--318},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576914.3587494},
doi = {10.1145/3576914.3587494},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/LohstrohLEB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/HuiE23,
author = {John Hui and
Stephen A. Edwards},
title = {Towards Sparse Synchronous Programming in Lua},
booktitle = {Proceedings of Cyber-Physical Systems and Internet of Things Week
2023, CPS-IoT Week 2023 Workshops, San Antonio, TX, USA, May 9-12,
2023},
pages = {361--366},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576914.3587502},
doi = {10.1145/3576914.3587502},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/HuiE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/HuiEE23,
author = {John Hui and
Kyle J. Edwards and
Stephen A. Edwards},
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {Timestamp Peripherals for Precise Real-Time Programming},
booktitle = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
pages = {137--147},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://ieeexplore.ieee.org/document/10316219},
timestamp = {Fri, 15 Dec 2023 12:01:04 +0100},
biburl = {https://dblp.org/rec/conf/memocode/HuiEE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memocode/2023,
editor = {Reinhard von Hanxleden and
Stephen A. Edwards and
Jens Brandt and
Qi Zhu},
title = {21st {ACM-IEEE} International Symposium on Formal Methods and Models
for System Design, {MEMOCODE} 2023, Hamburg, Germany, September 21-22,
2023},
publisher = {{ACM} / {IEEE}},
year = {2023},
url = {https://doi.org/10.1145/3610579},
doi = {10.1145/3610579},
isbn = {979-8-4007-0318-8},
timestamp = {Fri, 15 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpga/BarkerEK22,
author = {Martha Barker and
Stephen A. Edwards and
Martha A. Kim},
editor = {Michael Adler and
Paolo Ienne},
title = {Synthesized Garbage Collection for {FPGA} Accelerators},
booktitle = {{FPGA} '22: The 2022 {ACM/SIGDA} International Symposium on Field-Programmable
Gate Arrays, Virtual Event, USA, 27 February 2022 - 1 March 2022},
pages = {53},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3490422.3502341},
doi = {10.1145/3490422.3502341},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpga/BarkerEK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/BarkerEK22,
author = {Martha Barker and
Stephen A. Edwards and
Martha A. Kim},
title = {Synthesized In-BramGarbage Collection for Accelerators with Immutable
Memory},
booktitle = {32nd International Conference on Field-Programmable Logic and Applications,
{FPL} 2022, Belfast, United Kingdom, August 29 - Sept. 2, 2022},
pages = {47--53},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/FPL57034.2022.00019},
doi = {10.1109/FPL57034.2022.00019},
timestamp = {Mon, 20 Feb 2023 17:38:16 +0100},
biburl = {https://dblp.org/rec/conf/fpl/BarkerEK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/KrookHSEC22,
author = {Robert Krook and
John Hui and
Bo Joel Svensson and
Stephen A. Edwards and
Koen Claessen},
title = {Creating a Language for Writing Real-Time Applications for the Internet
of Things},
booktitle = {20th {ACM-IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2022, Shanghai, China, October 13-14,
2022},
pages = {1--20},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/MEMOCODE57689.2022.9954383},
doi = {10.1109/MEMOCODE57689.2022.9954383},
timestamp = {Wed, 07 Dec 2022 23:11:51 +0100},
biburl = {https://dblp.org/rec/conf/memocode/KrookHSEC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/milcom/LevatichBFCKE22,
author = {Maxwell Levatich and
Robert Brotzman and
Benjamin Flin and
Ta Chen and
Rajesh Krishnan and
Stephen A. Edwards},
title = {C Program Partitioning with Fine-Grained Security Constraints and
Post-Partition Verification},
booktitle = {{IEEE} Military Communications Conference, {MILCOM} 2022, Rockville,
MD, USA, November 28 - December 2, 2022},
pages = {285--291},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/MILCOM55135.2022.10017451},
doi = {10.1109/MILCOM55135.2022.10017451},
timestamp = {Wed, 08 Feb 2023 17:46:14 +0100},
biburl = {https://dblp.org/rec/conf/milcom/LevatichBFCKE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/EdwardsH20,
author = {Stephen A. Edwards and
John Hui},
title = {The Sparse Synchronous Model},
booktitle = {Forum for Specification and Design Languages, {FDL} 2020, Kiel, Germany,
September 15-17, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/FDL50818.2020.9232938},
doi = {10.1109/FDL50818.2020.9232938},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/EdwardsH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/EdwardsTBK19,
author = {Stephen A. Edwards and
Richard Townsend and
Martha Barker and
Martha A. Kim},
title = {Compositional Dataflow Circuits},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {18},
number = {1},
pages = {5:1--5:27},
year = {2019},
url = {https://doi.org/10.1145/3274280},
doi = {10.1145/3274280},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/EdwardsTBK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/LottariniCRERSK19,
author = {Andrea Lottarini and
Jo{\~{a}}o Pedro Cerqueira and
Thomas J. Repetti and
Stephen A. Edwards and
Kenneth A. Ross and
Mingoo Seok and
Martha A. Kim},
editor = {Srilatha Bobbie Manne and
Hillery C. Hunter and
Erik R. Altman},
title = {Master of none acceleration: a comparison of accelerator architectures
for analytical query processing},
booktitle = {Proceedings of the 46th International Symposium on Computer Architecture,
{ISCA} 2019, Phoenix, AZ, USA, June 22-26, 2019},
pages = {762--773},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3307650.3322220},
doi = {10.1145/3307650.3322220},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isca/LottariniCRERSK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Edwards18,
author = {Stephen A. Edwards},
editor = {Marten Lohstroh and
Patricia Derler and
Marjan Sirjani},
title = {On Determinism},
booktitle = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10760},
pages = {240--253},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95246-8\_14},
doi = {10.1007/978-3-319-95246-8\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Edwards18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/Edwards18,
author = {Stephen A. Edwards},
editor = {Roger D. Chamberlain and
Walid Taha and
Martin T{\"{o}}rngren},
title = {Further Experiences Teaching an FPGA-Based Embedded Systems Class},
booktitle = {Cyber Physical Systems. Model-Based Design - 8th International Workshop,
CyPhy 2018, and 14th International Workshop, {WESE} 2018, Turin, Italy,
October 4-5, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11615},
pages = {222--230},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-23703-5\_14},
doi = {10.1007/978-3-030-23703-5\_14},
timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cyphy/Edwards18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/TownsendKE17,
author = {Richard Townsend and
Martha A. Kim and
Stephen A. Edwards},
editor = {Peng Wu and
Sebastian Hack},
title = {From functional programs to pipelined dataflow circuits},
booktitle = {Proceedings of the 26th International Conference on Compiler Construction,
Austin, TX, USA, February 5-6, 2017},
pages = {76--86},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3033027},
timestamp = {Tue, 06 Nov 2018 16:57:57 +0100},
biburl = {https://dblp.org/rec/conf/cc/TownsendKE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LottariniERK17,
author = {Andrea Lottarini and
Stephen A. Edwards and
Kenneth A. Ross and
Martha A. Kim},
title = {Network Synthesis for Database Processing Units},
booktitle = {Proceedings of the 54th Annual Design Automation Conference, {DAC}
2017, Austin, TX, USA, June 18-22, 2017},
pages = {90:1--90:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3061639.3062289},
doi = {10.1145/3061639.3062289},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/LottariniERK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/damon/CaoREK17,
author = {Bingyi Cao and
Kenneth A. Ross and
Stephen A. Edwards and
Martha A. Kim},
title = {Deadlock-free joins in DB-mesh, an asynchronous systolic array accelerator},
booktitle = {Proceedings of the 13th International Workshop on Data Management
on New Hardware, DaMoN 2017, Chicago, IL, USA, May 15, 2017},
pages = {5:1--5:8},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3076113.3076118},
doi = {10.1145/3076113.3076118},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/damon/CaoREK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/EdwardsTK17,
author = {Stephen A. Edwards and
Richard Townsend and
Martha A. Kim},
editor = {Jean{-}Pierre Talpin and
Patricia Derler and
Klaus Schneider},
title = {Compositional dataflow circuits},
booktitle = {Proceedings of the 15th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria,
September 29 - October 02, 2017},
pages = {175--184},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3127041.3127055},
doi = {10.1145/3127041.3127055},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/EdwardsTK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/ZhaiTLKE15,
author = {Kuangya Zhai and
Richard Townsend and
Lianne Lairmore and
Martha A. Kim and
Stephen A. Edwards},
editor = {Gabriela Nicolescu and
Andreas Gerstlauer},
title = {Hardware synthesis from a recursive functional language},
booktitle = {2015 International Conference on Hardware/Software Codesign and System
Synthesis, {CODES+ISSS} 2015, Amsterdam, Netherlands, October 4-9,
2015},
pages = {83--93},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CODESISSS.2015.7331371},
doi = {10.1109/CODESISSS.2015.7331371},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/codes/ZhaiTLKE15.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 = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/CaoRKE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/EdwardsP14,
author = {Stephen A. Edwards and
Hiren D. Patel},
title = {{MEMOCODE} 2014 software design contest: Space Invaders emulator},
booktitle = {Twelfth {ACM/IEEE} International Conference on Formal Methods and
Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October
19-21, 2014},
pages = {185},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/MEMCOD.2014.6961857},
doi = {10.1109/MEMCOD.2014.6961857},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/EdwardsP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/EdwardsGS13,
author = {Stephen A. Edwards and
Alain Girault and
Klaus Schneider},
title = {Synchronous Programming (Dagstuhl Seminar 13471)},
journal = {Dagstuhl Reports},
volume = {3},
number = {11},
pages = {117--143},
year = {2013},
url = {https://doi.org/10.4230/DagRep.3.11.117},
doi = {10.4230/DAGREP.3.11.117},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/EdwardsGS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cal/WuKE12,
author = {Lisa Wu and
Martha A. Kim and
Stephen A. Edwards},
title = {Cache Impacts of Datatype Acceleration},
journal = {{IEEE} Comput. Archit. Lett.},
volume = {11},
number = {1},
pages = {21--24},
year = {2012},
url = {https://doi.org/10.1109/L-CA.2011.25},
doi = {10.1109/L-CA.2011.25},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cal/WuKE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Edwards12,
author = {Stephen A. Edwards},
title = {{MEMOCODE} 2012 hardware/software codesign contest: {DNA} sequence
aligner},
booktitle = {Tenth {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign, {MEMCODE} 2012, Arlington, VA, USA, July 16-17, 2012},
pages = {85--90},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/MEMCOD.2012.6292303},
doi = {10.1109/MEMCOD.2012.6292303},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Edwards12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EdwardsJV11,
author = {Stephen A. Edwards and
Ryszard Janicki and
Walter Vogler},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {108},
number = {1-2},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-410},
doi = {10.3233/FI-2011-410},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EdwardsJV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BussBSE10,
author = {Marcio Buss and
Daniel Brand and
Vugranam C. Sreedhar and
Stephen A. Edwards},
title = {A novel analysis space for pointer analysis and its application for
bug finding},
journal = {Sci. Comput. Program.},
volume = {75},
number = {11},
pages = {921--942},
year = {2010},
url = {https://doi.org/10.1016/j.scico.2009.08.002},
doi = {10.1016/J.SCICO.2009.08.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BussBSE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/VasudevanE10,
author = {Nalini Vasudevan and
Stephen A. Edwards},
title = {Buffer Sharing in Rendezvous Programs},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {29},
number = {10},
pages = {1471--1480},
year = {2010},
url = {https://doi.org/10.1109/TCAD.2010.2052840},
doi = {10.1109/TCAD.2010.2052840},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcad/VasudevanE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEpact/VasudevanNE10,
author = {Nalini Vasudevan and
Kedar S. Namjoshi and
Stephen A. Edwards},
editor = {Valentina Salapura and
Michael Gschwind and
Jens Knoop},
title = {Simple and fast biased locks},
booktitle = {19th International Conference on Parallel Architectures and Compilation
Techniques, {PACT} 2010, Vienna, Austria, September 11-15, 2010},
pages = {65--74},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1854273.1854287},
doi = {10.1145/1854273.1854287},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEpact/VasudevanNE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/VasudevanE10,
author = {Nalini Vasudevan and
Stephen A. Edwards},
title = {Ensuring deterministic concurrency through compilation},
booktitle = {24th {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2010, Atlanta, Georgia, USA, 19-23 April 2010 - Workshop Proceedings},
pages = {1--4},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/IPDPSW.2010.5470803},
doi = {10.1109/IPDPSW.2010.5470803},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/VasudevanE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isca/KimE10,
author = {Martha A. Kim and
Stephen A. Edwards},
editor = {Ana Lucia Varbanescu and
Anca Mariana Molnos and
Rob van Nieuwpoort},
title = {Computation vs. Memory Systems: Pinning Down Accelerator Bottlenecks},
booktitle = {Computer Architecture - {ISCA} 2010 International Workshops A4MMC,
AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6161},
pages = {86--98},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24322-6\_9},
doi = {10.1007/978-3-642-24322-6\_9},
timestamp = {Mon, 26 Jun 2023 20:44:16 +0200},
biburl = {https://dblp.org/rec/conf/isca/KimE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/10/EdwardsV10,
author = {Stephen A. Edwards and
Nalini Vasudevan},
editor = {Sandeep Kumar Shukla and
Jean{-}Pierre Talpin},
title = {Compiling {SHIM}},
booktitle = {Synthesis of Embedded Software - Frameworks and Methodologies for
Correctness by Construction},
pages = {121--146},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-1-4419-6400-7\_4},
doi = {10.1007/978-1-4419-6400-7\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/10/EdwardsV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/SovianiHE09,
author = {Cristian Soviani and
Ilija Hadzic and
Stephen A. Edwards},
title = {Synthesis and Optimization of Pipelined Packet Processors},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {28},
number = {2},
pages = {231--244},
year = {2009},
url = {https://doi.org/10.1109/TCAD.2008.2009168},
doi = {10.1109/TCAD.2008.2009168},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/SovianiHE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/VasudevanTDE09,
author = {Nalini Vasudevan and
Olivier Tardieu and
Julian Dolby and
Stephen A. Edwards},
editor = {Oege de Moor and
Michael I. Schwartzbach},
title = {Compile-Time Analysis and Specialization of Clocks in Concurrent Programs},
booktitle = {Compiler Construction, 18th International Conference, {CC} 2009, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5501},
pages = {48--62},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00722-4\_5},
doi = {10.1007/978-3-642-00722-4\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/VasudevanTDE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ShaoVE09,
author = {Baolin Shao and
Nalini Vasudevan and
Stephen A. Edwards},
editor = {Samarjit Chakraborty and
Nicolas Halbwachs},
title = {Compositional deadlock detection for rendezvous communication},
booktitle = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
2009},
pages = {59--66},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629335.1629344},
doi = {10.1145/1629335.1629344},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/ShaoVE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/EdwardsKLLPS09,
author = {Stephen A. Edwards and
Sungjun Kim and
Edward A. Lee and
Isaac Liu and
Hiren D. Patel and
Martin Schoeberl},
title = {A disruptive computer design idea: Architectures with repeatable timing},
booktitle = {27th International Conference on Computer Design, {ICCD} 2009, Lake
Tahoe, CA, USA, October 4-7, 2009},
pages = {54--59},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICCD.2009.5413177},
doi = {10.1109/ICCD.2009.5413177},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/EdwardsKLLPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/VasudevanE09,
author = {Nalini Vasudevan and
Stephen A. Edwards},
title = {Buffer sharing in CSP-like programs},
booktitle = {7th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign {(MEMOCODE} 2009), July 13-15, 2009, Cambridge, Massachusetts,
{USA}},
pages = {151--160},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/MEMCOD.2009.5185391},
doi = {10.1109/MEMCOD.2009.5185391},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/VasudevanE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/VasudevanE09,
author = {Nalini Vasudevan and
Stephen A. Edwards},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {Celling {SHIM:} compiling deterministic concurrency to a heterogeneous
multicore},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {1626--1631},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529649},
doi = {10.1145/1529282.1529649},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/VasudevanE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seus/Edwards09,
author = {Stephen A. Edwards},
editor = {Sunggu Lee and
Priya Narasimhan},
title = {Concurrency and Communication: Lessons from the {SHIM} Project},
booktitle = {Software Technologies for Embedded and Ubiquitous Systems, 7th {IFIP}
{WG} 10.2 International Workshop, {SEUS} 2009, Newport Beach, CA,
USA, November 16-18, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5860},
pages = {276--287},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10265-3\_25},
doi = {10.1007/978-3-642-10265-3\_25},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/seus/Edwards09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/zurawski2009/Edwards09,
author = {Stephen A. Edwards},
editor = {Richard Zurawski},
title = {Languages for Design and Verification},
booktitle = {Embedded Systems Design and Verification - Volume 1 of the Embedded
Systems Handbook},
pages = {5},
publisher = {{CRC} Press},
year = {2009},
url = {https://doi.org/10.1201/9781439807637.ch5},
doi = {10.1201/9781439807637.CH5},
timestamp = {Tue, 16 May 2017 14:01:47 +0200},
biburl = {https://dblp.org/rec/books/crc/zurawski2009/Edwards09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9481,
editor = {Albert Benveniste and
Stephen A. Edwards and
Edward A. Lee and
Klaus Schneider and
Reinhard von Hanxleden},
title = {{SYNCHRON} 2009, 22.11. - 27.11.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09481},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09481/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2009P9481.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BenvenisteEL0H09,
author = {Albert Benveniste and
Stephen A. Edwards and
Edward A. Lee and
Klaus Schneider and
Reinhard von Hanxleden},
editor = {Albert Benveniste and
Stephen A. Edwards and
Edward A. Lee and
Klaus Schneider and
Reinhard von Hanxleden},
title = {09481 Abstracts Collection - {SYNCHRON} 2009},
booktitle = {{SYNCHRON} 2009, 22.11. - 27.11.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09481},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2434/},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BenvenisteEL0H09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/NeiroukhES08,
author = {Osama Neiroukh and
Stephen A. Edwards and
Xiaoyu Song},
title = {Transforming Cyclic Circuits Into Acyclic Equivalents},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {27},
number = {10},
pages = {1775--1787},
year = {2008},
url = {https://doi.org/10.1109/TCAD.2008.2003305},
doi = {10.1109/TCAD.2008.2003305},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/NeiroukhES08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/LicklyLKPEL08,
author = {Ben Lickly and
Isaac Liu and
Sungjun Kim and
Hiren D. Patel and
Stephen A. Edwards and
Edward A. Lee},
editor = {Erik R. Altman},
title = {Predictable programming on a precision timed architecture},
booktitle = {Proceedings of the 2008 International Conference on Compilers, Architecture,
and Synthesis for Embedded Systems, {CASES} 2008, Atlanta, GA, USA,
October 19-24, 2008},
pages = {137--146},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1450095.1450117},
doi = {10.1145/1450095.1450117},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cases/LicklyLKPEL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/EdwardsVT08,
author = {Stephen A. Edwards and
Nalini Vasudevan and
Olivier Tardieu},
editor = {Donatella Sciuto},
title = {Programming Shared Memory Multiprocessors with Deterministic Message-Passing
Concurrency: Compiling {SHIM} to Pthreads},
booktitle = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
March 10-14, 2008},
pages = {1498--1503},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1109/DATE.2008.4484886},
doi = {10.1109/DATE.2008.4484886},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/EdwardsVT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/VasudevanSE08,
author = {Nalini Vasudevan and
Satnam Singh and
Stephen A. Edwards},
title = {A deterministic multi-way rendezvous library for haskell},
booktitle = {22nd {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2008, Miami, Florida USA, April 14-18, 2008},
pages = {1--12},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/IPDPS.2008.4536312},
doi = {10.1109/IPDPS.2008.4536312},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/VasudevanSE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/VasudevanE08,
author = {Nalini Vasudevan and
Stephen A. Edwards},
title = {Static Deadlock Detection for the {SHIM} Concurrent Language},
booktitle = {6th {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2008), June 5-7, 2008, Anaheim,
CA, {USA}},
pages = {49--58},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/MEMCOD.2008.4547686},
doi = {10.1109/MEMCOD.2008.4547686},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/VasudevanE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/EdwardsZ08,
author = {Stephen A. Edwards and
Jia Zeng},
editor = {Robert Gl{\"{u}}ck and
Oege de Moor},
title = {Static elaboration of recursion for concurrent software},
booktitle = {Proceedings of the 2008 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2008, San Francisco,
California, USA, January 7-8, 2008},
pages = {71--80},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328408.1328420},
doi = {10.1145/1328408.1328420},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/EdwardsZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BussBSE08,
author = {Marcio Buss and
Daniel Brand and
Vugranam C. Sreedhar and
Stephen A. Edwards},
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {Flexible pointer analysis using assign-fetch graphs},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
Fortaleza, Ceara, Brazil, March 16-20, 2008},
pages = {234--239},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1363686.1363746},
doi = {10.1145/1363686.1363746},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/BussBSE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0023221,
author = {Dumitru Potop{-}Butucaru and
Stephen A. Edwards and
G{\'{e}}rard Berry},
title = {Compiling Esterel},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-0-387-70628-3},
doi = {10.1007/978-0-387-70628-3},
isbn = {978-0-387-70626-9},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0023221.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/EdwardsZ07,
author = {Stephen A. Edwards and
Jia Zeng},
title = {Code Generation in the Columbia Esterel Compiler},
journal = {{EURASIP} J. Embed. Syst.},
volume = {2007},
year = {2007},
url = {https://doi.org/10.1155/2007/52651},
doi = {10.1155/2007/52651},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejes/EdwardsZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/SovianiTE07,
author = {Cristian Soviani and
Olivier Tardieu and
Stephen A. Edwards},
title = {Optimizing Sequential Cycles Through Shannon Decomposition and Retiming},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {26},
number = {3},
pages = {456--467},
year = {2007},
url = {https://doi.org/10.1109/TCAD.2006.890583},
doi = {10.1109/TCAD.2006.890583},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/SovianiTE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/EdwardsL07,
author = {Stephen A. Edwards and
Edward A. Lee},
title = {The Case for the Precision Timed {(PRET)} Machine},
booktitle = {Proceedings of the 44th Design Automation Conference, {DAC} 2007,
San Diego, CA, USA, June 4-8, 2007},
pages = {264--265},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1145/1278480.1278545},
doi = {10.1145/1278480.1278545},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/EdwardsL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TardieuE08,
author = {Olivier Tardieu and
Stephen A. Edwards},
editor = {Joaqu{\'{\i}}n Aguado and
Michael Mendler},
title = {Instantaneous Transitions in Esterel},
booktitle = {Proceedings of the International Workshop on Model-driven High-level
Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal,
March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {4},
pages = {49--64},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.05.010},
doi = {10.1016/J.ENTCS.2008.05.010},
timestamp = {Mon, 13 Feb 2023 13:24:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TardieuE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0710-4683,
author = {Stephen A. Edwards},
title = {The Challenges of Hardware Synthesis from C-Like Languages},
journal = {CoRR},
volume = {abs/0710.4683},
year = {2007},
url = {http://arxiv.org/abs/0710.4683},
eprinttype = {arXiv},
eprint = {0710.4683},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0710-4683.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/Edwards06,
author = {Stephen A. Edwards},
title = {The Challenges of Synthesizing Hardware from C-Like Languages},
journal = {{IEEE} Des. Test Comput.},
volume = {23},
number = {5},
pages = {375--386},
year = {2006},
url = {https://doi.org/10.1109/MDT.2006.134},
doi = {10.1109/MDT.2006.134},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dt/Edwards06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/EdwardsT06,
author = {Stephen A. Edwards and
Olivier Tardieu},
title = {{SHIM:} a deterministic model for heterogeneous embedded systems},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {14},
number = {8},
pages = {854--867},
year = {2006},
url = {https://doi.org/10.1109/TVLSI.2006.878473},
doi = {10.1109/TVLSI.2006.878473},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvlsi/EdwardsT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/SovianiHE06,
author = {Cristian Soviani and
Ilija Hadzic and
Stephen A. Edwards},
editor = {Ellen Sentovich},
title = {Synthesis of high-performance packet processing pipelines},
booktitle = {Proceedings of the 43rd Design Automation Conference, {DAC} 2006,
San Francisco, CA, USA, July 24-28, 2006},
pages = {679--682},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1146909.1147081},
doi = {10.1145/1146909.1147081},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/SovianiHE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SovianiTE06,
author = {Cristian Soviani and
Olivier Tardieu and
Stephen A. Edwards},
editor = {Georges G. E. Gielen},
title = {Optimizing sequential cycles through Shannon decomposition and retiming},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe,
{DATE} 2006, Munich, Germany, March 6-10, 2006},
pages = {1085--1090},
publisher = {European Design and Automation Association, Leuven, Belgium},
year = {2006},
url = {https://doi.org/10.1109/DATE.2006.243960},
doi = {10.1109/DATE.2006.243960},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/SovianiTE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/TardieuE06,
author = {Olivier Tardieu and
Stephen A. Edwards},
editor = {Sang Lyul Min and
Wang Yi},
title = {Scheduling-independent threads and exceptions in {SHIM}},
booktitle = {Proceedings of the 6th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2006, October 22-25, 2006, Seoul, Korea},
pages = {142--151},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176887.1176908},
doi = {10.1145/1176887.1176908},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/TardieuE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/IpE06,
author = {Nicholas Jun Hao Ip and
Stephen A. Edwards},
editor = {Edwin Hsing{-}Mean Sha and
Sung{-}Kook Han and
Cheng{-}Zhong Xu and
Moon{-}hae Kim and
Laurence Tianruo Yang and
Bin Xiao},
title = {A Processor Extension for Cycle-Accurate Real-Time Software},
booktitle = {Embedded and Ubiquitous Computing, International Conference, {EUC}
2006, Seoul, Korea, August 1-4, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4096},
pages = {449--458},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11802167\_46},
doi = {10.1007/11802167\_46},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/euc/IpE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvlsi/NeiroukhES06,
author = {Osama Neiroukh and
Stephen A. Edwards and
Xiaoyu Song},
title = {An Efficient Algorithm for the Analysis of Cyclic Circuits},
booktitle = {2006 {IEEE} Computer Society Annual Symposium on {VLSI} {(ISVLSI}
2006), 2-3 March 2006, Karlsruhe, Germany},
pages = {303--308},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISVLSI.2006.18},
doi = {10.1109/ISVLSI.2006.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isvlsi/NeiroukhES06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/EdwardsT06,
author = {Stephen A. Edwards and
Olivier Tardieu},
editor = {Mary Jane Irwin and
Koen De Bosschere},
title = {Efficient code generation from {SHIM} models},
booktitle = {Proceedings of the 2006 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario,
Canada, June 14-16, 2006},
pages = {125--134},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134650.1134669},
doi = {10.1145/1134650.1134669},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/EdwardsT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/TardieuE06,
author = {Olivier Tardieu and
Stephen A. Edwards},
title = {{R-SHIM:} deterministic concurrency with recursion and shared variables},
booktitle = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
Suites, Napa, California, {USA}},
pages = {202},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/MEMCOD.2006.1695931},
doi = {10.1109/MEMCOD.2006.1695931},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/TardieuE06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Edwards06,
author = {Stephen A. Edwards},
editor = {John Hatcliff and
Frank Tip},
title = {Using program specialization to speed SystemC fixed-point simulation},
booktitle = {Proceedings of the 2006 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2006, Charleston, South
Carolina, USA, January 9-10, 2006},
pages = {21--28},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111542.1111547},
doi = {10.1145/1111542.1111547},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Edwards06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZengME06,
author = {Jia Zeng and
Chuck Mitchell and
Stephen A. Edwards},
editor = {John Boyland and
Anthony Sloane},
title = {A Domain-Specific Language for Generating Dataflow Analyzers},
booktitle = {Proceedings of the Sixth Workshop on Language Descriptions, Tools,
and Applications, LDTA@ETAPS 2006, Vienna, Austria, April 1, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {164},
number = {2},
pages = {103--119},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.10.008},
doi = {10.1016/J.ENTCS.2006.10.008},
timestamp = {Fri, 20 Jan 2023 13:00:45 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZengME06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/Edwards05,
author = {Stephen A. Edwards},
title = {Experiences teaching an FPGA-based embedded systems class},
journal = {{SIGBED} Rev.},
volume = {2},
number = {4},
pages = {56--62},
year = {2005},
url = {https://doi.org/10.1145/1121812.1121823},
doi = {10.1145/1121812.1121823},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/Edwards05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/TardieuE05,
author = {Olivier Tardieu and
Stephen A. Edwards},
editor = {Doron A. Peled and
Yih{-}Kuen Tsay},
title = {Approximate Reachability for Dead Code Elimination in Esterel},
booktitle = {Automated Technology for Verification and Analysis, Third International
Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3707},
pages = {323--337},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562948\_25},
doi = {10.1007/11562948\_25},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/TardieuE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ConwayNDE05,
author = {Christopher L. Conway and
Kedar S. Namjoshi and
Dennis Dams and
Stephen A. Edwards},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Incremental Algorithms for Inter-procedural Analysis of Safety Properties},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {449--461},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_45},
doi = {10.1007/11513988\_45},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ConwayNDE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/Edwards05,
author = {Stephen A. Edwards},
title = {The Challenges of Hardware Synthesis from C-Like Languages},
booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2005), 7-11 March 2005, Munich, Germany},
pages = {66--67},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DATE.2005.307},
doi = {10.1109/DATE.2005.307},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/Edwards05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/EdwardsT05,
author = {Stephen A. Edwards and
Olivier Tardieu},
editor = {Wayne H. Wolf},
title = {{SHIM:} a deterministic model for heterogeneous embedded systems},
booktitle = {{EMSOFT} 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th {ACM}
International Conference On Embedded Software, Proceedings},
pages = {264--272},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086228.1086277},
doi = {10.1145/1086228.1086277},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/EdwardsT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icess/ZengE05,
author = {Jia Zeng and
Stephen A. Edwards},
editor = {Laurence Tianruo Yang and
Xingshe Zhou and
Wei Zhao and
Zhaohui Wu and
Yian Zhu and
Man Lin},
title = {Separate Compilation for Synchronous Modules},
booktitle = {Embedded Software and Systems, Second International Conference, {ICESS}
2005, Xi'an, China, December 16-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3820},
pages = {129--140},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11599555\_15},
doi = {10.1007/11599555\_15},
timestamp = {Fri, 09 Apr 2021 18:39:46 +0200},
biburl = {https://dblp.org/rec/conf/icess/ZengE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/EdwardsT05,
author = {Stephen A. Edwards and
Olivier Tardieu},
title = {Deterministic receptive processes are Kahn processes},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {37--44},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487889},
doi = {10.1109/MEMCOD.2005.1487889},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/EdwardsT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/BussEYW05,
author = {Marcio Buss and
Stephen A. Edwards and
Bin Yao and
Dan G. Waddington},
title = {Pointer Analysis for Source-to-Source Transformations},
booktitle = {5th {IEEE} International Workshop on Source Code Analysis and Manipulation
{(SCAM} 2005), 30 September - 1 October 2005, Budapest, Hungary},
pages = {139--150},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SCAM.2005.20},
doi = {10.1109/SCAM.2005.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/BussEYW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2004P4491,
editor = {Stephen A. Edwards and
Nicolas Halbwachs and
Reinhard von Hanxleden and
Thomas Stauner},
title = {Synchronous Programming - SYNCHRON'04, 28. November - 3. December
2004},
series = {Dagstuhl Seminar Proceedings},
volume = {04491},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/portals/04491/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2004P4491.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/Edwards05,
author = {Stephen A. Edwards},
editor = {Richard Zurawski},
title = {Languages for Embedded Systems},
booktitle = {Embedded Systems Handbook},
publisher = {{CRC} Press},
year = {2005},
url = {https://doi.org/10.1201/9781420038163.ch7},
doi = {10.1201/9781420038163.CH7},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crc/Edwards05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/ConwayE04,
author = {Christopher L. Conway and
Stephen A. Edwards},
editor = {David B. Whalley and
Ron Cytron},
title = {{NDL:} a domain-specific language for device drivers},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
Compilers, and Tools for Embedded Systems (LCTES'04), Washington,
DC, USA, June 11-13, 2004},
pages = {30--36},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/997163.997169},
doi = {10.1145/997163.997169},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/ConwayE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/ZengSE04,
author = {Jia Zeng and
Cristian Soviani and
Stephen A. Edwards},
editor = {David B. Whalley and
Ron Cytron},
title = {Generating fast code from concurrent program dependence graphs},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
Compilers, and Tools for Embedded Systems (LCTES'04), Washington,
DC, USA, June 11-13, 2004},
pages = {175--181},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/997163.997188},
doi = {10.1145/997163.997188},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/ZengSE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EdwardsKH06,
author = {Stephen A. Edwards and
Vimal Kapadia and
Michael Halasz},
editor = {Florence Maraninchi and
Alain Girault and
Marc Pouzet},
title = {Compiling Esterel into Static Discrete-Event Code},
booktitle = {Proceedings of the Third International Workshop on Synchronous Languages,
Applications, and Programs, {SLAP} 2004, Satellite Event of {ETAPS}
2004, Barcelona, Spain, March 28, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {4},
pages = {117--131},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2006.02.027},
doi = {10.1016/J.ENTCS.2006.02.027},
timestamp = {Fri, 20 Jan 2023 11:01:08 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EdwardsKH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Edwards04,
author = {Stephen A. Edwards},
editor = {Stephen A. Edwards and
Nicolas Halbwachs and
Reinhard von Hanxleden and
Thomas Stauner},
title = {{SHIM:} {A} Language for Hardware/Software Integration},
booktitle = {Synchronous Programming - SYNCHRON'04, 28. November - 3. December
2004},
series = {Dagstuhl Seminar Proceedings},
volume = {04491},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/158},
timestamp = {Thu, 10 Jun 2021 13:02:11 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Edwards04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/EdwardsHHS04,
author = {Stephen A. Edwards and
Nicolas Halbwachs and
Reinhard von Hanxleden and
Thomas Stauner},
editor = {Stephen A. Edwards and
Nicolas Halbwachs and
Reinhard von Hanxleden and
Thomas Stauner},
title = {04491 Abstracts Collection - Synchronous Programming - SYNCHRON'04},
booktitle = {Synchronous Programming - SYNCHRON'04, 28. November - 3. December
2004},
series = {Dagstuhl Seminar Proceedings},
volume = {04491},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/196},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/EdwardsHHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/EdwardsHHS04a,
author = {Stephen A. Edwards and
Nicolas Halbwachs and
Reinhard von Hanxleden and
Thomas Stauner},
editor = {Stephen A. Edwards and
Nicolas Halbwachs and
Reinhard von Hanxleden and
Thomas Stauner},
title = {04491 Executive Summary - Synchronous Programming - SYNCHRON'04},
booktitle = {Synchronous Programming - SYNCHRON'04, 28. November - 3. December
2004},
series = {Dagstuhl Seminar Proceedings},
volume = {04491},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/195},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/EdwardsHHS04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/BenvenisteCEHGS03,
author = {Albert Benveniste and
Paul Caspi and
Stephen A. Edwards and
Nicolas Halbwachs and
Paul {Le Guernic} and
Robert de Simone},
title = {The synchronous languages 12 years later},
journal = {Proc. {IEEE}},
volume = {91},
number = {1},
pages = {64--83},
year = {2003},
url = {https://doi.org/10.1109/JPROC.2002.805826},
doi = {10.1109/JPROC.2002.805826},
timestamp = {Mon, 04 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/BenvenisteCEHGS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/EdwardsL03,
author = {Stephen A. Edwards and
Edward A. Lee},
title = {The semantics and execution of a synchronous block-diagram language},
journal = {Sci. Comput. Program.},
volume = {48},
number = {1},
pages = {21--42},
year = {2003},
url = {https://doi.org/10.1016/S0167-6423(02)00096-5},
doi = {10.1016/S0167-6423(02)00096-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/EdwardsL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/Edwards03,
author = {Stephen A. Edwards},
title = {Tutorial: Compiling concurrent languages for sequential processors},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {8},
number = {2},
pages = {141--187},
year = {2003},
url = {https://doi.org/10.1145/762488.762489},
doi = {10.1145/762488.762489},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/Edwards03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Edwards03,
author = {Stephen A. Edwards},
title = {Making cyclic circuits acyclic},
booktitle = {Proceedings of the 40th Design Automation Conference, {DAC} 2003,
Anaheim, CA, USA, June 2-6, 2003},
pages = {159--162},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/775832.775874},
doi = {10.1145/775832.775874},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Edwards03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/JanDE03,
author = {Stephen Jan and
Paolo de Dios and
Stephen A. Edwards},
title = {Porting a Network Cryptographic Service to the {RMC2000:} {A} Case
Study in Embedded Software Development},
booktitle = {2003 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2003), 3-7 March 2003, Munich, Germany},
pages = {20150--20157},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.ieeecomputersociety.org/10.1109/DATE.2003.10219},
doi = {10.1109/DATE.2003.10219},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/JanDE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/ShuklaTEG03,
author = {Sandeep K. Shukla and
Jean{-}Pierre Talpin and
Stephen A. Edwards and
Rajesh K. Gupta},
title = {High Level Modeling and Validation Methodologies for Embedded Systems:
Bridging the Productivity Gap},
booktitle = {16th International Conference on {VLSI} Design {(VLSI} Design 2003),
4-8 January 2003, New Delhi, India},
pages = {9--14},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICVD.2003.1183104},
doi = {10.1109/ICVD.2003.1183104},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/ShuklaTEG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/03/JanDE03,
author = {Stephen Jan and
Paolo de Dios and
Stephen A. Edwards},
editor = {Ahmed Amine Jerraya and
Sungjoo Yoo and
Diederik Verkest and
Norbert Wehn},
title = {Porting a Network Cryptographic Service to the {RMC2000}},
booktitle = {Embedded Software for SoC},
pages = {165--176},
publisher = {Kluwer / Springer},
year = {2003},
url = {https://doi.org/10.1007/0-306-48709-8\_13},
doi = {10.1007/0-306-48709-8\_13},
timestamp = {Thu, 04 Jul 2019 16:02:30 +0200},
biburl = {https://dblp.org/rec/books/sp/03/JanDE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/Edwards02,
author = {Stephen A. Edwards},
title = {An Esterel compiler for large control-dominated systems},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {21},
number = {2},
pages = {169--183},
year = {2002},
url = {https://doi.org/10.1109/43.980257},
doi = {10.1109/43.980257},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/Edwards02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwls/Edwards02,
author = {Stephen A. Edwards},
title = {High-Level Synthesis from the Synchronous Language Esterel},
booktitle = {11th {IEEE/ACM} International Workshop on Logic {\&} Synthesis,
{IWLS} 2002, June 4-7, 2002, New Orleans, Louisiana, {USA}},
pages = {401--406},
year = {2002},
timestamp = {Sun, 04 Aug 2019 18:01:44 +0200},
biburl = {https://dblp.org/rec/conf/iwls/Edwards02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Edwards00,
author = {Stephen A. Edwards},
editor = {Giovanni De Micheli},
title = {Compiling Esterel into sequential code},
booktitle = {Proceedings of the 37th Conference on Design Automation, Los Angeles,
CA, USA, June 5-9, 2000},
pages = {322--327},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337292.337429},
doi = {10.1145/337292.337429},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Edwards00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/Edwards99,
author = {Stephen A. Edwards},
editor = {Ahmed Amine Jerraya and
Luciano Lavagno and
Frank Vahid},
title = {Compiling Esterel into sequential code},
booktitle = {Proceedings of the Seventh International Workshop on Hardware/Software
Codesign, {CODES} 1999, Rome, Italy, 1999},
pages = {147--151},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/301177.301514},
doi = {10.1145/301177.301514},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/codes/Edwards99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/SwamyEB98,
author = {Gitanjali Swamy and
Stephen A. Edwards and
Robert K. Brayton},
title = {Efficient Verification and Synthesis using Design Commonalities},
booktitle = {11th International Conference on {VLSI} Design {(VLSI} Design 1991),
4-7 January 1998, Chennai, India},
pages = {542--551},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICVD.1998.646662},
doi = {10.1109/ICVD.1998.646662},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/SwamyEB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/EdwardsLLS97,
author = {Stephen A. Edwards and
Luciano Lavagno and
Edward A. Lee and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Design of embedded systems: formal models, validation, and synthesis},
journal = {Proc. {IEEE}},
volume = {85},
number = {3},
pages = {366--390},
year = {1997},
url = {https://doi.org/10.1109/5.558710},
doi = {10.1109/5.558710},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/EdwardsLLS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BraytonHSSACEKKPQRSSSV96,
author = {Robert K. Brayton and
Gary D. Hachtel and
Alberto L. Sangiovanni{-}Vincentelli and
Fabio Somenzi and
Adnan Aziz and
Szu{-}Tsung Cheng and
Stephen A. Edwards and
Sunil P. Khatri and
Yuji Kukimoto and
Abelardo Pardo and
Shaz Qadeer and
Rajeev K. Ranjan and
Shaker Sarwary and
Thomas R. Shiple and
Gitanjali Swamy and
Tiziano Villa},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {{VIS:} {A} System for Verification and Synthesis},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {428--432},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_95},
doi = {10.1007/3-540-61474-5\_95},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BraytonHSSACEKKPQRSSSV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BraytonHSSACEKKPQRSSSV96,
author = {Robert K. Brayton and
Gary D. Hachtel and
Alberto L. Sangiovanni{-}Vincentelli and
Fabio Somenzi and
Adnan Aziz and
Szu{-}Tsung Cheng and
Stephen A. Edwards and
Sunil P. Khatri and
Yuji Kukimoto and
Abelardo Pardo and
Shaz Qadeer and
Rajeev K. Ranjan and
Shaker Sarwary and
Thomas R. Shiple and
Gitanjali Swamy and
Tiziano Villa},
editor = {Mandayam K. Srivas and
Albert John Camilleri},
title = {{VIS}},
booktitle = {Formal Methods in Computer-Aided Design, First International Conference,
{FMCAD} '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1166},
pages = {248--256},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031812},
doi = {10.1007/BFB0031812},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BraytonHSSACEKKPQRSSSV96.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.
last updated on 2024-04-25 05:41 CEST 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:
