Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

49 résultats
Image document

Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance

Matthias Függer , Attila Kinali , Christoph Lenzen , Ben Wiederhake
24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), May 2018, Wien, Austria
Communication dans un congrès hal-01936403v1
Image document

Synthesis in Presence of Dynamic Links

Béatrice Bérard , Benedikt Bollig , Patricia Bouyer , Matthias Függer , Nathalie Sznajder
GandALF'20 - 11th International Symposium on Games, Automata, Logics, and Formal Verification, Sep 2020, Brussels (online), Belgium
Communication dans un congrès hal-02917542v1

Multidimensional Asymptotic Consensus in Dynamic Networks

Bernadette Charron-Bost , Matthias Függer , Thomas Nowak
[Research Report] Arxiv. 2016
Rapport hal-01789019v1
Image document

Unfaithful Glitch Propagation in Existing Binary Circuit Models

Matthias Függer , Thomas Nowak , Ulrich Schmid
ASYNC 2013 - IEEE 19th International Symposium on Asynchronous Circuits and Systems, May 2013, Santa Monica, United States. pp.191-199, ⟨10.1109/ASYNC.2013.9⟩
Communication dans un congrès hal-00993796v1
Image document

Digital Circuit Design for Biological and Silicon Computers

Matthias Függer , Manish Kushwaha , Thomas Nowak
Advances in Synthetic Biology, Springer Singapore, pp.153-171, 2020, ⟨10.1007/978-981-15-0081-7_9⟩
Chapitre d'ouvrage hal-02549707v1
Image document

Transistor-Level Analysis of Dynamic Delay Models

Jürgen Maier , Matthias Függer , Thomas Nowak , Ulrich Schmid
ASYNC 2019 - 25th IEEE International Symposium on Asynchronous Circuits and Systems, May 2019, Hirosaki, Japan. pp.76-85, ⟨10.1109/ASYNC.2019.00019⟩
Communication dans un congrès hal-02395229v1
Image document

On the Susceptibility of QDI Circuits to Transient Faults

Raghda El Shehaby , Matthias Függer , Andreas Steininger
FORMATS 2023 - International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2023, Antwerp, Belgium. pp.69-85, ⟨10.1007/978-3-031-42626-1_5⟩
Communication dans un congrès hal-04266002v1

New transience bounds for max-plus linear systems

Bernadette Charron-Bost , Matthias Függer , Thomas Nowak
Discrete Applied Mathematics, 2017, 219, pp.83 - 99. ⟨10.1016/j.dam.2016.11.003⟩
Article dans une revue hal-01738257v1
Image document

Computing at the border of abstractions: the power of timed, non-binary, distributed circuits

Matthias Függer
Computer Science [cs]. ENS Paris-Saclay, France, 2022
HDR tel-04308490v1
Image document

A Composable Glitch-Aware Delay Model

Jürgen Maier , Daniel Öhlinger , Ulrich Schmid , Matthias Függer , Thomas Nowak
GLSVLSI '21: Great Lakes Symposium on VLSI 2021, Jun 2021, Virtual Event, United States. pp.147-154, ⟨10.1145/3453688.3461519⟩
Communication dans un congrès hal-03451070v1
Image document

Metastability-Containing Circuits

Stephan Friedrichs , Matthias Függer , Christoph Lenzen
IEEE Transactions on Computers, 2018, pp.1167 - 1183. ⟨10.1109/TC.2018.2808185⟩
Article dans une revue hal-01936292v1
Image document

Tight Bounds for Asymptotic and Approximate Consensus

Matthias Függer , Thomas Nowak , Manfred Schwarz
ACM Symposium on Principles of Distributed Computing (PODC'18), Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212762⟩
Communication dans un congrès hal-01799039v1
Image document

Diffusive clock synchronization in highly dynamic networks

Matthias Függer , Thomas Nowak , Bernadette Charron-Bost
49th Annual Conference on Information Systems and Sciences (CISS 2015), Mar 2015, Baltimore, United States. ⟨10.1109/CISS.2015.7086841⟩
Communication dans un congrès hal-01231513v1
Image document

Fast Multidimensional Asymptotic and Approximate Consensus

Matthias Függer , Thomas Nowak
International Symposium on DIStributed Computing (DISC) 2018, Oct 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.27⟩
Communication dans un congrès hal-01936316v1
Image document

A synthetic communication system uncovers extracellular immunity that self-limits bacteriophage transmission

Amit Pathania , Corbin Hopper , Amir Pandi , Matthias Függer , Thomas Nowak , et al.
2022
Pré-publication, Document de travail hal-03670575v2
Image document

Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms

Bernadette Charron-Bost , Matthias Függer , Thomas Nowak
42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015), Jul 2015, Kyoto, Japan. pp.528-539, ⟨10.1007/978-3-662-47666-6_42⟩
Communication dans un congrès hal-01107422v2

Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models

