Marly Roncken - RankMe

33 papers A* 2A 3Misc 1Journal 8Unranked 19

Year	Rank	Type	Title / Venue / Authors
2023	—	`conf`	Flexible Compilation and Refinement of Asynchronous Circuits. ASYNC Ebelechukwu Esimai, Marly Roncken
2022	J	`jnl`	Flexible Active-Passive and Push-Pull Protocols. IEEE Embed. Syst. Lett. Ebelechukwu Esimai, Marly Roncken
2019	—	`conf`	A Hierarchical Approach to Self-Timed Circuit Verification. ASYNC Cuong K. Chau, Warren A. Hunt Jr., Matt Kaufmann, Marly Roncken, Ivan E. Sutherland
2019	J	`jnl`	Mutual Exclusion Sizing for Hoi Polloi. IEEE Trans. Circuits Syst. II Express Briefs Swetha Mettala Gilla, Marly Roncken, Ivan E. Sutherland, Xiaoyu Song
2018	—	`conf`	Data-Loop-Free Self-Timed Circuit Verification. ASYNC Cuong K. Chau, Warren A. Hunt Jr., Matt Kaufmann, Marly Roncken, Ivan E. Sutherland
2017	—	`conf`	A Framework for Asynchronous Circuit Modeling and Verification in ACL2. Haifa Verification Conference Cuong K. Chau, Warren A. Hunt Jr., Marly Roncken, Ivan E. Sutherland
2017	Misc	`conf`	How to think about self-timed systems. ACSSC Marly Roncken, Ivan E. Sutherland, Chris Chen, Yong Hei, Warren A. Hunt Jr., Cuong K. Chau, Swetha Mettala Gilla, Hoon Park, Xiaoyu Song, Anping He, Hong Chen
2016	J	`jnl`	Modular Timing Constraints for Delay-Insensitive Systems. J. Comput. Sci. Technol. Hoon Park, Anping He, Marly Roncken, Xiaoyu Song, Ivan E. Sutherland
2015	—	`conf`	Naturalized Communication and Testing. ASYNC Marly Roncken, Swetha Mettala Gilla, Hoon Park, Navaneeth Jamadagni, Chris Cowan, Ivan E. Sutherland
2010	—	`conf`	Long-Range GasP with Charge Relaxation. ASYNC Swetha Mettala Gilla, Marly Roncken, Ivan E. Sutherland
2010	—	`conf`	Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment. Concurrency, Compositionality, and Correctness Prasad Joshi, Peter A. Beerel, Marly Roncken, Ivan E. Sutherland
2007	—	`conf`	Asynchronous on-Chip Communication: Explorations on the Intel PXA27x Processor Peripheral Bus. ASYNC Andrew M. Scott, Mark E. Schuelein, Marly Roncken, Jin-Jer Hwan, John Bainbridge, John R. Mawer, David L. Jackson, Andrew Bardsley
2007	J	`jnl`	Low Power and Energy Efficient Asynchronous Design. J. Low Power Electron. Peter A. Beerel, Marly Roncken
2004	A*	`conf`	Rob Tristan Gerth: 1956?2003. CAV John O'Leary, Marly Roncken
2001	J	`jnl`	An asynchronous instruction length decoder. IEEE J. Solid State Circuits Kenneth S. Stevens, Shai Rotem, Ran Ginosar, Peter A. Beerel, Chris J. Myers, Kenneth Y. Yun, Rakefet Kol, Charles Dike, Marly Roncken
2000	—	`conf`	CA-BIST for Asynchronous Circuits: A Case Study on the RAPPID Asynchronous Instruction Length Decoder. ASYNC Marly Roncken, Ken S. Stevens, Rajesh Pendurkar, Shai Rotem, Parimal Pal Chaudhuri
2000	—	`conf`	DUDES: A Fault Abstraction and Collapsing Framework for Asynchronous Circuits. ASYNC Philip P. Shirvani, Subhasish Mitra, Jo C. Ebergen, Marly Roncken
2000	—	`conf`	Fsimac: a fault simulator for asynchronous sequential circuits. Asian Test Symposium Susmita Sur-Kolay, Marly Roncken, Ken S. Stevens, Parimal Pal Chaudhuri, Rob Roy
1999	A*	`conf`	CAD Directions for High Performance Asynchronous Circuits. DAC Ken S. Stevens, Shai Rotem, Steven M. Burns, Jordi Cortadella, Ran Ginosar, Michael Kishinevsky, Marly Roncken
1999	J	`jnl`	Defect-oriented testability for asynchronous ICs. Proc. IEEE Marly Roncken
1999	—	`conf`	RAPPID: An Asynchronous Instruction Length Decoder. ASYNC Shai Rotem, Ken S. Stevens, Charles Dike, Marly Roncken, Boris Agapiev, Ran Ginosar, Rakefet Kol, Peter A. Beerel, Chris J. Myers, Kenneth Y. Yun
1996	A	`conf`	Asynchronous Design: Working the Fast Lane. ITC Marly Roncken
1996	A	`conf`	Optimal Scan for Pipelined Testing: An Asynchronous Foundation. ITC Marly Roncken, Emile H. L. Aarts, Wim F. J. Verhaegh
1996	A	`conf`	Test Quality of Asynchronous Circuits: A Defect-oriented Evaluation. ITC Marly Roncken, Eric Bruls
1995	—	`conf`	A single-rail re-implementation of a DCC error detector using a generic standard-cell library. ASYNC Kees van Berkel, Ronan Burgess, Joep L. W. Kessels, Ad M. G. Peeters, Marly Roncken, Frits D. Schalij, Rik van de Wiel
1994	J	`jnl`	A fully asynchronous low-power error corrector for the DCC player. IEEE J. Solid State Circuits Kees van Berkel, Ronan Burgess, Joep L. W. Kessels, Ad M. G. Peeters, Marly Roncken, Frits D. Schalij
1994	J	`jnl`	Asynchronous Circuits for Low Power: A DCC Error Corrector. IEEE Des. Test Comput. Kees van Berkel, Ronan Burgess, Joep L. W. Kessels, Marly Roncken, Frits D. Schalij, Ad M. G. Peeters
1994	—	`conf`	Partial scan test for asynchronous circuits illustrated on a DCC error corrector. ASYNC Marly Roncken
1993	—	`conf`	Characterization and Evaluation of a Compiled Asynchronous IC. Asynchronous Design Methodologies Kees van Berkel, Ronan Burgess, Joep L. W. Kessels, Marly Roncken, Frits D. Schalij
1993	—	`conf`	Linear Test Times for Delay-Insensitive Circuits: a Compilation Strategy. Asynchronous Design Methodologies Marly Roncken, Ronald Saeijs
1991	—	`conf`	The VLSI-programming language tangram and its translation into handshake circuits. EURO-DAC Kees van Berkel, Joep L. W. Kessels, Marly Roncken, Ronald Saeijs, Frits D. Schalij
1982	—	`conf`	Procedures and concurrency: A study in proof. Symposium on Programming Rob Gerth, Willem P. de Roever, Marly Roncken
1981	—	`conf`	A Proof System for Brinch Hansen's Distributed Processes. GI Jahrestagung Marly Roncken, Rob Gerth, Willem P. de Roever