Search: (more)
Header

Search Result

2016

BibTeX Search WWW PDF   [Bai16]
Y. Bai
Model-based Design of Embedded Systems by Desynchronization
PhD Thesis

2015

BibTeX Search WWW PDF   [Shaz15]
T. Shazadi
Evaluation of Dataflow Process Networks Mapping on Multi-core Processors
Master Thesis

2014

BibTeX Search WWW PDF   [BSBK14]
Y. Bai and K. Schneider and N. Bhardwaj and B. Katti and T. Shazadi
From Clock-Driven to Data-Driven Models
Formal Methods and Models for Codesign (MEMOCODE)
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   [BaBS14]
D. Baudisch and Y. Bai and K. Schneider
Reducing the Communication of Message-Passing Systems Synthesized from Synchronous Programs
Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP)
BibTeX Search WWW PDF   [BaSc14]
Y. Bai and K. Schneider
Isochronous Networks by Construction
Design, Automation and Test in Europe (DATE)
BibTeX Search WWW PDF   [BrSB14]
J. Brandt and K. Schneider and Y. Bai
Passive Code in Synchronous Programs
Transactions on Embedded Computing Systems (TECS)
BibTeX Search WWW PDF   [KhBS14]
M. Ammar Ben Khadra and Y. Bai and K. Schneider
Synthesis of Distributed Synchronous Specifications to SysteMoC
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
BibTeX Search WWW PDF   [KhBS14a]
M.A. Ben Khadra and Y. Bai and K. Schneider
High Level Modeling of Elastic Circuits in SystemC
Symposium on Theory of Modeling and Simulation (TMS/DEVS)
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   [Maca14]
M.N. Basurto Macavilca
Endochrony of Distributed Systems
Diploma Thesis
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   [Thie14]
D. Thielsch
Analysis of Concurrency in Synchronous Systems
Master Thesis

2013

BibTeX Search WWW PDF   [Khad13]
M.A. Ben Khadra
A Model-based Approach To Sychronous Elastic Systems
Master Thesis

2012

BibTeX Search WWW PDF   [BaBS12b]
Y. Bai and J. Brandt and K. Schneider
Preservation of LTL Properties in Desynchronized Systems
Formal Methods and Models for Codesign (MEMOCODE)
BibTeX Search WWW PDF   [BaBS12c]
Y. Bai and J. Brandt and K. Schneider
Monitoring Distributed Reactive Systems
High Level Design Validation and Test Workshop (HLDVT)

2011

BibTeX Search WWW PDF   [BaBS11]
Y. Bai and J. Brandt and K. Schneider
Data-Flow Analysis of Extended Finite State Machines
Application of Concurrency to System Design (ACSD)
BibTeX Search WWW PDF   [BaBS11a]
Y. Bai and J. Brandt and K. Schneider
SMT-Based Optimization for Synchronous Programs
Software and Compilers for Embedded Systems (SCOPES)

2010

BibTeX Search WWW PDF   [Bai10]
Y. Bai
Dependency Analysis of Synchronous Programming Languages
Master Thesis