Krzysztof Sacha

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 2

Top Topics

Constraint Language

Production Scheduling

Formal Semantics

Main Contribution

Top Venues

DepCoS-RELCOMEX

Int. J. Softw. Eng. Knowl. Eng.

Publications

Simone Roncallo, Krzysztof Sacha, Lorenzo Maccone
When does a particle arrive? Quantum 7 (2023)
Krzysztof Sacha
On the Semantics of Architectural Decisions. Int. J. Softw. Eng. Knowl. Eng. 26 (2) (2016)
Wojciech Pikulski, Krzysztof Sacha
Freshness Constraints Semantics of RT Framework Credentials. DepCoS-RELCOMEX (2015)
Krzysztof Sacha, Wojciech Pikulski
Internet-Based Production Monitoring and Reporting. DepCoS-RELCOMEX (2014)
Wojciech Pikulski, Krzysztof Sacha
Freshness Constraints in the RT Framework. DepCoS-RELCOMEX (2013)
Andrzej Ratkowski, Krzysztof Sacha, Andrzej Zalewski
Optimization of Business Processes in Service Oriented Architecture. EDOC Workshops (2012)
Krzysztof Sacha
Complexity of credential processing. EUROCON (2011)
Krzysztof Sacha
Trust Management Languages and Complexity. OTM Conferences (2) (2011)
Anna Felkner, Krzysztof Sacha
Credentials for Role-Based Trust Management. e Informatica Softw. Eng. J. 4 (1) (2010)
Krzysztof Sacha
Verification and implementation of software for dependable controllers. Int. J. Crit. Comput. Based Syst. 1 (1/2/3) (2010)
Krzysztof Sacha
Trust Management Language. MMM-ACNS (2010)
Krzysztof Sacha
Model-based Design of Code for PLC Controllers. ICINCO-SPSMC (2009)
Anna Felkner, Krzysztof Sacha
The Semantics of Role-Based Trust Management Languages. CEE-SET (2009)
Krzysztof Sacha
Verification and Implementation of Dependable Controllers. DepCoS-RELCOMEX (2008)
Krzysztof Sacha
Model-Based Implementation of Real-Time Systems. SAFECOMP (2008)
Krzysztof Sacha
Translatable Finite State Time Machine. SDL Forum (2007)
Krzysztof Sacha
Software Engineering Practices: An Auditor's Perspective. SoMeT (2007)
Krzysztof Sacha
Preface. SET (2006)
Krzysztof Sacha
Evaluation of Expected Software Quality: A Customer's Viewpoint. FASE (2006)
Krzysztof Sacha
Automatic Code Generation for PLC Controllers. SAFECOMP (2005)
Krzysztof Sacha
Safety Verification of Software Using Structured Petri Nets. SAFECOMP (1998)
Krzysztof Sacha
Measuring the real-time operating system performance. RTS (1995)
Krzysztof Sacha
Real-Time Software Specification and Validation with Transnet. Real Time Syst. 6 (2) (1994)
Krzysztof Sacha
Real-time specification using Petri nets. Microprocess. Microprogramming 38 (1-5) (1993)
Krzysztof Sacha
Transformational implementation of PAISLey specifications using Petri nets. Softw. Eng. J. 7 (3) (1992)
Krzysztof Sacha
Transnet: A method for transformational development of embedded software. Microprocessing and Microprogramming 32 (1-5) (1991)