Krzysztof Sacha

According to our database, Krzysztof Sacha authored at least 28 papers between 1991 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

When does a particle arrive?

Simone Roncallo, Krzysztof Sacha, Lorenzo Maccone

Quantum, March, 2023

2016

On the Semantics of Architectural Decisions.

Krzysztof Sacha

Int. J. Softw. Eng. Knowl. Eng., 2016

2015

Freshness Constraints Semantics of RT Framework Credentials.

Wojciech Pikulski, Krzysztof Sacha

Proceedings of the Theory and Engineering of Complex Systems and Dependability - Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29, 2015

2014

Internet-Based Production Monitoring and Reporting.

Krzysztof Sacha, Wojciech Pikulski

Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30, 2014

2013

Freshness Constraints in the RT Framework.

Wojciech Pikulski, Krzysztof Sacha

Proceedings of the New Results in Dependability and Computer Systems, 2013

2012

Optimization of Business Processes in Service Oriented Architecture.

Andrzej Ratkowski, Krzysztof Sacha, Andrzej Zalewski

Proceedings of the 16th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2012

2011

Trust Management Languages and Complexity.

Krzysztof Sacha

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011, 2011

Complexity of credential processing.

Krzysztof Sacha

Proceedings of EUROCON 2011, 2011

2010

Verification and implementation of software for dependable controllers.

Krzysztof Sacha

Int. J. Crit. Comput. Based Syst., 2010

Deriving RT^T Credentials for Role-Based Trust Management.

Anna Felkner, Krzysztof Sacha

e Informatica Softw. Eng. J., 2010

Credential Chain Discovery in RT^T Trust Management Language.

Krzysztof Sacha

Proceedings of the Computer Network Security, 2010

2009

The Semantics of Role-Based Trust Management Languages.

Anna Felkner, Krzysztof Sacha

Proceedings of the Advances in Software Engineering Techniques, 2009

Model-based Design of Code for PLC Controllers.

Krzysztof Sacha

Proceedings of the ICINCO 2009, Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics, 2009

2008

Model-Based Implementation of Real-Time Systems.

Krzysztof Sacha

Proceedings of the Computer Safety, 2008

Verification and Implementation of Dependable Controllers.

Krzysztof Sacha

Proceedings of the Third International Conference on Dependability of Computer Systems, 2008

2007

Software Engineering Practices: An Auditor's Perspective.

Krzysztof Sacha

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2007

Translatable Finite State Time Machine.

Krzysztof Sacha

Proceedings of the SDL 2007: Design for Dependable Systems, 2007

2006

Preface.

Krzysztof Sacha

Proceedings of the Software Engineering Techniques: Design for Quality, 2006

Evaluation of Expected Software Quality: A Customer's Viewpoint.

Krzysztof Sacha

Proceedings of the Fundamental Approaches to Software Engineering, 2006

2005

Evaluation of Software Quality.

Krzysztof Sacha

Proceedings of the Software Engineering: Evolution and Emerging Technologies, 2005

Automatic Code Generation for PLC Controllers.

Krzysztof Sacha

Proceedings of the Computer Safety, 2005

1998

Safety Verification of Software Using Structured Petri Nets.

Krzysztof Sacha

Proceedings of the Computer Safety, 1998

1995

Measuring the real-time operating system performance.

Krzysztof Sacha

Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995

1994

Real-Time Software Specification and Validation with Transnet.

Krzysztof Sacha

Real Time Syst., 1994

1993

Real-time specification using Petri nets.

Krzysztof Sacha

Microprocess. Microprogramming, 1993

1992

Transformational implementation of PAISLey specifications using Petri nets.

Krzysztof Sacha

Softw. Eng. J., 1992

Real-time systems - implementation of industrial computerised process automation.

Wolfgang A. Halang, Krzysztof Sacha

World Scientific, ISBN: 978-981-02-1063-2, 1992

1991

Transnet: A method for transformational development of embedded software.

Krzysztof Sacha

Microprocessing and Microprogramming, 1991