Brian Nielsen - Concepedia

Author

Brian Nielsen

Also Known As

B Nielsen, B. K. Nielsen, B. K. Nielsen1, B. Nielsen, B.K Nielsen, B.K. Nielsen, Brian K. Nielsen, Brian Kongsgaard Nielsen, Brian Nielsen, Nielsen, B

174

Publications

1.9K

Citations

H-Index

Concepts

All Affiliations

Aalborg University Northwestern University University of Illinois Urbana-Champaign Aarhus University Chr. Hansen (Denmark)

About

Brian Nielsen is an author at Aalborg University specializing in computer science, engineering, and systems engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	23	708
2	Arts	2	2	32
3	Education	2	2	40
4	Business	1	1	12
5	Health Sciences	1	1	37

Brian Nielsen

Publications

969

Citations

H-Index

Page 1

	Year	Citations
Testing real-time embedded software using UPPAAL-TRON Kim G. Larsen, Marius Mikučionis, Brian Nielsen, EngineeringVerificationSoftware EngineeringEmbedded SystemsReal-time Embedded Software	2005	145
Learning deterministic probabilistic automata from a model checking perspective Hua Mao, Yingke Chen, Manfred Jaeger, Machine Learning Logical AutomatonEngineeringAutomated ReasoningVerificationFormal Methods	2016	65
Learning Probabilistic Automata for Model Checking Hua Mao, Yingke Chen, Manfred Jaeger, EngineeringVerificationAccurate System ModelsComputer-aided VerificationModel Checking	2011	54
T-UPPAAL: online model-based testing of real-time systems Marius Mikučionis, Kim G. Larsen, Brian Nielsen EngineeringComputational TestingSystem TestingSoftware TestingVerification	2004	51
Proceedings of 2009 International Conference on Software Testing Verification and Validation Alexandre David, Kim G. Larsen, Shuhao Li, Software Testing VerificationEngineeringComputational TestingSoftware TestingVerification	2009	49
Time-Optimal Real-Time Test Case Generation using UPPAAL Anders Hessel, Kim G. Larsen, Brian Nielsen, Mathematical ProgrammingEngineeringSoftware TestingVerificationFormal Methods	2004	40
T-uppaal : online model-based testing of real-time systems Marius Mikučionis, Kim G. Larsen, Brian Nielsen EngineeringVerificationSoftware EngineeringEmbedded Real-time SystemsEmbedded Systems	2004	39
Welfare, health and product quality in organic beef production: a Danish perspective Brian Nielsen, Stig Milan Thamsborg Livestock Production Science Livestock ProductionAgricultural EconomicsProduct QualityOrganic Beef ProductionAnimal Production	2005	37
Online On-the-Fly Testing of Real-time Systems Marius Mikučionis, Kim G. Larsen, Brian Nielsen BRICS Report Series EngineeringVerificationFormal VerificationSoftware AnalysisModel-based Testing	2003	34
Dairy bull calves as a resource for organic beef production: a farm survey in Denmark Brian Nielsen, Stig Milan Thamsborg Livestock Production Science Animal ScienceAnimal NutritionSustainable AgricultureNatural Resource ManagementLivestock Production	2002	26

Page 1