Jonathan P. Bowen

According to our database1, Jonathan P. Bowen authored at least 180 papers between 1985 and 2020.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP.
Formal Aspects Comput., 2020

Gerard O'Regan: Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications.
Formal Aspects Comput., 2020

Computing the Future: Digital encounters in art and science when da Vinci meets Turing.
Proceedings of the Electronic Visualisation and the Arts, 2020

Museum Websites of the First Wave: The rise of the virtual museum.
Proceedings of the Electronic Visualisation and the Arts, 2020

Computational Culture and AI: Challenging human identity and curatorial practice.
Proceedings of the Electronic Visualisation and the Arts, 2020

A Personal View of EVA London: Past, Present, Future.
Proceedings of the Electronic Visualisation and the Arts, 2020

Turing's Sunflowers: Public research and the role of museums.
Proceedings of the Electronic Visualisation and the Arts, 2020

2019
Theoretical and Practical Aspects of Linking Operational and Algebraic Semantics for MDESL.
ACM Trans. Softw. Eng. Methodol., 2019

Fully encrypted high-speed microprocessor architecture: the secret computer in simulation.
Int. J. Crit. Comput. Based Syst., 2019

Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.
Proceedings of the Engineering Trustworthy Software Systems - 5th International School, 2019

Chaotic Compilation: A (Statistical) Cloak for a Secret Computer.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

Safe Compilation for Hidden Deterministic Hardware Aliasing.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

Art and Activism at Museums in a Post-digital World.
Proceedings of the Electronic Visualisation and the Arts, 2019

Digital Art, Culture and Heritage: New constructs and consciousness.
Proceedings of the Electronic Visualisation and the Arts, 2019

Transforming Education for Museum Professionals in the Digital Age.
Proceedings of the Museums and Digital Culture, New Perspectives and Research., 2019

Rethinking Museum Exhibitions: Merging Physical and Digital Culture - Present to Future.
Proceedings of the Museums and Digital Culture, New Perspectives and Research., 2019

Rethinking Museum Exhibitions: Merging Physical and Digital Culture - Past to Present.
Proceedings of the Museums and Digital Culture, New Perspectives and Research., 2019

Museums, Art, Identity, and the Digital Ecosystem: A Paradigm Shift.
Proceedings of the Museums and Digital Culture, New Perspectives and Research., 2019

Museums and Digitalism.
Proceedings of the Museums and Digital Culture, New Perspectives and Research., 2019

Digital Culture.
Proceedings of the Museums and Digital Culture, New Perspectives and Research., 2019

The Digital Future for Museums.
Proceedings of the Museums and Digital Culture, New Perspectives and Research., 2019

Smart Cities and Digital Culture: Models of Innovation.
Proceedings of the Museums and Digital Culture, New Perspectives and Research., 2019

2018
Egon Börger and Alexander Raschke: Modeling companion for software practitioners - Springer, 2018, XXI+349 pp, ISBN: 978-3-662-56639-8 (Paperback, £ 46.99), eISBN: 978-3-662-56641-1 (eBook, £ 36.99), http: //dx.doi.org/10.1007/978-3-662-56641-1.
Formal Aspects Comput., 2018

(Un)Encrypted Computing and Indistinguishability Obfuscation.
CoRR, 2018

Superscalar Encrypted RISC: The Measure of a Secret Computer.
Proceedings of the 17th IEEE International Conference On Trust, 2018

The Impact of Alan Turing: Formal Methods and Beyond.
Proceedings of the Engineering Trustworthy Software Systems - 4th International School, 2018

On Security in Encrypted Computing.
Proceedings of the Information and Communications Security - 20th International Conference, 2018

Digital Futures: Exhibits at EVA London 2018.
Proceedings of the Electronic Visualisation and the Arts, 2018

Of Museums and Digital Culture: A landscape view.
Proceedings of the Electronic Visualisation and the Arts, 2018

Turing's Genius - Defining an apt microcosm.
Proceedings of the Electronic Visualisation and the Arts, 2018

States of Being: Art and identity in digital space and time.
Proceedings of the Electronic Visualisation and the Arts, 2018

The Secret Processor Will Go to the Ball: Benchmark Insider-Proof Encrypted Computing.
Proceedings of the 2018 IEEE European Symposium on Security and Privacy Workshops, 2018

2017
On Obfuscating Compilation for Encrypted Computing.
Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

Encrypted computing: Speed, security and provable obfuscation against insiders.
Proceedings of the International Carnahan Conference on Security Technology, 2017

Coded Communication: Digital Senses and Aesthetics, Merging Art and Life.
Proceedings of the Electronic Visualisation and the Arts, 2017

