Automated Exploration of the Design Space for Register Transfer (RT) Systems. - Mario Barbacci; Daniel P. Siewiorek (ISCA, 1973)

PMS: A Notaton to Describe Comuter Sructures. - Mario Barbacci; C. Gordon Bell; Daniel P. Siewiorek (Computer, 1973)

ISP: A Notation to Describe A Computer's Instruction Sets. - Mario Barbacci; C. Gordon Bell; Daniel P. Siewiorek (Computer, 1973)

A Comparison of Register Transfer Languages for Describing Computers and Digital Systems. - Mario Barbacci (IEEE Trans. Computers, 1975)

The CMU RT-CAD system: an innovative approach to computer aided design. - Daniel P. Siewiorek; Mario Barbacci (AFIPS National Computer Conference, 1976)

An architectural research facility: ISP descriptions, simulation, data collection. - Mario Barbacci; Daniel P. Siewiorek; Robert J. Gordon; Rosemary Howbrigg; Susan Zuckerman (AFIPS National Computer Conference, 1977)

Evaluation of the CFA Test Programs Via Formal Computer Descriptions. - Mario R. Barbacci; Daniel P. Siewiorek (Computer, 1977)

Using Emulation to Verify Formal Architecture Descriptions. - Mario R. Barbacci; Alan Parker (Computer, 1978)

Instruction set processor specifications for simulation, evaluation, and synthesis. - Mario Barbacci (DAC, 1979)

The CMU design automation system: An example of automated data path design. - Alice C. Parker; Donald E. Thomas; Daniel P. Siewiorek; Mario Barbacci; Louis J. Hafer; Gary W. Leive; Jinchoon Kim (DAC, 1979)

CONLAN: a formal construction method for hardware description languages: basic principles. - Robert Piloty; Mario Barbacci; Dominique Borrione; Donald L. Dietmeyer; Fredrick J. Hill; Patrick Skelly (AFIPS National Computer Conference, 1980)

CONLAN: a formal construction method for hardware description languages: language derivation. - Robert Piloty; Mario Barbacci; Dominique Borrione; Donald L. Dietmeyer; Fredrick J. Hill; Patrick Skelly (AFIPS National Computer Conference, 1980)

CONLAN: a formal construction method for hardware description languages: language application. - Robert Piloty; Mario Barbacci; Dominique Borrione; Donald L. Dietmeyer; Fredrick J. Hill; Patrick Skelly (AFIPS National Computer Conference, 1980)

An Overview of CONLAN: A Formal Construction Method for Hardware Description Language. - Robert Piloty; Mario Barbacci; Dominique Borrione; Donald L. Dietmeyer; Fredrick J. Hill; Patrick Skelly (IFIP Congress, 1980)

Instruction Set Processor Specifications (ISPS): The Notation and Its Applications. - Mario Barbacci (IEEE Trans. Computers, 1981)

Simulation of a Horizontal Bit-Sliced Processor Using the ISPS Architecture Simulation Facility. - Andries van Dam; Mario Barbacci; Constantine Halatsis; J. Joosten; M. Letheren (IEEE Trans. Computers, 1981)

CONLAN Report - Robert Piloty; Dominique Borrione; Mario Barbacci; Donald L. Dietmeyer; Fredrick J. Hill; Patrick Skelly (Springer, 1983)

The Ada+ front end and coder generator. - Mario R. Barbacci; W. H. Maddox; T. D. Newton; R. G. Stockton (SIGAda, 1985)

A PMS Level Notation for the Description and Simulation of Digital Systems. - Jovan Djordjevic; Mario Barbacci; Brad Hosler (Comput. J., 1985)

The Engineering Institute: Bridging Practice and Potential. - Mario Barbacci; A. Nico Habermann (IEEE Softw., 1985)

DURRA : A Task-Level Description Language. - Mario Barbacci; Jeannette M. Wing (ICPP, 1987)

Specifying Functional and Timing Behavior for Real-Time Applications. - Mario Barbacci; Jeannette M. Wing (PARLE (2), 1987)

Programming at the Processor-Memory-Switch Level. - Mario Barbacci; Charles B. Weinstock; Jeannette M. Wing (ICSE, 1988)

Developing Applications for Heterogeneous Machine Networks: The Durra Network. - Mario Barbacci; Dennis L. Doubleday; Charles B. Weinstock; Jeannette M. Wing (Comput. Syst., 1989)

A Language for Distributed Applications. - Mario Barbacci; Jeannette M. Wing (ICCL, 1990)

Application-Level Programming. - Mario Barbacci; Dennis L. Doubleday; Charles B. Weinstock (ICDCS, 1990)

Durra: an integrated approach to software specification, modeling and rapid prototyping. - Mario Barbacci; Randall W. Lichota (RSP, 1991)

Building distributed Ada applications from specifications and functional components. - Dennis L. Doubleday; Mario R. Barbacci; Charles B. Weinstock; Michael J. Gardner; Randall W. Lichota (TRI-Ada, 1991)

Building fault tolerant distributed applications with Durra. - Mario Barbacci; Dennis L. Doubleday; Charles B. Weinstock; Michael J. Gardner; Randall W. Lichota (CDS, 1992)

Three Decades of HDLs: Part I, CDL Through TI-HDL. - Yaohan Chu; Donald L. Dietmeyer; James R. Duley; Fredrick J. Hill; Mario Barbacci; Charles W. Rose; Greg M. Ordy; Bill Johnson; Martin Roberts (IEEE Des. Test Comput., 1992)

Real Time Distributed Systems. - Mario Barbacci (CHDL, 1993)

Introduction to the Special Issue on ICCL '92. - James R. Cordy; Mario Barbacci (Comput. Lang., 1993)

Durra: a structure description language for developing distributed applications. - Mario R. Barbacci; Charles B. Weinstock; Dennis L. Doubleday; Michael J. Gardner; Randall W. Lichota (Softw. Eng. J., 1993)

Panel Presents First Four Recommendations Aimed at Establisting Software Engineering as a Profession. - Mario Barbacci (Computer, 1994)

The Architecture Tradeoff Analysis Method. - Rick Kazman; Mark H. Klein 001; Mario Barbacci; Thomas A. Longstaff; Howard F. Lipson; S. Jeromy Carrière (ICECCS, 1998)

Experience with Performing Architecture Tradeoff Analysis. - Rick Kazman; Mario Barbacci; Mark Klein 003; S. Jeromy Carrière; Steven G. Woods (ICSE, 1999)

Attribute-Based Architecture Styles. - Mark H. Klein 001; Rick Kazman; Leonard J. Bass; S. Jeromy Carrière; Mario Barbacci; Howard F. Lipson (WICSA, 1999)

An Analysis of a Supply Chain Management Agent Architecture. - Nenad Ivezic; Mario Barbacci; John Robert; Don Libes; Thomas E. Potok (ICMAS, 2000)