Björn Victor

Short presentation

Keywords

• cyber security
• pedagogical development
• process calculi
• semantics of computer programs

Biography

Publications

Selection of publications

• Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education (2022)
• A Sorted Semantic Framework for Applied Process Calculi (2016)
• The Psi-Calculi Workbench (2015)
• Broadcast psi-calculi with an application to wireless protocols (2015)
• Enhanced learning by promoting engineering competencies (2014)
• The impact of trace and adversary models on location privacy provided by K-anonymity (2012)
• Computing Strong and Weak Bisimulations for Psi-Calculi (2012)
• Psi-calculi (2011)
• Lower trees with fixed degrees (2011)
• On the Expressiveness of Linearity vs Persistence in the Asynchronous Pi-Calculus (2006)
• Solos in Concert (2003)
• The Fusion Calculus (1998)

Recent publications

• Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education (2022)
• A Sorted Semantic Framework for Applied Process Calculi (2016)
• Proceedings från 5:e utvecklingskonferensen för Sveriges ingenjörsutbildningar (2016)
• The Psi-Calculi Workbench (2015)
• Broadcast psi-calculi with an application to wireless protocols (2015)

All publications

Articles

• A Sorted Semantic Framework for Applied Process Calculi (2016)
• The Psi-Calculi Workbench (2015)
• Broadcast psi-calculi with an application to wireless protocols (2015)
• Computing Strong and Weak Bisimulations for Psi-Calculi (2012)
• Psi-calculi (2011)
• Solos in Concert (2003)
• Calculi for Mobile Processes (1998)

Books

• Proceedings från 5:e utvecklingskonferensen för Sveriges ingenjörsutbildningar (2016)
• Special issue on the pi-calculus (2004)
• The difference between concurrent and sequential computation (2003)
• EXPRESS'00: 7th International Workshop on Expressiveness in Concurrency (2000)
• EXPRESS'99: 6th International Workshop on Expressiveness in Concurrency (1999)
• Proceedings of the 11th Nordic Workshop on Programming Theory (1999)
• The Fusion Calculus (1998)

Conferences

• Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education (2022)
• A structured approach to training open-ended problem solving (2015)
• A Sorted Semantic Framework for Applied Process Calculi (extended abstract) (2014)
• Enhanced learning by promoting engineering competencies (2014)
• A Parametric Tool for Applied Process Calculi (2013)
• Fördjupat lärande genom aktiverande examination (2013)
• Professionella kompetenser i projektkurser (2012)
• The impact of trace and adversary models on location privacy provided by K-anonymity (2012)
• Broadcast Psi-calculi with an Application to Wireless Protocols (2011)
• Lower trees with fixed degrees (2011)
• Weak Equivalences in Psi-calculi (2010)
• A Fully Abstract Symbolic Semantics for Psi-Calculi (2010)
• Psi-calculi (2009)
• Extended pi-Calculi (2008)
• On the Expressiveness of Linearity vs Persistence in the Asynchronous Pi-Calculus (2006)
• A Fully Abstract Encoding of the pi-Calculus with Data Terms (2005)
• Modelling and Minimising the Fusion Calculus using HD-automata (2005)
• Spi Calculus Translated to pi-Calculus Preserving May-Tests (2004)
• Relationally Staged Computations in Calculi of Mobile Processes (2004)
• Solo diagrams (2001)
• Solos in Concert (1999)
• The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (1998)
• The Tau-Laws of Fusion (1998)
• Concurrent Constraints in the Fusion Calculus (1998)
• The Update Calculus (1997)
• Constraints as Processes (1996)
• The Mobility Workbench (1994)

Reports

• Modelling and analysing a WSN secure aggregation protocol (2015)
• Modelling Fusion Calculus using HD-Automata (2005)
• Spi Calculus Translated to pi-Calculus Preserving May-Testing (2003)
• Polyadic History-Dependent Automata for the Fusion Calculus (2003)