Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Prover Technology (Sweden) | Researchclopedia

Back to institutions

Prover Technology (Sweden)

Stockholmcompany

27

Works

2,607

Citations

19

h-index

Top Research Topics

Formal Methods in Verification Software Reliability and Analysis Research Model-Driven Software Engineering Techniques

Top Researchers

Gunnar Andersson Stockholm University

343 works12,235 citationsh-index: 59

Recent Research

Attention correlated appearance and motion feature followed temporal learning for activity recognition

Manh-Hung Ha,The-Anh Pham,et al.

20221 citations

Petri Nets in System Modeling

Safety Systems Engineering in Autonomy

Logic, programming, and type systems

Real-Time Systems Scheduling

Software Engineering Research

Software Testing and Debugging Techniques

Distributed systems and fault tolerance

Embedded Systems Design Techniques

Radiation Effects in Electronics

Parosh Aziz Abdulla Uppsala University

415 works6,799 citationsh-index: 42

Byron Cook Amazon (United States)

138 works5,501 citationsh-index: 42

Mary Sheeran Chalmers University of Technology

89 works2,405 citationsh-index: 22

Per Bjesse Synopsys (Switzerland)

28 works1,266 citationsh-index: 15

Gunnar Stålmarck Prover Technology (Sweden)

12 works1,176 citationsh-index: 9

Per Anders Larsson,Olav Bandmann

20210 citations

Interlocking Design Automation Using Prover Trident

201810 citations

Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages

Spyros Reveliotis,Zhennan Fei

201724 citations

Supremica–An Efficient Tool for Large-Scale Discrete Event Systems

Robi Malik,Knut Åkesson,et al.

201774 citations

Robust deadlock avoidance for sequential resource allocation systems with resource outages

Spyros Reveliotis,Zhennan Fei

20167 citations