Author of the publication

Formalization of Invariant Patterns for the Invariant Refinement Method.

, , , , and . Software, Services, and Systems, volume 8950 of Lecture Notes in Computer Science, page 602-618. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Keznikl, Jaroslav
add a person with the name Keznikl, Jaroslav
 

Other publications of authors with the same name

Performance Awareness in Component Systems: Vision Paper., , , , and . COMPSAC Workshops, page 514-519. IEEE Computer Society, (2012)Automated resolution of connector architectures using constraint solving (ARCAS method)., , , and . Software and Systems Modeling, 13 (2): 843-872 (2014)Gossiping Components for Cyber-Physical Systems., , , , , and . ECSA, volume 8627 of Lecture Notes in Computer Science, page 250-266. Springer, (2014)Extensible Polyglot Programming Support in Existing Component Frameworks., , , and . EUROMICRO-SEAA, page 107-115. IEEE Computer Society, (2011)Formalization of Invariant Patterns for the Invariant Refinement Method., , , , and . Software, Services, and Systems, volume 8950 of Lecture Notes in Computer Science, page 602-618. Springer, (2015)The Autonomic Cloud., , , , , , , , and . The ASCENS Approach, volume 8998 of Lecture Notes in Computer Science, Springer, (2015)Towards Dependable Emergent Ensembles of Components: The DEECo Component Model., , , and . WICSA/ECSA, page 249-252. IEEE, (2012)Towards Verification of Ensemble-Based Component Systems., , , , , and . FACS, volume 8348 of Lecture Notes in Computer Science, page 41-60. Springer, (2013)Engineering autonomous systems., , and . Panhellenic Conference on Informatics, page 128-135. ACM, (2013)Capturing performance assumptions using stochastic performance logic., , , , , and . ICPE, page 311-322. ACM, (2012)