Dines Bjørner
Orcid: 0000-0002-6225-6808Affiliations:
- Technical University of Denmark
According to our database1,
Dines Bjørner
authored at least 86 papers
between 1970 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2005, "For contributions to formal methods and for international leadership.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on viaf.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on it.dtu.dk
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
The 0'th PEPM Event: October 1987 - and Andrei Petrovich Ershov: 1977-1988 (Invited Contribution).
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2024
2023
Proceedings of the Theories of Programming and Formal Methods, 2023
2022
An Essence of Domain Engineering - A Basis for Trustworthy Aeronautics and Space Software.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
2021
Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-030-73483-1, 2021
Proceedings of the Formal Methods in Outer Space, 2021
2019
ACM Trans. Softw. Eng. Methodol., 2019
2018
To every manifest domain a CSP expression - a rôle for mereology in computer science.
J. Log. Algebraic Methods Program., 2018
Domain Science and Engineering A Review of 10 Years Work and a Laudatio The ZCC Fest, 20 October 2017, Changsha, China.
Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018
2017
Proceedings of the Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), 2017
Proceedings of the Provably Correct Systems, 2017
Proceedings of the Provably Correct Systems, 2017
2014
Proceedings of the FM 2014: Formal Methods, 2014
Proceedings of the Specification, Algebra, and Software, 2014
Domain Science & Engineering: A Foundation for Computation for Humanity.
Proceedings of the Computation for Humanity - Information Technology to Advance Society., 2014
2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference - Workshops, 2012
2011
Domains: Their Simulation, Monitoring and Control - A Divertimento of Ideas and Suggestions.
Proceedings of the Rainbow of Computer Science, 2011
2010
Proceedings of the Encyclopedia of Software Engineering, 2010
Proceedings of the History of Nordic Computing 3 - Third IFIP WG 9.7 Conference, 2010
Proceedings of the Concurrency, 2010
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010
2009
Rôle of Domain Engineering in Software Development - Why Current Requirements Engineering Is Flawed !
Proceedings of the Perspectives of Systems Informatics, 2009
Domain Engineering - Technology Management, Research and Engineering.
COE Research Monograph Series 4, JAIST, ISBN: 978-4-903092-17-1, 2009
2008
Proceedings of the 6th ACS/IEEE International Conference on Computer Systems and Applications, 2008
2007
Proceedings of the Theoretical Aspects of Computing, 2007
2006
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-33653-2, 2006
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-33193-3, 2006
Texts in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-540-31288-8, 2006
2005
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
2004
From railway resource planning to train operation - a brief survey of complementary formalisations.
Proceedings of the Building the Information Society, 2004
Proceedings of the Building the Information Society, 2004
TRain: The Railway domain - A "Grand Challenge" for Computing Science & Transportation Engineering.
Proceedings of the Building the Information Society, 2004
Proceedings of the Building the Information Society, 2004
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004
Towards Posit & Prove Calculi for Requirements Engineering and Software Design: In Honour of the Memory of Professor Ole-Johan Dahl.
Proceedings of the From Object-Orientation to Formal Methods, 2004
2003
Domain Engineering: a "Radical Innovation" for Software and Systems Engineering? A Biased Account.
Proceedings of the Verification: Theory and Practice, 2003
2002
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002
2001
On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book.
J. Univers. Comput. Sci., 2001
On Formal Techniques in Protocol Engineering - Example Challenges.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001
2000
Ann. Softw. Eng., 2000
Proceedings of the SOFSEM 2000: Theory and Practice of Informatics, 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25, 2000
1999
Proceedings of the Correct System Design, 1999
1998
Ann. Softw. Eng., 1998
1997
A Formal Software Engineering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi.
Proceedings of the SOFSEM '97: Theory and Practice of Informatics, 1997
Domains as a Prerequisite for Requirements and Software Domain Perspectives & Facets, Requirements Aspects and Software Views.
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997
Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997
1996
Proceedings of the Perspectives of System Informatics, 1996
1995
Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995
1994
The UNU/IIST Approach to Software Technology Transfer: The PRaCoSy and DeTfoRS Case "Stories".
Proceedings of the Linkage and Developing Countries, Information Processing '94, Volume 3, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994
1993
University Curricula in Software Technology.
Proceedings of the Software Engineering Education, Proceedings of the IFIP WG3.4/SEARCC (SRIG on Education and Training) Working Conference, Hong Kong, 28 September, 1993
1992
Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS.
Future Gener. Comput. Syst., 1992
From Research to Practice: Self-reliance of the Developing World through own Software Technology: Education, Development, Management & Research.
Proceedings of the Algorithms, Software, Architecture, 1992
Proceedings of the 14th International Conference on Software Engineering, 1992
Algorithmic & Knowledge Based Methods - Do they "Unify" ? With some Programme Remarks for UNU/IIST.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992
1991
Proceedings of the Software Development Environments and CASE Technology, 1991
1990
Proceedings of the 12th International Conference on Software Engineering, 1990
1989
Towards a Meaning of 'M' in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial).
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989
Specification and Transformation. Methodology Aspects of the Vienna Development Method - Towards a Meaning of 'M' in VDM.
Proceedings of the Formal Description of Programming Concepts, 1989
1988
New Gener. Comput., 1988
1987
Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987
The Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments.
Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987
1986
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1986
Project Graphs and Meta-Programs. Towards a Theory of Software Development.
Proceedings of the Software Development and Ada, 1986
1984
Proceedings of the Programming Languages and Their Definition - Hans Bekic (1936-1982), 1984
1982
Proceedings of the Eigth International Conference on Very Large Data Bases, 1982
1981
Proceedings of the Formalization of Programming Concepts, 1981
1980
Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980
Proceedings of the Towards a Formal Description of Ada, 1980
Reference Manual for the Meta-Language.
Proceedings of the Towards a Formal Description of Ada, 1980
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980
A Formal Model of a Generalized CSP-like Language.
Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980
1979
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979
1978
Proceedings of the Mathematical Studies of Information Processing, 1978
Software Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition.
Proceedings of the Vienna Development Method: The Meta-Language, 1978
Proceedings of the Vienna Development Method: The Meta-Language, 1978
1977
Programming Languages: Linguistics and Semantics.
Proceedings of the International Computing Symposium 1977, 1977
Programming Languages: Formal Development of Interpreters and Compilers.
Proceedings of the International Computing Symposium 1977, 1977
1973
The Gamma-0 n-ary Relational Data Base Interface Specifications of Objects and Operations.
Research Report / RJ / IBM / San Jose, California, April, 1973
1970
Proceedings of the 11th Annual Symposium on Switching and Automata Theory, 1970
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '70 Fall Joint Computer Conference, 1970