Author of the publication

How Do Firms Transact? Guesstimation and Validation of Financial Transaction Networks with Satisfiability.

, , , and . IRI, page 15-22. IEEE, (2019)

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.

 

Other publications of authors with the same name

Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems., , , and . ICSE (2), page 729-732. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Dependable Resource Coordination on the Edge at Runtime., , and . Proceedings of the IEEE, 107 (8): 1520-1536 (2019)How Do Firms Transact? Guesstimation and Validation of Financial Transaction Networks with Satisfiability., , , and . IRI, page 15-22. IEEE, (2019)On early statistical requirements validation of cyber-physical space systems., , , , and . SEsCPS@ICSE, page 13-18. ACM, (2018)Engineering topology aware adaptive security: Preventing requirements violations at runtime., , , , and . RE, page 203-212. IEEE Computer Society, (2014)An EMOF-Compliant Abstract Syntax for Bigraphs., , and . GaM@ETAPS, volume 231 of EPTCS, page 16-30. (2016)Decentralized Resource Auctioning for Latency-Sensitive Edge Computing., , and . EDGE, page 72-76. IEEE, (2019)Inferring analyzable models from trajectories of spatially-distributed internet of things., , , , , and . SEAMS@ICSE, page 100-106. ACM, (2019)Towards Resilient Internet of Things: Vision, Challenges, and Research Roadmap., , and . ICDCS, page 1754-1764. IEEE, (2019)Modeling and Verification of Evolving Cyber-Physical Spaces., , and . Software Engineering, volume P-279 of LNI, page 113-114. Gesellschaft für Informatik, (2018)