Krzysztof Sacha

29 papers B 4C 1Journal 8Unranked 13
YearRankTypeTitle / Venue / Authors
2023 J jnl
When does a particle arrive?
Quantum
Simone Roncallo, Krzysztof Sacha, Lorenzo Maccone
2016 J jnl
On the Semantics of Architectural Decisions.
Int. J. Softw. Eng. Knowl. Eng.
Krzysztof Sacha
2015 — conf
Freshness Constraints Semantics of RT Framework Credentials.
DepCoS-RELCOMEX
Wojciech Pikulski, Krzysztof Sacha
2014 — conf
Internet-Based Production Monitoring and Reporting.
DepCoS-RELCOMEX
Krzysztof Sacha, Wojciech Pikulski
2013 — conf
Freshness Constraints in the RT Framework.
DepCoS-RELCOMEX
Wojciech Pikulski, Krzysztof Sacha
2012 — conf
Optimization of Business Processes in Service Oriented Architecture.
EDOC Workshops
Andrzej Ratkowski, Krzysztof Sacha, Andrzej Zalewski
2011 — conf
Complexity of credential processing.
EUROCON
Krzysztof Sacha
2011 — conf
Trust Management Languages and Complexity.
OTM Conferences (2)
Krzysztof Sacha
2010 — conf
Credential Chain Discovery in RT
MMM-ACNS
Krzysztof Sacha
2010 J jnl
Deriving RT
e Informatica Softw. Eng. J.
Anna Felkner, Krzysztof Sacha
2010 J jnl
Verification and implementation of software for dependable controllers.
Int. J. Crit. Comput. Based Syst.
Krzysztof Sacha
2009 — conf
Model-based Design of Code for PLC Controllers.
ICINCO-SPSMC
Krzysztof Sacha
2009 — conf
The Semantics of Role-Based Trust Management Languages.
CEE-SET
Anna Felkner, Krzysztof Sacha
2008 B conf
Model-Based Implementation of Real-Time Systems.
SAFECOMP
Krzysztof Sacha
2008 — conf
Verification and Implementation of Dependable Controllers.
DepCoS-RELCOMEX
Krzysztof Sacha
2007 C conf
Software Engineering Practices: An Auditor's Perspective.
SoMeT
Krzysztof Sacha
2007 — ed.
Software Engineering Techniques: Design for Quality, SET 2006, October 17-20, 2006, Warsaw, Poland
SET
Krzysztof Sacha
2007 — conf
Translatable Finite State Time Machine.
SDL Forum
Krzysztof Sacha
2006 B conf
Evaluation of Expected Software Quality: A Customer's Viewpoint.
FASE
Krzysztof Sacha
2006 — conf
Preface.
SET
Krzysztof Sacha
2005 B conf
Automatic Code Generation for PLC Controllers.
SAFECOMP
Krzysztof Sacha
2005 — ch.
Evaluation of Software Quality.
Software Engineering: Evolution and Emerging Technologies
Krzysztof Sacha
1998 B conf
Safety Verification of Software Using Structured Petri Nets.
SAFECOMP
Krzysztof Sacha
1995 — conf
Measuring the real-time operating system performance.
RTS
Krzysztof Sacha
1994 J jnl
Real-Time Software Specification and Validation with Transnet.
Real Time Syst.
Krzysztof Sacha
1993 J jnl
Real-time specification using Petri nets.
Microprocess. Microprogramming
Krzysztof Sacha
1992 — book
Real-time systems - implementation of industrial computerised process automation.
Wolfgang A. Halang, Krzysztof Sacha
1992 J jnl
Transformational implementation of PAISLey specifications using Petri nets.
Softw. Eng. J.
Krzysztof Sacha
1991 J jnl
Transnet: A method for transformational development of embedded software.
Microprocessing and Microprogramming
Krzysztof Sacha