Search: (more)
Header

Search Result

2017

BibTeX Search WWW PDF   [BhSc17b]
A. Bhagyanath and K. Schneider
Exploring Different Execution Paradigms in Exposed Datapath Architectures with Buffered Processing Units
Presentation
BibTeX Search WWW PDF   [BhSc17c]
A. Bhagyanath and K. Schneider
Exploring the Potential of Instruction-Level Parallelism of Exposed Datapath Architectures with Buffered Processing Units
Presentation
BibTeX Search WWW PDF   [JaSJ17a]
T. Jain and K. Schneider and A. Jain
An Efficient Self-Routing and Non-Blocking Interconnection Network on Chip
Presentation
BibTeX Search WWW PDF   [JaSW17a]
T. Jain and K. Schneider and F. Walk
Out-of-Order Execution of Buffered Function Units in Exposed Data Path Architectures
Presentation

2016

BibTeX Search WWW PDF   [BhJS16a]
A. Bhagyanath and T. Jain and K. Schneider
Towards Code Generation for the Synchronous Control Asynchronous Dataflow (SCAD) Architectures
Presentation
BibTeX Search WWW PDF   [BhSc16a]
A. Bhagyanath and K. Schneider
Optimal Compilation for Exposed Datapath Architectures with Buffered Processing Units by SAT Solvers
Presentation
BibTeX Search WWW PDF   [JaSB16a]
T. Jain and K. Schneider and A. Bhagyanath
The Selector-Tree Network: A New Self-Routing and Nonblocking Interconnection Network
Presentation
BibTeX Search WWW PDF   [JaSc16a]
T. Jain and K. Schneider
Verifying the Concentration Property of Permutation Networks by BDDs
Presentation
BibTeX Search WWW PDF   [LiSc16b]
X. Li and K. Schneider
Control-flow Guided Clause Generation for Property Directed Reachability
Presentation
BibTeX Search WWW PDF   [LiSc16d]
X. Li and K. Schneider
Control-flow Guided Property Directed Reachability for Synchronous Programs
Presentation
BibTeX Search WWW PDF   [RBLS16a]
T. Ropertz and K. Berns and X. Li and K. Schneider
Verification of Behavior-Based Control Systems in their Physical Environment
Presentation
BibTeX Search WWW PDF   [RaSc16b]
O. Rafique and K. Schneider
Introducing MoC Drivers for the Integration of Sensor-Actuator Behaviors in Model-Based Design Flows of Embedded Systems
Presentation
BibTeX Search WWW PDF   [RaSc16c]
O. Rafique and K. Schneider
MoC Drivers for the Integration of Sensor-Actuator Behaviors in Model-Based Design Flows of Embedded Systems
Presentation
BibTeX Search WWW PDF   [SeSc16a]
M. Senftleben and K. Schneider
Specifying Weak Memory Consistency with Temporal Logic
Presentation

2015

BibTeX Search WWW PDF   [BhJS15a]
A. Bhagyanath and T. Jain and K. Schneider
A Time-Predictable Model of Computation
Presentation
BibTeX Search WWW PDF   [LiSc15e]
X. Li and K. Schneider
A Counterexample-Guided Approach to Symbolic Simulation of Hybrid Systems
Presentation

2014

BibTeX Search WWW PDF   [BSBK14a]
Y. Bai and K. Schneider and N. Bhardwaj and B. Katti and T. Shazadi
From Clock-Driven to Data-Driven Models
Presentation
BibTeX Search WWW PDF   [BSBK14b]
Y. Bai and K. Schneider and N. Bhardwaj and B. Katti and T. Shazadi
From Clock-Driven to Data-Driven Models
Presentation
BibTeX Search WWW PDF   [BhSS14a]
N. Bhardwaj and M. Senftleben and K. Schneider
Abacus – A Processor Family for Education
Presentation
BibTeX Search WWW PDF   [BhSc14a]
A. Bhagyanath and K. Schneider
TTA as Predictable Architecture for Real-Time Applications
Presentation
BibTeX Search WWW PDF   [FMSS14a]
F. Furbach and R. Meyer and K. Schneider and M. Senftleben
Memory Model-aware Testing -- A Unified Complexity Analysis
Presentation
BibTeX Search WWW PDF   [GeBS14a]
M. Gesell and F. Bichued and K. Schneider
Using Different Representations of Synchronous Systems in SAL
Presentation
BibTeX Search WWW PDF   [KhBS14b]
M.A. Ben Khadra and Y. Bai and K. Schneider
Synthesis of Distributed Synchronous Specifications to SysteMoC
Presentation
BibTeX Search WWW PDF   [LiSc14b]
X. Li and K. Schneider
Interactive Verification of Hybrid Systems
Presentation
BibTeX Search WWW PDF   [RSFB14]
A. Gerlinger Romero and K. Schneider and M. Gonçalves Vieira Ferreira and Y. Bai
Using the Base Semantics given by fUML for Verification
Presentation
BibTeX Search WWW PDF   [RoSF14b]
A. Gerlinger Romero and K. Schneider and M. Gonçalves Vieira Ferreira
Integrating UML Composite Structures and fUML
Presentation
BibTeX Search WWW PDF   [ScWi14a]
K. Schneider and A. Willenbücher
A New Algorithm for Carry-Free Addition of Binary Signed-Digit Numbers
Presentation

