Robert Balzer

According to our database1, Robert Balzer authored at least 85 papers between 1967 and 2012.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2012
STRATUS: Strategic and Tactical Resiliency against Threats to Ubiquitous Systems.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

2010
A Deductive Spreadsheet System for End Users.
IEEE Trans. Knowl. Data Eng., 2010

Why haven't we automated programming.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Adapting COTS products.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

2008
A Functional Spreadsheet Framework for Authoring Logic Implication Rules.
Proceedings of the Rule Representation, 2008

2007
Adding deductive logic to a COTS spreadsheet.
Knowledge Eng. Review, 2007

AWDRAT: A Cognitive Middleware System for Information Survivability.
AI Magazine, 2007

Self-Adaptive Systems for Information Survivability: PMOP and AWDRAT.
Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

2006
Integrating COTS Software into Systems through Instrumentation and Reasoning.
Autom. Softw. Eng., 2006

AWDRAT: A Cognitive Middleware System for Information Survivability.
Proceedings of the Proceedings, 2006

2005
Reflections on the First AAAI Conference.
AI Magazine, 2005

2004
4th International Workshop on Adoption-Centric Software Engineering.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003
Evolution Stability through COTS Integration.
Proceedings of the 6th International Workshop on Principles of Software Evolution (IWPSE 2003), 2003

Modularity in the New Millenium: A Panel Summary.
Proceedings of the 25th International Conference on Software Engineering, 2003

3rd International Workshop on Adoption-centric Software Engineering ACSE 2003.
Proceedings of the 25th International Conference on Software Engineering, 2003

Safe Email, Safe Office, and Safe Web Browser.
Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

2002
The Briefing Associate: Easing Authors into the Semantic Web.
IEEE Intelligent Systems, 2002

Living with COTS.
Proceedings of the 24th International Conference on Software Engineering, 2002

2001
The Briefing Associate: A Role for COTS applications in the Semantic Web.
Proceedings of SWWS'01, The first Semantic Web Working Symposium, Stanford University, California, USA, July 30, 2001

Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Process-Centered Software Engineering Environments: Academic and Industrial Perspectives.
Proceedings of the 23rd International Conference on Software Engineering, 2001

"Tolerating Inconsistency" Revisited.
Proceedings of the 23rd International Conference on Software Engineering, 2001

2000
Keynote on "Current State and Future Perspectives of Software Process Technology".
Proceedings of the Software Process Technology, 7th European Workshop, 2000

1999
The ISI Visual Design Editor Generator.
Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

1998
An Architectural Infrastructure for Product Families.
Proceedings of the Development and Evolution of Software Architectures for Product Families, 1998

