Sonia R. Sachs

11 papers A* 2C 2Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2007 — conf
A New Way to Plan for the Future.
HICSS
Ray Strong, Joseph Ryan, Doug McDavid, Ying Leung, Ruoyi Zhou, Eric Strauss, John Bosma, Tony Sabbadini, David Jarvis, Sonia R. Sachs, Peter Bishop, Cody Clark
2007 C conf
Multi-agent Model of Technological Shifts.
MABS
James G. McCarthy, Tony Sabbadini, Sonia R. Sachs
2003 J jnl
Taming heterogeneity - the Ptolemy approach.
Proc. IEEE
Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu, Xiaojun Liu, Jozsef Ludvig, Stephen Neuendorffer, Sonia R. Sachs, Yuhong Xiong
2002 J jnl
Reprogrammable Platforms for High-Speed Data Acquisition.
Des. Autom. Embed. Syst.
Jozsef Ludvig, James G. McCarthy, Stephen Neuendorffer, Sonia R. Sachs
1999 J jnl
Modelling Asynchrony with a Synchronous Model.
Formal Methods Syst. Des.
Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
1997 J jnl
Formal Verification of a Distributed Computer System.
Formal Methods Syst. Des.
Michael Merritt, Ariel Orda, Sonia R. Sachs
1996 C conf
Working Group Report on Electronic Notebooks.
WETICE
Sonia R. Sachs, James Meyers
1995 A* conf
Modelling Asynchrony with a Synchronous Model.
CAV
Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
1994 J jnl
A Structural Linearization Principle for Processes.
Formal Methods Syst. Des.
Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
1993 A* conf
A Structural Linearization Principle for Processes.
CAV
Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs
1988 J jnl
Alternative local area network access protocols.
IEEE Commun. Mag.
Sonia R. Sachs