2013

BibTeX Search WWW PDF   [GeLS13]
M. Gesell and X. Li and K. Schneider
Interactive Verification of Cyber-physical Systems
Presentation
BibTeX Search WWW PDF   [GeMS13a]
M. Gesell and A. Morgenstern and K. Schneider
Lifting Verification Results for Preemption Statements
Presentation
BibTeX Search WWW PDF   [GeSc13b]
M. Gesell and K. Schneider
Modular Verification of Synchronous Programs
Presentation
BibTeX Search WWW PDF   [GeSc13d]
M. Gesell and K. Schneider
Translating Synchronous Guarded Actions to Interleaved Guarded Actions
Presentation
BibTeX Search WWW PDF   [LiBS13a]
X. Li and K. Bauer and K. Schneider
Interactive Verification of Cyber-physical Systems Interfacing Averest and KeYmaera
Presentation
BibTeX Search WWW PDF   [MSLG13]
A. Morgenstern and K. Schneider and S. Lamberti and M. Gesell
From LTL to Symbolically Represented Deterministic Automata
Presentation
BibTeX Search WWW PDF   [MoGS13a]
A. Morgenstern and M. Gesell and K. Schneider
Solving Games Using Incremental Induction
Presentation
BibTeX Search WWW PDF   [RaGS13b]
O. Rafique and M. Gesell and K. Schneider
Generating Hardware-Specific Code at Different Abstraction Levels using Averest
Presentation
BibTeX Search WWW PDF   [RoSF13b]
A. Gerlinger Romero and K. Schneider and M. Gonçalves Vieira Ferreira
Synchronous Specialization of Alf for Cyber-Physical Systems
Presentation
BibTeX Search WWW PDF   [RoSF13c]
A. Gerlinger Romero and K. Schneider and M. Gonçalves Vieira Ferreira
Towards the Applicability of Alf to Model Cyber-Physical Systems
Presentation
BibTeX Search WWW PDF   [WiSc13a]
A. Willenbücher and K. Schneider
Automatic Hard Block Inference on FPGAs
Presentation

2012

BibTeX Search WWW PDF   [BaBS12d]
D. Baudisch and J. Brandt and K. Schneider
Out-Of-Order Execution of Synchronous Data-Flow Networks
Presentation
BibTeX Search WWW PDF   [BaBS12e]
D. Baudisch and J. Brandt and K. Schneider
Efficient Handling of Arrays in Dataflow Process Networks
Presentation

2011

BibTeX Search WWW PDF   [BaBS11c]
D. Baudisch and J. Brandt and K. Schneider
Translating Synchronous Systems to Data-Flow Process Networks
Presentation
BibTeX Search WWW PDF   [MoSc11e]
A. Morgenstern and K. Schneider
Synthesis of Sorting Networks using SAT Solvers
Presentation
BibTeX Search WWW PDF   [MoSc11f]
A. Morgenstern and K. Schneider
Program Sketching via CTL* Model Checking
Presentation

2010

BibTeX Search WWW PDF   [BaBS10c]
D. Baudisch and J. Brandt and K. Schneider
Multithreaded Code from Synchronous Programs: Extracting Independent Threads for OpenMP
Presentation
BibTeX Search WWW PDF   [BaBS10d]
D. Baudisch and J. Brandt and K. Schneider
Multithreaded Code from Synchronous Programs: Generating Software Pipelines for OpenMP
Presentation
BibTeX Search WWW PDF   [BaBS10e]
D. Baudisch and J. Brandt and K. Schneider
Dependency-Driven Distribution of Synchronous Programs
Presentation
BibTeX Search WWW PDF   [MoSc10a]
A. Morgenstern and K. Schneider
Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis
Presentation

2009

BibTeX Search WWW PDF   [BaGS09c]
D. Baudisch and M. Gesell and K. Schneider
Online Exercise System -- A Web-Based Tool for Administration and Automatic Correction of Exercises
Presentation

2008

BibTeX Search WWW PDF   [MoSL08b]
A. Morgenstern and K. Schneider and S. Lamberti
Generating Deterministic ω-Automata for most LTL formulas by the Breakpoint Construction
Presentation
BibTeX Search WWW PDF   [MoSc08c]
A. Morgenstern and K. Schneider
From LTL to Symbolically Represented Deterministic Automata
Presentation

2005

BibTeX Search WWW PDF   [MoSc05c]
A. Morgenstern and K. Schneider
Using Model Checking to Solve Supervisor Synthesis Problems
Presentation
BibTeX Search WWW PDF   [MoSc05d]
A. Morgenstern and K. Schneider
Synthesizing Deterministic Controllers in Supervisory Control
Presentation