Konferenzveröffentlichung

Seffrin, André ; Huss, Sorin (2011)
Determining Minimum Interconnect for Reconfigurable Hardware by Analysis and Verification of Pi-Calculus Design Specifications.
Konferenzveröffentlichung, Bibliographie

Seffrin, André ; Huss, Sorin (2011)
Minimal Physical Resource Allocation of Pi-Calculus Schedules to Dynamically Reconfigurable Platforms.
Konferenzveröffentlichung, Bibliographie

Molter, Gregor ; Seffrin, André ; Huss, Sorin (2011)
State Space Optimization within the DEVS Model of Computation for Timing Efficiency.
Konferenzveröffentlichung, Bibliographie

Seffrin, André ; Malipatlolla, Sunil ; Huss, Sorin (2010)
A Novel Design Flow for Tamper-Resistant Self-Healing Properties of FPGA Devices without Configuration Readback Capability.
Konferenzveröffentlichung, Bibliographie

Seffrin, André ; Biedermann, Alexander ; Huss, Sorin (2010)
Tiny-Pi: A Novel Formal Method for Specification, Analysis, and Verification of Dynamic Partial Reconfiguration Processes.
Konferenzveröffentlichung, Bibliographie

Seffrin, André ; Biedermann, Alexander (2010)
Cellular-Array Implementations of Bio-Inspired Self-Healing Systems: State of the Art and Future Perspectives.
Konferenzveröffentlichung, Bibliographie

Molter, Gregor ; Seffrin, André ; Huss, Sorin (2009)
DEVS2VHDL: Automatic Transformation of XML-specified DEVS Model of Computation into Synthesizable VHDL Code.
Konferenzveröffentlichung, Bibliographie

Dissertation

Seffrin, André (2012)
A process-algebraic approach to security-aware scheduling of dynamic partial reconfiguration on FPGA devices.
Technische Universität Darmstadt
Dissertation, Bibliographie