EDBT 2026 Demo / reviewers in the wild / expert
Robert Balzer
dblp:99/404 · also Robert M. Balzer
· DBLP profile ↗
38ranked-venue papers
28as first author
0since 2021 · last 2010
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 20 · 15 first-authorArtificial intelligence and machine learning · 13 · 9 first-authorGraphics, computer vision, multimedia, augmented reality and games · 11 · 9 first-authorDatabases, data management, data science and information retrieval · 4 · 3 first-authorTheory of computation · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
24 papers |
Software maintenance and evolution · 41% Requirements engineering and software design · 34% Empirical software engineering · 21% | |
| Artificial intelligence
9 papers |
Knowledge representation and reasoning · 98% Speech recognition and synthesis · 1% Information extraction and text analysis · 1% | |
| Human-computer interaction and pervasive computing
1 paper |
User interface design and tools · 100% | |
| Network and information security
1 paper |
Systems and software security · 100% | |
| Theoretical computer science
5 papers |
Logic in computer science · 98% Coding theory · 1% Distributed computing theory · 1% |
Topics — the 30 heaviest of 47, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software maintenance and evolution › software integration
COTS integration |
0.1 | 4 | 2004 | Living with COTS · ICSE 2002 Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability · ASE 2001 4th International Workshop on Adoption-Centric Software Engineering · ICSE 2004 |
Empirical software engineering › technology transfer
software engineering adoption |
0.1 | 2 | 2004 | 4th International Workshop on Adoption-Centric Software Engineering · ICSE 2004 3rd International Workshop on Adoption-centric Software Engineering ACSE 2003 · ICSE 2003 |
Requirements engineering and software design
software architecture |
0.1 | 4 | 2002 | Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability · ASE 2001 Living with COTS · ICSE 2002 AI and Software Engineering: Will the Twain Ever Meet? · AAAI 1990 |
Software maintenance and evolution
software modularity |
0.0 | 1 | 2003 | Modularity in the New Millenium: A Panel Summary · ICSE 2003 |
Logic in computer science › philosophical logic › non-classical logic
paraconsistent logic |
0.0 | 2 | 2001 | "Tolerating Inconsistency" Revisited · ICSE 2001 Tolerating Inconsistency · ICSE 1991 |
User interface design and tools
end-user programming |
0.0 | 1 | 2010 | A Deductive Spreadsheet System for End Users · IEEE Trans. Knowl. Data Eng. 2010 |
User interface design and tools › end-user programming
spreadsheet programming |
0.0 | 1 | 2010 | A Deductive Spreadsheet System for End Users · IEEE Trans. Knowl. Data Eng. 2010 |
Requirements engineering and software design › software architecture › component-based software engineering
component-based development |
0.0 | 1 | 2001 | Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability · ASE 2001 |
Requirements engineering and software design › software process
process-centered environment |
0.0 | 1 | 2001 | Process-Centered Software Engineering Environments: Academic and Industrial Perspectives · ICSE 2001 |
Software maintenance and evolution
software integration |
0.0 | 1 | 2001 | Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability · ASE 2001 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
expert systems |
0.0 | 3 | 1993 | Retrospective on "The Organization of Expert Systems, a Tutorial" · Artif. Intell. 1993 The Organization of Expert Systems, A Tutorial · Artif. Intell. 1982 HEARSAY-II: A Domain-Independent Framework for Expert Systems · AAAI 1980 |
Requirements engineering and software design › inconsistency management
inconsistent requirements |
0.0 | 2 | 2001 | "Tolerating Inconsistency" Revisited · ICSE 2001 Tolerating Inconsistency · ICSE 1991 |
Requirements engineering and software design › software process
software process modeling |
0.0 | 1 | 1993 | Mechanisms for Generic Process Support · SIGSOFT FSE 1993 |
Software maintenance and evolution
software reuse |
0.0 | 1 | 2001 | Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability · ASE 2001 |
Requirements engineering and software design
object-oriented development |
0.0 | 1 | 1992 | The OO Software Development Process (Panel) · OOPSLA 1992 |
Compilers and program optimization
code generation |
0.0 | 2 | 1985 | A 15 Year Perspective on Automatic Programming · IEEE Trans. Software Eng. 1985 A Gobal View of Automatic Programming · IJCAI 1973 |
Programming languages and type systems › domain-specific languages
process modeling language |
0.0 | 1 | 1993 | Mechanisms for Generic Process Support · SIGSOFT FSE 1993 |
Compilers and program optimization › program transformation › program derivation
transformational implementation |
0.0 | 2 | 1981 | Transformational Implementation: An Example · IEEE Trans. Software Eng. 1981 On the Transformational Implementation Approach to Programming · ICSE 1976 |
Requirements engineering and software design
specification |
0.0 | 2 | 1982 | Specification-Based Computing Environments · VLDB 1982 Informality in Program Specifications · IJCAI 1977 |
Requirements engineering and software design › formal specification
specification transformation |
0.0 | 1 | 1981 | Transformational Implementation: An Example · IEEE Trans. Software Eng. 1981 |
Requirements engineering and software design
formal specification |
0.0 | 2 | 1981 | Informality in Program Specifications · IEEE Trans. Software Eng. 1978 Transformational Implementation: An Example · IEEE Trans. Software Eng. 1981 |
Natural language and speech › Speech recognition and synthesis
spoken language understanding |
0.0 | 1 | 1980 | HEARSAY-II: A Domain-Independent Framework for Expert Systems · AAAI 1980 |
Programming languages and type systems
program specification |
0.0 | 2 | 1977 | Informality in Program Specifications · IJCAI 1977 On the Transformational Implementation Approach to Programming · ICSE 1976 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › knowledge acquisition
domain modeling |
0.0 | 1 | 1977 | The Use of a Domain Model in Understanding Informal Process Descriptions · IJCAI 1977 |
Software maintenance and evolution
program comprehension |
0.0 | 1 | 1977 | Meta-Evaluation as a Tool for Program Understanding · IJCAI 1977 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
ontology |
0.0 | 1 | 1985 | Automated Enhancement of Knowledge Representations · IJCAI 1985 |
Compilers and program optimization
program transformation |
0.0 | 1 | 1976 | On the Transformational Implementation Approach to Programming · ICSE 1976 |
Requirements engineering and software design › specification
specification learning |
0.0 | 1 | 1985 | A 15 Year Perspective on Automatic Programming · IEEE Trans. Software Eng. 1985 |
Software maintenance and evolution › software configuration management › software release management
software deployment |
0.0 | 1 | 1981 | Application Downloading · ICSE 1981 |
Empirical software engineering › software engineering research methodology
meta-evaluation |
0.0 | 1 | 1977 | Meta-Evaluation as a Tool for Program Understanding · IJCAI 1977 |
Methods — techniques the papers use, named apart from their topics
ontology language OWL · 0.3SWRL · 0.3notification · 0.0instrumentation · 0.0data synchronization · 0.0system architecture · 0.0process refinement · 0.0interactive specification refinement · 0.0tutorial · 0.0interactive transformation · 0.0heuristic search · 0.0blackboard architecture · 0.0prototype tool · 0.0domain modeling · 0.0context-based completion · 0.0cellular automata · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2010 | Adapting COTS productsabstractCOTS products can play various architectural roles in software systems: as interfaces to problem-specific functionality, as components that provide such functionality itself, and as intermediary connectors and components in more complex systems. In doing so, COTS products impose their own, unique constraints on organization and functionality. Over the last ten years, we have gained considerable experience with adopting, adapting, and living with the limitations of COTS products. Our goal was to adapt the COTS product to make it fit the application rather than adapting the application needs to make them fit the COTS product - thus, in essence, adapting the COTS product without access to its source code or documentation (a unique form of maintenance). We report on a large set of experiences involving eight COTS products and a wide range of COTS-Based Software Systems - most of which were done with and for industrial partners or government agencies. This experience report attempts to both give a feeling for how applications can be augmented with such COTS interfaces and also tries to tease out the specific architectural issues that anyone adapting COTS products is certain to face. David S. Wile, Robert Balzer, Neil M. Goldman, Marcelo Tallis, Alexander Egyed, Tim Hollebeek |
ICSM | 2 |
| 2010 | A Deductive Spreadsheet System for End UsersabstractWe exploit the spreadsheet metaphor to make deductive problem-solving methods available to the vast population of spreadsheet end users. In particular, we show how the function-based problem-solving capabilities of spreadsheets can be extended to include logical deductive methods in a way that is consistent with the existing spreadsheet "look and feel." We also show a spreadsheet-based framework for authoring logic implication rules. This framework was conceived with the objective of reproducing many of the characteristics that make spreadsheet programming accessible to end users. In the proposed framework, rule authors describe the semantics of a binary relation by constructing a functional spreadsheet model that computes the image of that binary relation. This model is subsequently translated into a collection of logic implication rules. We implemented this deductive spreadsheet system on top of Microsoft Excel and adopting the World Wide Web Consortium (W3C) standard ontology language OWL+SWRL formalisms. Marcelo Tallis, Robert Balzer |
IEEE Trans. Knowl. Data Eng. | 2 |
| 2006 | AWDRAT: A Cognitive Middleware System for Information Survivability
Howard E. Shrobe, Robert Laddaga, Robert Balzer, Neil M. Goldman, David S. Wile, Marcelo Tallis, Tim Hollebeek, Alexander Egyed |
AAAI | 3 |
| 2006 | Integrating COTS Software into Systems through Instrumentation and Reasoning
Alexander Egyed, Robert Balzer |
Autom. Softw. Eng. | 2 |
| 2004 | 4th International Workshop on Adoption-Centric Software Engineering
Robert Balzer, Marin Litoiu, Hausi A. Müller, Dennis B. Smith, Margaret-Anne D. Storey, Scott R. Tilley, Kenny Wong |
ICSE | 1 |
| 2003 | 3rd International Workshop on Adoption-centric Software Engineering ACSE 2003abstractThe key objective of this workshop is to explore innovative approaches to the adoption of software engineering tools and practices-in particular by embedding them in extensions of Commercial Off-The-Shelf (COTS) software products and/or middleware technologies. The workshop aims to advance the understanding and evaluation of adoption of software engineering tools and practices by bringing together researchers and practitioners who investigate novel solutions to software engineering adoption issues. Robert Balzer, Jens H. Weber, Marin Litoiu, Hausi A. Müller, Dennis B. Smith, Margaret-Anne D. Storey, Scott R. Tilley, Kenny Wong |
ICSE | 1 |
| 2003 | Modularity in the New Millenium: A Panel Summary
Premkumar T. Devanbu, Robert Balzer, Don S. Batory, Gregor Kiczales, John Launchbury, David Lorge Parnas, Peri L. Tarr |
ICSE | 2 |
| 2002 | Living with COTSabstractComputer usage has evolved from small special purpose applications to large Commercial Off The Shelf Software (COTS) products that dominate the landscape. These COTS products present major challenges for our traditional software assistance paradigm. This talk will explore those challenges and suggest research opportunities for software assistance in extending COTS products, in integrating them with other components, and in using them. Robert Balzer |
ICSE | 1 |
| 2001 | "Tolerating Inconsistency" RevisitedabstractSummary form only given, as follows. We're surrounded by inconsistency: in our requirements, in the data that our software processes, and in those software systems themselves. Yet our formal systems can’t handle such inconsistency. Most of them lose the ability to form any valid conclusions or analyses in the presence of even a single inconsistency. This forces our programs to operate in terms of an idealized model rather than the real world with the attendant requirement to either maintain a mapping between the two or force human operators to resolve the inconsistencies before the data is processed by the idealized system. My "Tolerating Inconsistency" paper introduced a simple way to scope formal constraint systems so that they applied only to the consistent data. Data inconsistent with these rules could then be represented and processed by giving them special marks to place them outside the rules’ scope. My talk will review the influence this idea had on the field and my subsequent work. Robert Balzer |
ICSE | 1 |
| 2001 | Process-Centered Software Engineering Environments: Academic and Industrial Perspectives
Robert Balzer, Volker Gruhn |
ICSE | 1 |
| 2001 | Unfriendly COTS Integration-Instrumentation and Interfaces for Improved PlugabilityabstractIt is becoming increasingly desirable to incorporate commercial-off-the-shelf (COTS) tools as software components into larger software systems. Due to their large user base, COTS tools tend to be cheap, reasonably reliable, and functionally powerful. Reusing them as components has the benefit of significantly reducing development cost and effort. Despite these advantages, developers encounter major obstacles in integrating most COTS tools because these tools have been constructed as stand-alone applications and make assumptions about their environment that do not hold when used as part of larger software systems. Most significantly, while they frequently contain programmatic interfaces that allow other components to obtain services from them on a direct call basis, they almost always lack the notification and data synchronicity facilities required for active integration. The authors present an integration framework for adding these notification and data synchronization facilities to COTS tools so that they can be integrated as active software components into larger systems. We illustrate our integration framework through tool suites we constructed around Mathworks' Matlab/Stateflow and Rational's Rose (two widely-used, large COTS tools). Our experience to date is that it is indeed possible to transform standalone COTS tools into software components. Alexander Egyed, Robert Balzer |
ASE | 2 |
| 1993 | Mechanisms for Generic Process SupportabstractAs more and more programming environments incorporate explicit process descriptions, generic process capabilities will become crucial to the convenient instantiation and maintenance of process description. However, partly because process modeling languages have followed the example of programming languages in general, they are surprisingly weak in supporting generic process descriptions.We propose mechanisms whereby generic process capability can be added to any process formalism. The generic portions of the process description can then be refined through instantiation. We define a system architecture in which a generic process description can be refined gradually during its enactment. Such capabilities will be crucial to incorporating explicit process descriptions into the program environments of the future. Robert Balzer, K. Narayanaswamy |
SIGSOFT FSE | 1 |
| 1993 | Retrospective on "The Organization of Expert Systems, a Tutorial"
Mark Stefik, Janice S. Aikins, Robert Balzer, John Benoit, Lawrence Birnbaum, Frederick Hayes-Roth, Earl D. Sacerdoti |
Artif. Intell. | 3 |
| 1992 | The OO Software Development Process (Panel)abstractArticle Free Access Share on The OO software development process (panel) Authors: Dennis de Champeaux View Profile , Bob Balzer View Profile , Dave Bulman View Profile , Kathleen Culver-Lozo View Profile , Ivar Jacobson View Profile , Stephen J. Mellor View Profile Authors Info & Claims OOPSLA '92: Conference proceedings on Object-oriented programming systems, languages, and applicationsOctober 1992Pages 484–489https://doi.org/10.1145/141936.141974Published:31 October 1992Publication History 0citation383DownloadsMetricsTotal Citations0Total Downloads383Last 12 Months9Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF Dennis de Champeaux, Robert Balzer, Dave Bulman, Kathleen Culver-Lozo, Ivar Jacobson, Stephen J. Mellor |
OOPSLA | 2 |
| 1991 | Tolerating Inconsistency
Robert Balzer |
ICSE | 1 |
| 1990 | AI and Software Engineering: Will the Twain Ever Meet?
Robert Balzer |
AAAI | 1 |
| 1989 | Software Engineering in the Year 2001abstractNo abstract available. Robert Balzer |
ICSE | 1 |
| 1985 | Panel Description: The Role of Logic and AI in the Software Enterprise
Robert Balzer |
ICSE | 1 |
| 1985 | Automated Enhancement of Knowledge Representations
Robert Balzer |
IJCAI | 1 |
| 1985 | A 15 Year Perspective on Automatic ProgrammingabstractAutomatic programming consists not only of an automatic compiler, but also some means of acquiring the high-level specification to be compiled, some means of determining that it is the intended specification, and some (interactive) means of translating this high-level specification into a lower-level one which can be automatically compiled. Robert Balzer |
IEEE Trans. Software Eng. | 1 |
| 1984 | Specification-Based Computing Environments for Information ManagementabstractWe are deeply indebted to the members of ISI Software Division who developed the basic technology and approach for our effort. We especially wish to acknowledge the contributions of our colleagues, Dave Dyer and Matt Morgenstern, to the conceptualization and design of the system. Robert Balzer, Neil M. Goldman, Robert Neches |
ICDE | 1 |
| 1983 | Specification-Based Computing Environments
Robert Balzer, David Dyer, Matthew Morgenstern, Robert Neches |
AAAI | 1 |
| 1982 | Specification-Based Computing Environments
Robert Balzer, David Dyer, M. Fehling, S. Saunders |
VLDB | 1 |
| 1982 | The Organization of Expert Systems, A Tutorial
Mark Stefik, Janice S. Aikins, Robert Balzer, John Benoit, Lawrence Birnbaum, Frederick Hayes-Roth, Earl D. Sacerdoti |
Artif. Intell. | 3 |
| 1981 | Application Downloading
Robert Balzer, Alvin S. Cooperband, Martin Feather, Philip E. London, David S. Wile |
ICSE | 1 |
| 1981 | Transformational Implementation: An ExampleabstractA system for mechanically transforming formal program specifications into efficient implementations under interactive user control is described and illustrated through a detailed example. The potential benefits and problems of this approach to software implementation are discussed. Robert Balzer |
IEEE Trans. Software Eng. | 1 |
| 1981 | Editorial: Program Transformations
Robert Balzer, Thomas E. Cheatham Jr. |
IEEE Trans. Software Eng. | 1 |
| 1980 | HEARSAY-II: A Domain-Independent Framework for Expert Systems
Robert Balzer, Lee D. Erman, Philip London, Chuck Williams |
AAAI | 1 |
| 1979 | An Implementation Methodology for Semantic Data Base Models
Robert Balzer |
ER | 1 |
| 1978 | Informality in Program SpecificationsabstractThis paper is concerned with the need for computer-based tools which help human designers formulate formal process-oriented specifications. It first determines some attributes of a suitable process-oriented specification language, then examines the reasons why specifications would still be difficult to write in such a language in the absence of formulation tools. The key to overcoming these difficulties seems to be the careful introduction of informality based on partial, rather than complete, descriptions and the use of a computer-based tool that uses context extensively to complete these descnrptions during the process of constructing a well-formed specification. Some results obtained by a running prototype of such a computer-based tool on a few informal example specifications are presented and, finaliy, some of the techniques used by this prototype system are discussed. Robert Balzer, Neil M. Goldman, David S. Wile |
IEEE Trans. Software Eng. | 1 |
| 1977 | Informality in Program Specifications
Robert Balzer, Neil M. Goldman, David S. Wile |
IJCAI | 1 |
| 1977 | Meta-Evaluation as a Tool for Program Understanding
Robert Balzer, Neil M. Goldman, David S. Wile |
IJCAI | 1 |
| 1977 | The Use of a Domain Model in Understanding Informal Process Descriptions
Neil M. Goldman, Robert Balzer, David S. Wile |
IJCAI | 2 |
| 1976 | On the Transformational Implementation Approach to Programming
Robert Balzer, Neil M. Goldman, David S. Wile |
ICSE | 1 |
| 1973 | A Gobal View of Automatic Programming
Robert Balzer |
IJCAI | 1 |
| 1973 | CASAP: A Testbed for Program Flexibility
Robert Balzer |
IJCAI | 1 |
| 1969 | Search for a Solution: A Case Study
Robert Balzer |
IJCAI | 1 |
| 1967 | An 8-state Minimal Time Solution to the Firing Squad Synchronization Problem
Robert Balzer |
Inf. Control. | 1 |