1996
Supporting product line development.
Proceedings of the 10th International Software Process Workshop (ISPW '96), 1996

1994
Process definition formalism maturity levels.
Proceedings of the Ninth International Software Process Workshop (ISPW '94), 1994

1993
Retrospective on "The Organization of Expert Systems, a Tutorial".
Artif. Intell., 1993

Mechanisms for Generic Process Support.
Proceedings of the SIGSOFT '93, 1993

Interactive elaboration of generic designs.
Proceedings of the Eighth Knowledge-Based Software Engineering Conference, 1993

Generic Process Support.
Proceedings of the State of the Practice in Process Technology, 1993

1992
The OO Software Development Process (Panel).
Proceedings of the Conference on Object-Oriented Programming Systems, 1992

1991
Process virtual machine.
Proceedings of the Seventh International Software Process Workshop (ISPW '91), 1991

Tolerating Inconsistency.
Proceedings of the 13th International Conference on Software Engineering, 1991

1990
What we do and don't know about the software process.
Proceedings of the Sixth International Software Process Workshop (ISPW '90), 1990

AI and Software Engineering: Will the Twain Ever Meet?
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989
Experiencing the Next Generation Computing Environment.
Proceedings of the Software Engineering Environments, 1989

Tolerating inconsistency.
Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

Software Engineering in the Year 2001.
Proceedings of the 11th International Conference on Software Engineering, 1989

Hypertext and Software Engineering.
Proceedings of the Hypertext'89 Proceedings, 1989

1988
Process programming: passing into new phase.
Proceedings of the Forth International Software Process Workshop (ISPW '88), 1988

1987
Living in the Next-Generation Operating System.
IEEE Software, 1987

1986
Living in the Next Generation Operating System (Invited Paper).
IFIP Congress, 1986

1985
A 15 Year Perspective on Automatic Programming.
IEEE Trans. Software Eng., 1985

Program enhancement.
Proceedings of an International Workshop on the Software Process and Software Environments, 1985

Automated Enhancement of Knowledge Representations.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

Panel Description: The Role of Logic and AI in the Software Enterprise.
Proceedings of the Proceedings, 1985

1984
Software technology in the 1990's: using a new paradigm.
Proceedings of a Software Process Workshop, February 1984, Egham, UK, 1984

Specification-Based Computing Environments for Information Management.
Proceedings of the First International Conference on Data Engineering, 1984

Knowledge Base Management Systems: Discussions from the Working Group.
Expert Database Workshop, 1984

1983
Knowledge-based debugging: session summary.
SIGPLAN Notices, 1983

Software Technology in the 1990's: Using a New Paradigm.
IEEE Computer, 1983

Specification-Based Computing Environments.
Proceedings of the National Conference on Artificial Intelligence, 1983

1982
On the Inevitable Interwining of Specification and Implementation.
Commun. ACM, 1982

The Organization of Expert Systems, A Tutorial.
Artif. Intell., 1982

Specification-Based Computing Environments.
Proceedings of the Eigth International Conference on Very Large Data Bases, 1982

Panel Discussion.
Proceedings of the COMPCON'82, 1982

1981
Editorial: Program Transformations.
IEEE Trans. Software Eng., 1981

Transformational Implementation: An Example.
IEEE Trans. Software Eng., 1981

Application Downloading.
Proceedings of the 5th International Conference on Software Engineering, 1981

Principles of good software specification and their implications for specification languages.
Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1980
Dynamic System Specification.
Proceedings of the Workshop on Data Abstraction, 1980

What Should Be Modelled? (discussion).
Proceedings of the Workshop on Data Abstraction, 1980

HEARSAY-II: A Domain-Independent Framework for Expert Systems.
Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1979
An Implementation Methodology for Semantic Data Base Models.
Proceedings of the Entity-Relationship Approach to Systems Analysis and Design. Proc. 1st International Conference on the Entity-Relationship Approach, 1979

1978
Informality in Program Specifications.
IEEE Trans. Software Eng., 1978

1977
Automated derivation of program control structure from natural language program descriptions.
SIGART Newsletter, 1977

The inference of domain structure from informal process descriptions.
SIGART Newsletter, 1977

On the use of programming knowledge to understand informal process descriptions.
SIGART Newsletter, 1977

The Use of a Domain Model in Understanding Informal Process Descriptions.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

Meta-Evaluation as a Tool for Program Understanding.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

Informality in Program Specifications.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976
On the Transformational Implementation Approach to Programming.
Proceedings of the 2nd International Conference on Software Engineering, 1976

1974
Domain-Independent Automatic Programming.
IFIP Congress, 1974

A language-independent programmer's interface.
Proceedings of the American Federation of Information Processing Societies: 1974 National Computer Conference, 1974

1973
An Overview of the ISPL Computer System Design.
Commun. ACM, 1973

CASAP: A Testbed for Program Flexibility.
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

A Gobal View of Automatic Programming.
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973

1971
PORTS: a method for dynamic interprogram communication and job control.
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1971 Spring Joint Computer Conference, 1971

1969
APAREL - A parse-request language.
Commun. ACM, 1969

Search for a Solution: A Case Study.
Proceedings of the 1st International Joint Conference on Artificial Intelligence, 1969

EXDAMS: extendable debugging and monitoring system.
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1969 Spring Joint Computer Conference, 1969

1968
The on-line firing squad simulator.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '68 Fall Joint Computer Conference, December 9-11, 1968, San Francisco, California, USA, 1968

1967
An 8-state Minimal Time Solution to the Firing Squad Synchronization Problem
Information and Control, January, 1967

Dataless programming.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '67 Fall Joint Computer Conference, 1967


  Loading...