Write a Blog >>
Mon 10 Jul 2017 14:54 - 14:56 at Bren 1414 - Lightning Talks Chair(s): Neha Rungta, Yuriy Brun
Tue 11 Jul 2017 15:00 - 16:00 at Bren 1424 - Demonstrations 2

A MATLAB toolbox is presented, with the goal of checking occurrences of design errors typically found in fixed-point digital systems, considering finite word-length effects. In particular, the present toolbox works as a front-end to a recently introduced verification tool, known as Digital-System Verifier (DSVerifier), and checks overflow, limit cycle, quantization, stability, and minimum phase errors in digital systems represented by transfer-function and state-space equations. It provides a command-line version with simplified access to specific functionality and a graphical-user interface, which was developed as a MATLAB application. The resulting toolbox enables application of verification to real-world systems by control engineers.

Mon 10 Jul
Times are displayed in time zone: Tijuana, Baja California change

14:35 - 15:05: Lightning TalksDemonstrations at Bren 1414
Chair(s): Neha RungtaAmazon Web Services, Yuriy BrunUniversity of Massachusetts, Amherst
14:35 - 14:37
Demonstration
Demonstrations
John-Paul OreUniversity of Nebraska-Lincoln, USA, Carrick DetweilerUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
DOI
14:37 - 14:39
Demonstration
Demonstrations
Josie HolmesPennsylvania State University, USA, Alex GroceNorthern Arizona University
DOI
14:39 - 14:41
Demonstration
Demonstrations
Thomas WalshUniversity of Sheffield, UK, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield
DOI
14:41 - 14:43
Demonstration
Demonstrations
Alessio GambiSaarland University, Germany, Sebastian KapplerSaarland University, Germany, Johannes LampelSaarland University, Germany, Andreas ZellerSaarland University
DOI
14:43 - 14:45
Demonstration
Demonstrations
Sonal MahajanUniversity of Southern California, USA, Abdulmajeed AlameerUniversity of Southern California, USA, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
DOI
14:45 - 14:47
Demonstration
Demonstrations
Antoine El-HokayemGrenoble Alpes University, France / Inria, France / CNRS, France, Yliès FalconeUniv. Grenoble Alpes, Inria
DOI
14:47 - 14:49
Demonstration
Demonstrations
Xuan-Bach D. LeSingapore Management University, Singapore, Duc-Hiep ChuNational University of Singapore, David LoSingapore Management University, Claire Le GouesCarnegie Mellon University, Willem VisserStellenbosch University
DOI
14:49 - 14:52
Demonstration
Demonstrations
Ben SpencerUniversity of Oxford, Michael BenediktUniversity of Oxford, UK, Anders MøllerAarhus University, Franck van BreugelYork University, Canada
DOI
14:52 - 14:54
Demonstration
Demonstrations
Vanya YanevaUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh, UK, Christophe DubachUniversity of Edinburgh
DOI
14:54 - 14:56
Demonstration
Demonstrations
Lennon ChavesFederal University of Amazonas, Brazil, Iury BessaFederal University of Amazonas, Brazil, Lucas C. CordeiroUniversity of Oxford, UK, Eddie LimaSamsung Electronics, Brazil, Daniel KroeningUniversity of Oxford
DOI
14:56 - 14:58
Demonstration
Demonstrations
Sylvain HalléUniversité du Québec à Chicoutimi, Canada, Raphael KhouryUniversité du Québec à Chicoutimi, Canada
DOI
14:58 - 15:00
Demonstration
Demonstrations
Casey CasalnuovoUniversity of California at Davis, USA, Yagnik SuchakUniversity of California at Davis, USA, Baishakhi Ray, Cindy Rubio-GonzálezUniversity of California, Davis
DOI
15:00 - 15:02
Demonstration
Demonstrations
Dmitry NurmuradovUniversity of North Texas, USA, Renee BryceUniversity of North Texas
DOI
15:02 - 15:04
Demonstration
Demonstrations
Sylvain HalléUniversité du Québec à Chicoutimi, Canada
DOI

Tue 11 Jul
Times are displayed in time zone: Tijuana, Baja California change

15:00 - 16:00: Demonstrations 2Demonstrations at Bren 1424
15:00 - 16:00
Demonstration
Demonstrations
Sylvain HalléUniversité du Québec à Chicoutimi, Canada, Raphael KhouryUniversité du Québec à Chicoutimi, Canada
DOI
15:00 - 16:00
Demonstration
Demonstrations
Sonal MahajanUniversity of Southern California, USA, Abdulmajeed AlameerUniversity of Southern California, USA, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
DOI
15:00 - 16:00
Demonstration
Demonstrations
John-Paul OreUniversity of Nebraska-Lincoln, USA, Carrick DetweilerUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
DOI
15:00 - 16:00
Demonstration
Demonstrations
Vanya YanevaUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh, UK, Christophe DubachUniversity of Edinburgh
DOI
15:00 - 16:00
Demonstration
Demonstrations
Antoine El-HokayemGrenoble Alpes University, France / Inria, France / CNRS, France, Yliès FalconeUniv. Grenoble Alpes, Inria
DOI
15:00 - 16:00
Demonstration
Demonstrations
Lennon ChavesFederal University of Amazonas, Brazil, Iury BessaFederal University of Amazonas, Brazil, Lucas C. CordeiroUniversity of Oxford, UK, Eddie LimaSamsung Electronics, Brazil, Daniel KroeningUniversity of Oxford
DOI
15:00 - 16:00
Demonstration
Demonstrations
Thomas WalshUniversity of Sheffield, UK, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield
DOI