Life in Code and Digits: When Shannon met Turing.
Proceedings of the Electronic Visualisation and the Arts, 2017

Smart Cities and Cultural Heritage - A Review of Developments and Future Opportunities.
Proceedings of the Electronic Visualisation and the Arts, 2017

Provably Correct Systems: Community, Connections, and Citations.
Proceedings of the Provably Correct Systems, 2017

Turing's Monument.
Proceedings of the Turing Guide., 2017

Life and work.
Proceedings of the Turing Guide., 2017

Turing's legacy.
Proceedings of the Turing Guide., 2017

2016
Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems.
Sensors, 2016

Creative visualisation in chemistry.
Int. J. Creative Comput., 2016

Superscalar Encrypted RISC: A Secret Computer in Simulation.
IACR Cryptol. ePrint Arch., 2016

On the Security of Practical and Complete Homomorphic Encrypted Computation.
IACR Cryptol. ePrint Arch., 2016

Alan Turing: Founder of Computer Science.
Proceedings of the Engineering Trustworthy Software Systems - Second International School, 2016

A Practical Encrypted Microprocessor.
Proceedings of the 13th International Joint Conference on e-Business and Telecommunications (ICETE 2016), 2016

Curating Digital Life and Culture: Art and information.
Proceedings of the Electronic Visualisation and the Arts, 2016

From Analogue to Digital in Literature and Art.
Proceedings of the Electronic Visualisation and the Arts, 2016

Alan Turing: Virtuosity and visualisation.
Proceedings of the Electronic Visualisation and the Arts, 2016

A Fully Encrypted Microprocessor The Secret Computer is Nearly Here.
Proceedings of the 7th International Conference on Ambient Systems, 2016

2015
A First Practical Fully Homomorphic Crypto-Processor Design: The Secret Computer is Nearly Here.
CoRR, 2015

Provably Correct Systems: Community, connections, and citations.
CoRR, 2015

Processor Rescue - Safe Coding for Hardware Aliasing.
Proceedings of the Intelligent Software Methodologies, Tools and Techniques, 2015

Galois Connections: Mathematics, Art and Archives.
Proceedings of the Electronic Visualisation and the Arts, 2015

2014
On the Security of Fully Homomorphic Encryption and Encrypted Computing: Is Division safe?
CoRR, 2014

Formality, Agility, Security, and Evolution in Software Development.
Computer, 2014

Component-based modelling for sustainable and scalable smart meter networks.
Proceedings of the Proceeding of IEEE International Symposium on a World of Wireless, 2014

Empirical Patterns in Google Scholar Citation Counts.
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

The Z Notation: Whence the Cause and Whither the Course?
Proceedings of the Engineering Trustworthy Software Systems - First International School, 2014

Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Digitalism: The New Realism?
Proceedings of the Electronic Visualisation and the Arts, 2014

Idea: Towards a Working Fully Homomorphic Crypto-processor - Practice and the Secret Computer.
Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

Formal Methods.
Proceedings of the Computing Handbook, 2014

2013
Editorial.
Formal Aspects Comput., 2013

Towards Proving RISC Machine Code not Risky with respect to Memory Aliasing
CoRR, 2013

Online Communities: Visualization and Formalization.
CoRR, 2013

Certifying Machine Code Safe from Hardware Aliasing: RISC is Not Necessarily Risky.
Proceedings of the Software Engineering and Formal Methods, 2013

Electronic Visualisation in Chemistry: from Alchemy to Art.
Proceedings of the Electronic Visualisation and the Arts, 2013

A Fully Homomorphic Crypto-Processor Design.
Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng.
Proceedings of the Theories of Programming and Formal Methods, 2013

2012
Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language.
J. Log. Algebraic Methods Program., 2012

Visualising virtual communities: From Erdős to the arts.
Proceedings of the Electronic Visualisation and the Arts, 2012

Usability, design and content issues of mobile apps for cultural heritage promotion: the Malta Culture Guide experience.
Proceedings of the Electronic Visualisation and the Arts, 2012

Typed Assembler for a RISC Crypto-Processor.
Proceedings of the Engineering Secure Software and Systems - 4th International Symposium, 2012

Ten Commandments of Formal Methods... Ten Years On.
Proceedings of the Conquering Complexity, 2012

2011
Algebraic approach to linking the semantics of web services.
Innov. Syst. Softw. Eng., 2011

Creating online collaborative environments for museums: a case study of a museum wiki.
Int. J. Web Based Communities, 2011

From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community.
Proceedings of the FM 2011: Formal Methods, 2011

2010
Formal Methods.
Proceedings of the Encyclopedia of Software Engineering, 2010