Arman Ferdowsi , Matthias Függer , Thomas Nowak , Ulrich Schmid
26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), May 2023, San Antonio, United States
Communication dans un congrès hal-03973076v1
Image document

Generation of a fault-tolerant clock through redundant crystal oscillators

Wolfgang Dür , Matthias Függer , Andreas Steininger
Microelectronics Reliability, 2021, 120, pp.114088. ⟨10.1016/j.microrel.2021.114088⟩
Article dans une revue hal-03329844v1
Image document

Towards Binary Circuit Models That Faithfully Capture Physical Solvability

Matthias Függer , Robert Najvirt , Thomas Nowak , Ulrich Schmid
Design, Automation, and Test in Europe (DATE), Mar 2015, Grenoble, France
Communication dans un congrès hal-01107436v1
Image document

Synthesis in presence of dynamic links

Béatrice Bérard , Benedikt Bollig , Patricia Bouyer , Matthias Függer , Nathalie Sznajder
Information and Computation, 2022, 289 (Part B), pp.104856. ⟨10.1016/j.ic.2021.104856⟩
Article dans une revue hal-03518879v1
Image document

Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance

Matthias Függer , Attila Kinali , Christoph Lenzen , Ben Wiederhake
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022, 41 (8), pp.2518-2531. ⟨10.1109/TCAD.2021.3097599⟩
Article dans une revue hal-03536906v1
Image document

The Effect of Forgetting on the Performance of a Synchronizer

Matthias Függer , Alexander Kössler , Thomas Nowak , Ulrich Schmid , Martin Zeiner
Performance Evaluation, 2015, 93, pp.1-16. ⟨10.1016/j.peva.2015.08.002⟩
Article dans une revue hal-01231498v1
Image document

Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks

Matthias Függer , Thomas Nowak , Manfred Schwarz
31st International Symposium on Distributed Computing (DISC), Oct 2017, Wien, Austria
Communication dans un congrès hal-01652851v1
Image document

Metastability Tolerant Computing

Ghaith Tarawneh , Matthias Függer , Christoph Lenzen
ASYNC17 - 23rd IEEE International Symposium on Asynchronous Circuits and Systems, May 2017, San Diego, United States
Communication dans un congrès hal-01652772v1
Image document

On the Radius of Nonsplit Graphs and Information Dissemination in Dynamic Networks

Matthias Függer , Thomas Nowak , Kyrill Winkler
Discrete Applied Mathematics, 2020
Article dans une revue hal-02946849v1
Image document

Reaching Agreement in Competitive Microbial Systems

Victoria Andaur , Janna Burman , Matthias Függer , Manish Kushwaha , Bilal Manssouri , et al.
2022
Pré-publication, Document de travail hal-03545888v1
Image document

A Faithful Binary Circuit Model with Adversarial Noise

Matthias Függer , Jürgen Maier , Robert Najvirt , Thomas Nowak , Ulrich Schmid
DATE 2018 - Design, Automation and Test in Europe Conference and Exhibition, Mar 2018, Dresden, Germany. ⟨10.23919/DATE.2018.8342219⟩
Communication dans un congrès hal-01738254v1

PALS: Plesiochronous and Locally Synchronous Systems

Johannes Bund , Matthias Függer , Christoph Lenzen , Moti Medina , Will Rosenbaum
ASYNC 2020 - 26th IEEE International Symposium on Asynchronous Circuits and Systems, May 2020, Salt Lake City, United States. pp.36-43, ⟨10.1109/ASYNC49171.2020.00013⟩
Communication dans un congrès hal-03070326v1
Image document

MobsPy: A Meta-species Language for Chemical Reaction Networks

Fabricio Cravo , Matthias Függer , Thomas Nowak , Gayathri Prakash
CMSB 2022 - International Conference on Computational Methods in Systems Biology, Sep 2022, Bucharest, Romania. pp.277-285, ⟨10.1007/978-3-031-15034-0_14⟩
Communication dans un congrès hal-03876041v1
Image document

The Involution Tool for Accurate Digital Timing and Power Analysis

Daniel Öhlinger , Jürgen Maier , Matthias Függer , Ulrich Schmid
Systems Integration, 2021, 76, pp.87-98. ⟨10.1016/j.vlsi.2020.09.007⟩
Article dans une revue hal-03070269v1