Concepedia

Ulf Norell

UN

Statistics

Publications

7

Citations

441

H-Index

7

Active since

2003

Affiliations

Chalmers University of Technology(Current)

Ulf Norell is an author at Chalmers University of Technology specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceSoftware AnalysisVerificationProgram AnalysisFormal VerificationFormal MethodsSoftware TestingSystems EngineeringData Science

Publications per year

2003–2016

7

Publications

7

Dependently typed programming in Agda

Ulf Norell · 2009 · 285 citations

Agda Programming Language, Dependent Types, Dependent Type System +14

Testing AUTOSAR software with QuickCheck

Thomas Arts, John Hughes, Ulf Norell et al. · 2015 · 54 citations

Software Maintenance, Automotive Industry, Engineering +20

Verifying haskell programs using constructive type theory

Andreas Abel, Marcin Benke, Ana Bove et al. · 2005 · 34 citations

Engineering, Automated Reasoning, Program Analysis +15

Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service

John Hughes, Benjamin C. Pierce, Thomas Arts et al. · 2016 · 31 citations · Full text

Distributed File System, Availability, Engineering +24

Find more bugs with QuickCheck!

John Hughes, Ulf Norell, Nicholas Smallbone et al. · 2016 · 15 citations

Software Maintenance, Engineering, Test Data Generation +16

1–5 of 7