Formal Requirements Specification.
Proceedings of the Encyclopedia of Software Engineering, 2010

Linking denotational semantics with operational semantics for web services.
Innov. Syst. Softw. Eng., 2010

Dulwich OnView: an art museum-based virtual community generated by the local community.
Proceedings of the Electronic Visualisation and the Arts, 2010

2009
PTSC: probability, time and shared-variable concurrency.
Innov. Syst. Softw. Eng., 2009

Communicating the public understanding of science: the Royal Society website.
Int. J. Technol. Manag., 2009

Using formal specifications to support testing.
ACM Comput. Surv., 2009

Formal Versus Agile: Survival of the Fittest.
Computer, 2009

Animating the Link Between Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language.
Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009

Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net.
Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2008
Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis.
Trans. Comput. Sci., 2008

From algebraic semantics to denotational semantics for Verilog.
Innov. Syst. Softw. Eng., 2008

Software engineering and formal methods.
Commun. ACM, 2008

2007
Test conditions for fault classes in Boolean specifications.
ACM Trans. Softw. Eng. Methodol., 2007

A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability.
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

2006
Formalization and assessment of regulatory requirements for safety-critical software.
Innov. Syst. Softw. Eng., 2006

From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria.
Formal Aspects Comput., 2006

Ten Commandments of Formal Methods ...Ten Years Later.
Computer, 2006

Reviews.
IEEE Ann. Hist. Comput., 2006

Integrating Probability with Time and Shared-Variable Concurrency.
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

2005
A formal analysis of MCDC and RCDC test criteria.
Softw. Test. Verification Reliab., 2005

Continuity aspects of embedded reconfigurable computing.
Innov. Syst. Softw. Eng., 2005

Copyright and Promotion: Oxymoron or Opportunity?
CoRR, 2005

Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara
CoRR, 2005

A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing.
Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

2004
Experimental evaluation of the tolerance for control-flow test criteria.
Softw. Test. Verification Reliab., 2004

Web-based discussion groups at stake: the profile of museum professionals online.
Program, 2004

The Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector
CoRR, 2004

An algorithmic approach by heuristics to dynamical reconfiguration of logic resources on reconfigurable FPGAs.
Proceedings of the ACM/SIGDA 12th International Symposium on Field Programmable Gate Arrays, 2004

Ordering Mutants to Minimise Test Effort in Mutation Testing.
Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

2003
Web Access to Cultural Heritage for the Disabled
CoRR, 2003

Z Logic and its Consequences.
Comput. Artif. Intell., 2003

Disabled Access for Museum Websites.
Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003

Experimental Evaluation of the Variation in Effectiveness for DC, FPC and MC/DC Test Criteria.
Proceedings of the 2003 International Symposium on Empirical Software Engineering (ISESE 2003), 30 September, 2003

Tolerance of Control-Flow Testing Criteria.
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002
Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing.
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics.
Proceedings of the Formal Methods and Software Engineering, 2002

FORTEST: Formal Methods and Testing.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
An Approach to the Specification and Verification of a Hardware Compilation Scheme.
J. Supercomput., 2001

Experience teaching Z with tool and web support.
ACM SIGSOFT Softw. Eng. Notes, 2001

Formalization of Software Testing Criteria using the Z Notation.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

From Operational Semantics to Denotational Semantics for Verilog.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

Deriving Operational Semantics from Denotational Semantics for Verilog.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000
The Ethics of Safety-Critical Systems.
Commun. ACM, 2000

Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language.
Proceedings of the Integrated Formal Methods, Second International Conference, 2000

An Animatable Operational Semantics of the Verilog Hardware Description Language.
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

1999
Reasoning about VHDL and VHDL-AMS using Denotational Semantics.
Proceedings of the 1999 Design, 1999

1998
Z on the Web Using Java.
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

1997
Comp.specification.z and Z FORUM Frequently Asked Questions.
Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

The use of industrial-strength formal methods.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

Formal Models and the Specification Process.
Proceedings of the Computer Science and Engineering Handbook, 1997

1996
<i>The Knowledge Acquisition and Representation Language, KARL</i> by Dieter Fensel, Kluwer Academic, Dordrecht, 1995, pp 238, ISBN 0-7923-9601-4, Dfl 195.00 (US$ 110.00, £77.00).
Knowl. Eng. Rev., 1996

<i>Formal methods in knowledge engineering</i> by M. Aben, University of Amsterdam, Netherlands, pp 236, ISBN 90-5470-028-9.
Knowl. Eng. Rev., 1996

An Invitation to Formal Methods.
Computer, 1996

1995
A PREttier Compiler-Compiler: Generating Higher-order Parsers in C.
Softw. Pract. Exp., 1995

