Robert Balzer

86 papers A* 26A 2Journal 19Unranked 39
YearRankTypeTitle / Venue / Authors
2012 — conf
STRATUS: Strategic and Tactical Resiliency against Threats to Ubiquitous Systems.
SASO Workshops
Mark H. Burstein, Robert P. Goldman, Paul Robertson, Robert Laddaga, Robert Balzer, Neil M. Goldman, Christopher W. Geib, Ugur Kuter, David D. McDonald, John Maraist, Peter Keller, David S. Wile
2010 — conf
Adapting COTS products.
ICSM
David S. Wile, Robert Balzer, Neil M. Goldman, Marcelo Tallis, Alexander Egyed, Tim Hollebeek
2010 — conf
Why haven't we automated programming.
FoSER
Robert Balzer
2008 — conf
A Functional Spreadsheet Framework for Authoring Logic Implication Rules.
RuleML
Marcelo Tallis, Robert Balzer
2007 J jnl
AWDRAT: A Cognitive Middleware System for Information Survivability.
AI Mag.
Howard E. Shrobe, Robert Laddaga, Robert Balzer, Neil M. Goldman, David S. Wile, Marcelo Tallis, Tim Hollebeek, Alexander Egyed
2007 J jnl
Adding deductive logic to a COTS spreadsheet.
Knowl. Eng. Rev.
Marcelo Tallis, Rand Waltzman, Robert Balzer
2007 — conf
Self-Adaptive Systems for Information Survivability: PMOP and AWDRAT.
SASO
Howard E. Shrobe, Robert Laddaga, Robert Balzer, Neil M. Goldman, David S. Wile, Marcelo Tallis, Tim Hollebeek, Alexander Egyed
2006 A* conf
AWDRAT: A Cognitive Middleware System for Information Survivability.
AAAI
Howard E. Shrobe, Robert Laddaga, Robert Balzer, Neil M. Goldman, David S. Wile, Marcelo Tallis, Tim Hollebeek, Alexander Egyed
2006 J jnl
Integrating COTS Software into Systems through Instrumentation and Reasoning.
Autom. Softw. Eng.
Alexander Egyed, Robert Balzer
2005 J jnl
Reflections on the First AAAI Conference.
AI Mag.
Robert Balzer
2004 A* conf
4th International Workshop on Adoption-Centric Software Engineering.
ICSE
Robert Balzer, Marin Litoiu, Hausi A. Müller, Dennis B. Smith, Margaret-Anne D. Storey, Scott R. Tilley, Kenny Wong
2003 A* conf
3rd International Workshop on Adoption-centric Software Engineering ACSE 2003.
ICSE
Robert Balzer, Jens H. Jahnke, Marin Litoiu, Hausi A. Müller, Dennis B. Smith, Margaret-Anne D. Storey, Scott R. Tilley, Ken Wong
2003 — conf
Evolution Stability through COTS Integration.
IWPSE
Robert Balzer
2003 A* conf
Modularity in the New Millenium: A Panel Summary.
ICSE
Premkumar T. Devanbu, Robert Balzer, Don S. Batory, Gregor Kiczales, John Launchbury, David Lorge Parnas, Peri L. Tarr
2003 — conf
Safe Email, Safe Office, and Safe Web Browser.
DISCEX (2)
Robert Balzer
2002 A* conf
Living with COTS.
ICSE
Robert Balzer
2002 J jnl
The Briefing Associate: Easing Authors into the Semantic Web.
IEEE Intell. Syst.
Marcelo Tallis, Neil M. Goldman, Robert Balzer
2001 A* conf
"Tolerating Inconsistency" Revisited.
ICSE
Robert Balzer
2001 A* conf
Process-Centered Software Engineering Environments: Academic and Industrial Perspectives.
ICSE
Robert Balzer, Volker Gruhn
2001 — conf
The Briefing Associate: A Role for COTS applications in the Semantic Web.
SWWS
Marcelo Tallis, Neil M. Goldman, Robert Balzer
2001 A* conf
Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability.
ASE
Alexander Egyed, Robert Balzer
2000 — conf
Keynote on "Current State and Future Perspectives of Software Process Technology".
EWSPT
Robert Balzer
1999 — conf
The ISI Visual Design Editor Generator.
VL
Neil M. Goldman, Robert Balzer
1998 — conf
An Architectural Infrastructure for Product Families.
ESPRIT ARES Workshop
Robert Balzer
1996 — conf
Enforcing architecture constraints.
ISAW/Viewpoints@FSE
Robert Balzer
1996 — conf
Supporting product line development.
ISPW
Robert Balzer
1994 — conf
Process definition formalism maturity levels.
ISPW
Robert Balzer
1993 — conf
Generic Process Support.
ISPW
Robert Balzer
1993 — conf
Interactive elaboration of generic designs.
KBSE
W. Lewis Johnson, K. Narayanaswamy, Robert Balzer
1993 — conf
Mechanisms for Generic Process Support.
SIGSOFT FSE
Robert Balzer, K. Narayanaswamy
1993 J jnl
Retrospective on "The Organization of Expert Systems, a Tutorial".
Artif. Intell.
Mark Stefik, Janice S. Aikins, Robert Balzer, John Benoit, Lawrence Birnbaum, Frederick Hayes-Roth, Earl D. Sacerdoti
1992 A conf
The OO Software Development Process (Panel).
OOPSLA
Dennis de Champeaux, Robert Balzer, Dave Bulman, Kathleen Culver-Lozo, Ivar Jacobson, Stephen J. Mellor
1991 — conf
Process virtual machine.
ISPW
Robert Balzer
1991 A* conf
Tolerating Inconsistency.
ICSE
Robert Balzer
1990 A* conf
AI and Software Engineering: Will the Twain Ever Meet?
AAAI
Robert Balzer
1990 — conf
What we do and don't know about the software process.
ISPW
Robert Balzer
1989 — conf
Experiencing the Next Generation Computing Environment.
SEE
Robert Balzer
1989 — conf
Hypertext and Software Engineering.
Hypertext
Robert Balzer, Michael L. Begeman, Pankaj K. Garg, Mayer D. Schwartz, Ben Shneiderman
1989 A* conf
Software Engineering in the Year 2001.
ICSE
Robert Balzer
1989 — conf
Tolerating inconsistency.
ISPW
Robert Balzer
1988 — conf
Process programming: passing into new phase.
ISPW
Robert Balzer
1986 — conf
Living in the Next Generation Operating System (Invited Paper).
IFIP Congress
Robert Balzer
1985 J jnl
A 15 Year Perspective on Automatic Programming.
IEEE Trans. Software Eng.
Robert Balzer
1985 A* conf
Automated Enhancement of Knowledge Representations.
IJCAI
Robert Balzer
1985 A* conf
Panel Description: The Role of Logic and AI in the Software Enterprise.
ICSE
Robert Balzer
1985 — conf
Program enhancement.
ISPW
Robert Balzer
1984 — conf
Knowledge Base Management Systems: Discussions from the Working Group.
Expert Database Workshop
Michael L. Brodie, Robert Balzer, Gio Wiederhold, Ronald J. Brachman, John Mylopoulos
1984 — conf
Software technology in the 1990's: using a new paradigm.
ISPW
Robert Balzer, Thomas E. Cheatham Jr., C. Cordell Green
1984 A* conf
Specification-Based Computing Environments for Information Management.
ICDE
Robert Balzer, Neil M. Goldman, Robert Neches
1983 — conf
Knowledge-based debugging: session summary.
SIGSOFT
Mark A. Linton, Robert Balzer, R. J. Cunningham, C. Cordell Green, Robert L. Sedlmeyer, Elliott Solloway, William R. Swartout, Pamela Zave
1983 J jnl
Software Technology in the 1990's: Using a New Paradigm.
Computer
Robert Balzer, Thomas E. Cheatham Jr., C. Cordell Green
1983 A* conf
Specification-Based Computing Environments.
AAAI
Robert Balzer, David Dyer, Matthew Morgenstern, Robert Neches
1982 J jnl
On the Inevitable Interwining of Specification and Implementation.
Commun. ACM
William R. Swartout, Robert Balzer
1982 — conf
Panel Discussion.
COMPCON
Les Belady, Susan S. Owicki, Robert Balzer, Bill Curtis
1982 A* conf
Specification-Based Computing Environments.
VLDB
Robert Balzer, David Dyer, M. Fehling, S. Saunders
1982 J jnl
The Organization of Expert Systems, A Tutorial.
Artif. Intell.
Mark Stefik, Jan Aikins, Robert Balzer, John Benoit, Lawrence Birnbaum, Frederick Hayes-Roth, Earl D. Sacerdoti
1982 — conf
Using symbolic execution to characterize behavior.
Rapid Prototyping
Donald Cohen, William R. Swartout, Robert Balzer
1981 J jnl
Advanced development support systems.
ACM SIGSOFT Softw. Eng. Notes
Thomas A. Standish, Robert Balzer, David R. Barstow, Meera Blattner, Martha A. Branstad, John N. Buxton, Adele Goldberg, Robert Morris, Stephen L. Squires
1981 A* conf
Application Downloading.
ICSE
Robert Balzer, Alvin S. Cooperband, Martin S. Feather, Philip E. London, David S. Wile
1981 J jnl
Editorial: Program Transformations.
IEEE Trans. Software Eng.
Robert Balzer, Thomas E. Cheatham Jr.
1981 — conf
Principles of good software specification and their implications for specification languages.
AFIPS National Computer Conference
Robert Balzer, Neil M. Goldman
1981 J jnl
Transformational Implementation: An Example.
IEEE Trans. Software Eng.
Robert Balzer
1980 — conf
Dynamic System Specification.
Workshop on Data Abstraction, Databases and Conceptual Modelling
Robert Balzer
1980 A* conf
HEARSAY-II: A Domain-Independent Framework for Expert Systems.
AAAI
Robert Balzer, Lee D. Erman, Philip London, Chuck Williams
1980 A* ed.
Proceedings of the 1st Annual National Conference on Artificial Intelligence, Stanford University, CA, USA, August 18-21, 1980.
AAAI
Robert Balzer
1980 — conf
What Should Be Modelled? (discussion).
Workshop on Data Abstraction, Databases and Conceptual Modelling
Robert Balzer
1979 A conf
An Implementation Methodology for Semantic Data Base Models.
ER
Robert Balzer
1978 — conf
Artifical intelligence overview.
AFIPS National Computer Conference
Robert Balzer
1978 — conf
Automatic programming overview.
AFIPS National Computer Conference
Robert Balzer
1978 J jnl
Informality in Program Specifications.
IEEE Trans. Software Eng.
Robert Balzer, Neil M. Goldman, David S. Wile
1978 — conf
Informality in program specifications.
AFIPS National Computer Conference
Robert Balzer, Neil M. Goldman, David Wile
1978 — conf
Transformational implementation.
AFIPS National Computer Conference
David Wile, Robert Balzer
1977 — conf
Automated derivation of program control structure from natural language program descriptions.
Artificial Intelligence and Programming Languages
David S. Wile, Robert Balzer, Neil M. Goldman
1977 A* conf
Informality in Program Specifications.
IJCAI
Robert Balzer, Neil M. Goldman, David S. Wile
1977 A* conf
Meta-Evaluation as a Tool for Program Understanding.
IJCAI
Robert Balzer, Neil M. Goldman, David S. Wile
1977 J jnl
On the use of programming knowledge to understand informal process descriptions.
SIGART Newsl.
Robert Balzer, Neil M. Goldman, David Wile
1977 A* conf
The Use of a Domain Model in Understanding Informal Process Descriptions.
IJCAI
Neil M. Goldman, Robert Balzer, David S. Wile
1977 J jnl
The inference of domain structure from informal process descriptions.
SIGART Newsl.
Neil M. Goldman, Robert Balzer, David Wile
1976 A* conf
On the Transformational Implementation Approach to Programming.
ICSE
Robert Balzer, Neil M. Goldman, David S. Wile
1974 — conf
Domain-Independent Automatic Programming.
IFIP Congress
Robert Balzer, Norton Greenfeld, Martin Kay, William Mann, Walter Ryder, David Wilczynski, Albert L. Zobrist
1973 A* conf
A Gobal View of Automatic Programming.
IJCAI
Robert Balzer
1973 J jnl
An Overview of the ISPL Computer System Design.
Commun. ACM
Robert Balzer
1973 A* conf
CASAP: A Testbed for Program Flexibility.
IJCAI
Robert Balzer
1969 J jnl
APAREL - A parse-request language.
Commun. ACM
Robert Balzer, David J. Farber
1969 A* conf
Search for a Solution: A Case Study.
IJCAI
Robert Balzer
1967 J jnl
An 8-state Minimal Time Solution to the Firing Squad Synchronization Problem
Inf. Control.
Robert Balzer