Wolfgang Jeltsch

According to our database, Wolfgang Jeltsch authored at least 14 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Proofs about Network Communication: For Humans and Machines.

Wolfgang Jeltsch, Javier Díaz

Proceedings of the Proceedings 16th Interaction and Concurrency Experience, 2023

2022

Correctness of Broadcast via Multicast: Graphically and Formally.

Wolfgang Jeltsch, Javier Díaz

Proceedings of the Sixth Working Formal Methods Symposium, 2022

Your Blockchain Needn't Care How the Message is Spread.

Wolfgang Jeltsch, Javier Díaz

CoRR, 2022

2020

Flexible Formality Practical Experience with Agile Formal Methods.

Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan, Neil J. Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova

Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

2019

A Process Calculus for Formally Verifying Blockchain Consensus Protocols.

Wolfgang Jeltsch

Proceedings of the Declarative Programming and Knowledge Management, 2019

2016

Abstract categorical semantics for resourceful functional reactive programming.

Wolfgang Jeltsch

J. Log. Algebraic Methods Program., 2016

Purely Functional Incremental Computing.

Denis Firsov, Wolfgang Jeltsch

Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

2014

Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion.

Wolfgang Jeltsch

Proceedings of the Proceedings 5th Workshop on Mathematically Structured Functional Programming, 2014

An abstract categorical semantics for functional reactive programming with processes.

Wolfgang Jeltsch

Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, 2014

2013

Temporal logic with "Until", functional reactive programming with processes, and concrete process categories.

Wolfgang Jeltsch

Proceedings of the 7th Workshop on Programming languages meets program verification, 2013

2012

Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming.

Wolfgang Jeltsch

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

2011

Strongly typed and efficient functional reactive programming.

Wolfgang Jeltsch

PhD thesis, 2011

2010

Generic record combinators with static type checking.

Wolfgang Jeltsch

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

2009

Signals, Not Generators!

Wolfgang Jeltsch

Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009