![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Krzysztof Sacha
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j8]Simone Roncallo
, Krzysztof Sacha
, Lorenzo Maccone
:
When does a particle arrive? Quantum 7: 968 (2023)
2010 – 2019
- 2016
- [j7]Krzysztof Sacha:
On the Semantics of Architectural Decisions. Int. J. Softw. Eng. Knowl. Eng. 26(2): 333-346 (2016) - 2015
- [c18]Wojciech Pikulski, Krzysztof Sacha:
Freshness Constraints Semantics of RT Framework Credentials. DepCoS-RELCOMEX 2015: 359-368 - 2014
- [c17]Krzysztof Sacha, Wojciech Pikulski:
Internet-Based Production Monitoring and Reporting. DepCoS-RELCOMEX 2014: 383-391 - 2013
- [c16]Wojciech Pikulski, Krzysztof Sacha:
Freshness Constraints in the RT Framework. DepCoS-RELCOMEX 2013: 325-334 - 2012
- [c15]Andrzej Ratkowski, Krzysztof Sacha, Andrzej Zalewski:
Optimization of Business Processes in Service Oriented Architecture. EDOC Workshops 2012: 42-50 - 2011
- [c14]Krzysztof Sacha:
Complexity of credential processing. EUROCON 2011: 1-4 - [c13]Krzysztof Sacha:
Trust Management Languages and Complexity. OTM Conferences (2) 2011: 588-604 - 2010
- [j6]Anna Felkner, Krzysztof Sacha:
Deriving RTT Credentials for Role-Based Trust Management. e Informatica Softw. Eng. J. 4(1): 9-19 (2010) - [j5]Krzysztof Sacha:
Verification and implementation of software for dependable controllers. Int. J. Crit. Comput. Based Syst. 1(1/2/3): 238-254 (2010) - [c12]Krzysztof Sacha:
Credential Chain Discovery in RTT Trust Management Language. MMM-ACNS 2010: 195-208
2000 – 2009
- 2009
- [c11]Krzysztof Sacha:
Model-based Design of Code for PLC Controllers. ICINCO-SPSMC 2009: 130-135 - [c10]Anna Felkner
, Krzysztof Sacha:
The Semantics of Role-Based Trust Management Languages. CEE-SET 2009: 179-189 - 2008
- [c9]Krzysztof Sacha:
Verification and Implementation of Dependable Controllers. DepCoS-RELCOMEX 2008: 143-151 - [c8]Krzysztof Sacha:
Model-Based Implementation of Real-Time Systems. SAFECOMP 2008: 332-345 - 2007
- [c7]Krzysztof Sacha:
Translatable Finite State Time Machine. SDL Forum 2007: 117-132 - [c6]Krzysztof Sacha:
Software Engineering Practices: An Auditor's Perspective. SoMeT 2007: 36-51 - [e1]Krzysztof Sacha:
Software Engineering Techniques: Design for Quality, SET 2006, October 17-20, 2006, Warsaw, Poland. IFIP 227, Springer 2007, ISBN 978-0-387-39387-2 [contents] - 2006
- [c5]Krzysztof Sacha:
Evaluation of Expected Software Quality: A Customer's Viewpoint. FASE 2006: 170-183 - [c4]Krzysztof Sacha:
Preface. SET 2006: v - 2005
- [c3]Krzysztof Sacha:
Automatic Code Generation for PLC Controllers. SAFECOMP 2005: 303-316 - [p1]Krzysztof Sacha:
Evaluation of Software Quality. Software Engineering: Evolution and Emerging Technologies 2005: 381-388
1990 – 1999
- 1998
- [c2]Krzysztof Sacha:
Safety Verification of Software Using Structured Petri Nets. SAFECOMP 1998: 329-342 - 1995
- [c1]Krzysztof Sacha:
Measuring the real-time operating system performance. RTS 1995: 34-41 - 1994
- [j4]Krzysztof Sacha:
Real-Time Software Specification and Validation with Transnet. Real Time Syst. 6(2): 153-172 (1994) - 1993
- [j3]Krzysztof Sacha:
Real-time specification using Petri nets. Microprocess. Microprogramming 38(1-5): 607-614 (1993) - 1992
- [b1]Wolfgang A. Halang, Krzysztof Sacha:
Real-time systems - implementation of industrial computerised process automation. World Scientific 1992, ISBN 978-981-02-1063-2, pp. I-XXIV, 1-3563 - [j2]Krzysztof Sacha:
Transformational implementation of PAISLey specifications using Petri nets. Softw. Eng. J. 7(3): 191-204 (1992) - 1991
- [j1]Krzysztof Sacha:
Transnet: A method for transformational development of embedded software. Microprocessing and Microprogramming 32(1-5): 617-624 (1991)
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint