Skip to content
cs-conference-ranking.org

Dines Bjrner

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

22

Venues

14

Active years

1970–2025

Best venue rank

A*

Where they publish

Papers

22 indexed papers, newest first.

YearVenueTitleAuthors
2025ICTACDomain Analysis and Description: A Tutorial.Dines Bjrner
2024PEPMThe 0'th PEPM Event: October 1987 - and Andrei Petrovich Ershov: 1977-1988 (Invited Contribution).Dines Bjrner
2014FM40 Years of Formal Methods - Some Obstacles and Some Possibilities?Dines Bjrner, Klaus Havelund
2012APSECA survey of domain engineering.Dines Bjrner
2008AICCSAFormal digital license language with OTS/CafeOBJ method.Jianwen Xiang, Dines Bjrner, Kokichi Futatsugi
2007ICTACDomain Theory: Practice and Theories A Discussion of Possible Research Topics.Dines Bjrner
2007ISoLADevelopment of Transportation Systems.Dines Bjrner
2005SEFMA Cloverleaf of Software Engineering.Dines Bjrner
2001FORTEOn Formal Techniques in Protocol Engineering - Example Challenges.Dines Bjrner
2000SOFSEMDomain Engineering: A Software Engineering Discipline in Need of Research.Dines Bjrner
1997ICFEMMichael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools.Dines Bjrner, S. Koussoube, R. Noussi, G. Satchok
1997SOFSEMA Formal Software Engineering Paradigm: From Domains via Requirements to Software - Formal Specification & Design Calculi.Dines Bjrner
1995APSECSoftware Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures.Dines Bjrner
1992ICSETrusted Computing Systems: The ProCoS Experience.Dines Bjrner
1990ICSEPosition Statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods.Dines Bjrner, Larry E. Druffel
1987FMThe Stepwise Development of Software Development Graphs: Meta-Programming VDM Developments.Dines Bjrner
1987ICSEOn the Use of Formal Methods in Software Development.Dines Bjrner
1982VLDBFormalization of Database Systems - and a Formal Definition of IMS (Invited Paper).Dines Bjrner, Hans Henrik Lvengreen
1980MFCSFormal Description of Programming Concepts: A Software Engineering Viewpoint.Dines Bjrner
1978FMProgramming in the META-Language: A Tutorial.Dines Bjrner
1978FMSoftware Abstraction Principles: Tutorial Examples of: An Operating System Command Language Specification, and a PL/I-like On-Condition Language Definition.Dines Bjrner
1970FOCSThe Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up TransducersDines Bjrner