Seven More Myths of Formal Methods.
IEEE Softw., 1995

Annotated Z bibliography.
Inf. Softw. Technol., 1995

Report on Z user meeting (ZUM '94).
Inf. Softw. Technol., 1995

Editorial.
Inf. Softw. Technol., 1995

A shallow embedding of Z in HOL.
Inf. Softw. Technol., 1995

Glossary of Z notation.
Inf. Softw. Technol., 1995

Ten Commandments of Formal Methods.
Computer, 1995

1994
Decompilation: The Enumeration of Types and Grammars.
ACM Trans. Program. Lang. Syst., 1994

Specification, Verification and Prototyping of an Optimized Compiler.
Formal Aspects Comput., 1994

Towards Correct Executable Semantics for Z.
Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

Z and HOL.
Proceedings of the Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings, 1994

1993
From programs to object code and back again using logic programming: Compilation and decompilation.
J. Softw. Maintenance Res. Pract., 1993

Formal specifications in software maintenance: from code to Z<sup>++</sup> and back again.
Inf. Softw. Technol., 1993

Report on Z user meeting : 7th Annual User Meeting (ZUM'92) Department of Trade and Industry (DTI), London, UK 14-15 December 1992.
Inf. Softw. Technol., 1993

Safety-critical systems, formal methods and standards.
Softw. Eng. J., 1993

A compendium of formal techniques for software maintenance.
Softw. Eng. J., 1993

The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective.
Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

Developing Correct Systems.
Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

Towards a Provably Correct Hardware Implementation of Occam.
Proceedings of the Correct Hardware Design and Verification Methods, 1993

1992
X: Why Z?
Comput. Graph. Forum, 1992

Select Z Bibliography.
Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992

Decompilation <i>is</i> the Efficient Enumeration of Types.
Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

Time interval semantics and implementation of a real-time programming language.
Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

1991
Select Z Bibliography and Frequently Asked Questions.
Proceedings of the Z User Workshop, York, UK, 16-17 December 1991, Proceedings, 1991

From Programs to Object Code using Logic and Logic Programming.
Proceedings of the Code Generation, 1991

1990
PRG Archive Server.
Proceedings of the Z User Workshop, 1990

Z FORUM Electronic Mailing List.
Proceedings of the Z User Workshop, 1990

Selected Z Bibliography.
Proceedings of the Z User Workshop, 1990

An Approach to Verifiable Compiling Specification and Prototyping.
Proceedings of the Programming Language Implementation and Logic Programming, 1990

1989
POS-formal specification of a Unix tool.
Softw. Eng. J., 1989

1988
The specification of computer programs: Turski, W M and Maibaum, T S E addison-Wesley, Workingham, UK (1987) £18.95 pp 278.
Microprocess. Microsystems, 1988

More books about assembler and 16-bit micros: Turpin, R WThe 8086 and assembly language programming BSP Professional Books, Oxford, UK (1987) £12.95 pp 259.
Microprocess. Microsystems, 1988

More books about assembler and 16-bit micros: Krantz, D and Stanley, J68000 assembly language: techniques for building programs Addison-Wesley, Reading, MA, USA (1986) £15.95 pp 402.
Microprocess. Microsystems, 1988

1986
Microprocessor interfacing and communication using the Intel SDK-85: Borivoje Furht and Himanshu Parikh Prentice-Hall Reston, Englewood Cliffs, NJ, USA (April 1986) £31.00 pp 499.
Microprocess. Microsystems, 1986

Design of a Simple Cambridge Ring Interface Adapter.
Comput. Syst. Sci. Eng., 1986

Distributed computing software project.
Proceedings of the 2nd ACM SIGOPS European Workshop, 1986

1985
A user-friendly interface adapter.
Microprocess. Microsystems, 1985

Microprocessors: O A R ComillieEPO Applied Technology Series, Vol 8, Pergamon, Oxford, UK (1985) £57.00 pp 442.
Microprocess. Microsystems, 1985

Microprocessor I/O emulation facilities.
Microprocess. Microsystems, 1985

Standard microprocessor programming cards.
Microprocess. Microsystems, 1985

Algorithms, software and hardware of parallel computers: J Mikloško and V E Kotov (eds)Springer-Verlag, Berlin, FRG (1984) DM 89 pp 395.
Microprocess. Microsystems, 1985

Microprocessors: hardware and applications: A Veronis, Reston Publishing Co., Reston, VA, USA (1984) £51.45 pp 928.
Microprocess. Microsystems, 1985

6800/6802 microprocessor emulation adapter.
Microprocess. Microsystems, 1985

Software/hardware integration on microprocessors.
Microprocess. Microsystems, 1985


  Loading...