Peter H. Feiler

Affiliations:
  • Carnegie Mellon University, Pittsburgh, USA


According to our database1, Peter H. Feiler authored at least 55 papers between 1977 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
Performing Safety Analyses with AADL and AltaRica.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2016
Missed Architectural Dependencies: The Elephant in the Room.
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

Integrated Modeling Workflow for Security Assurance.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

An Architecture-Centric Process for MILS Development.
Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2016

2014
AADL and model-based engineering.
Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

Incremental latency analysis of heterogeneous cyber-physical systems.
Proceedings of the REACTION 2014, 2014

The Story of AADL.
Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

Architecture Fault Modeling with the AADL Error-Model Annex.
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

2012
Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272).
Dagstuhl Reports, 2012

Model-Based Engineering with AADL - An Introduction to the SAE Architecture Analysis and Design Language.
SEI series in software engineering, Addison-Wesley, ISBN: 978-0-321-88894-5, 2012

2011
An Efficient Modeling and Execution Framework for Complex Systems Development.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010
Architectural Modeling to Verify Security and Nonfunctional Behavior.
IEEE Secur. Priv., 2010

2009
Model driven code generation for critical and adaptative embedded systems.
SIGBED Rev., 2009

Verification of Replication Architectures in AADL.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Modeling the Implementation of State-Based System Architectures.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Validating Safety and Security Requirements for Partitioned Architectures.
Proceedings of the Reliable Software Technologies, 2009

2008
Software dependability modeling using an industry-standard architecture description language
CoRR, 2008

Multi-dimensional Model Based Engineering Using AADL.
Proceedings of the 19th IEEE/IFIP International Symposium on Rapid System Prototyping: RSP 2009, 2008

Aspect Oriented Modeling of Component Architectures Using AADL.
Proceedings of the NTMS 2008, 2008

On Resource Allocation in Architectural Models.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Efficient Embedded Runtime Systems through Port Communication Optimization.
Proceedings of the 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008, 2008

2007
UML&AADL '2007 grand challenges.
SIGBED Rev., 2007

From PIMs to PSMs.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Aspects in the industry standard AADL.
Proceedings of the 10th International Workshop on Aspect-Oriented Modeling, 2007

2005
An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

2004
An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering.
Proceedings of the Architecture Description Languages, 2004

Pattern-Based Analysis of an Embedded Real-Time System Architecture.
Proceedings of the Architecture Description Languages, 2004

Managing Verification Activities Using SVM.
Proceedings of the Formal Methods and Software Engineering, 2004

2001
Adaptive Feedback Scheduling of Incremental and Design-to-Time Tasks.
Proceedings of the 23rd International Conference on Software Engineering, 2001

1999
Impact Analysis in Real-Time Control Systems.
Proceedings of the 1999 International Conference on Software Maintenance, 1999

1998
Managing inconsistency in reconfigurable systems.
IEE Proc. Softw., 1998

Consistency in dynamic reconfiguration.
Proceedings of the Fourth International Conference on Configurable Distributed Systems, 1998

1997
Engineering Component-Based Systems with Distributed Object Technology.
Proceedings of the Worldwide Computing and Its Applications, International Conference, 1997

Propagator: A Family of Patterns.
Proceedings of the TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28, 1997

1993
Understanding integration in a software development environment: Issues and illustrations.
J. Syst. Integr., 1993

A Project Support Environment Reference Model.
Proceedings of the Conference Proceedings on TRI-Ada 1993, 1993

CASE and CAPE: Conflict of Interest.
Proceedings of the State of the Practice in Process Technology, 1993

Demonstration Experience Report Session Summary.
Proceedings of the State of the Practice in Process Technology, 1993

Software Process Development and Enactment: Concepts and Definitions.
Proceedings of the Second International Conference on the Software Process, 1993

1992
An analysis technique for examining integration in a project support environment.
Proceedings of the 5th ACM SIGSOFT Symposium on Software Development Environments, 1992

1990
Software process support in software development environments.
Proceedings of the Sixth International Software Process Workshop (ISPW '90), 1990

1989
Policies (session summary).
Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

Software process support through software configuration management.
Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

1988
A Retrospective on DOSE: An Interpretive Approach to Structure Editor Generation.
Softw. Pract. Exp., 1988

Intelligent Assistance for Software Development and Maintenance.
IEEE Softw., 1988

Database Support for Knowledge-Based Engineering Environments.
IEEE Expert, 1988

Managing Development of Very Large Systems: Implications on Integrated Environments.
Proceedings of the International Workshop on Software Version and Configuration Control, 1988

Plenary Discussion: Life Cycle Oriented CM.
Proceedings of the International Workshop on Software Version and Configuration Control, 1988

1987
Relationship between IDL and Structure Editor Generation Technology.
ACM SIGPLAN Notices, 1987

Software Development Environments.
Computer, 1987

An Architecture for Intelligent Assistance in Software Development.
Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987

Intelligent Assistance without Artificial Intelligence.
Proceedings of the COMPCON'87, 1987

1984
Generation of Language-Oriented Editors.
Proceedings of the Programmierumgebungen und Compiler, 1984

1981
An Incremental Programming Environment.
IEEE Trans. Software Eng., 1981

1977
Software management of Cm*: a distributed multiprocessor.
Proceedings of the American Federation of Information Processing Societies: 1977 National Computer Conference, 1977


  Loading...