Skip to content

@UPPAALModelChecker UPPAAL

Users following UPPAALModelChecker

@AlbertSanoe
Albert Sanoe AlbertSanoe
a student learning software engineering

Github University

@Nickg02
Nickg02
@ahmedtadde
Ahmed Tadde ahmedtadde
Software Engineer

Washington, D.C

@szp35
szp35
@juliebeugin
Julie Beugin juliebeugin

Université Gustave Eiffel Villeneuve d'Ascq, FRANCE

@Breinich
Vencel Bajnok Breinich
Computer Science Engineering Masters Student interested in model-based systems design, cybersecurity and web development

Budapest

@HansBug
Hankson Bradley HansBug
A busy-lazy-crazy coder from China.

Beihang University Beijing, China

@michaelp11
michaelp11
@vic01512
Liu Jiadong vic01512
@mateujover
Mateu Jover Mulet mateujover

Palma, Balearic Islands. Spain

@Szpilman2
Peyman Shabani Szpilman2

University of Tehran

@YuchuLiao
YuchuLiao
@zicyair
z zicyair
@mahmood1994ha
Mahmoud Bazzal mahmood1994ha
I build tools to enable Model-Based Systems Engineering

Heinz-Nixdorf Insitute Paderborn

@iamabigartist
Ratrat iamabigartist
@AstridHornBrorholt
Astrid Horn Brorholt AstridHornBrorholt
@prakharjain3
Prakhar Jain prakharjain3
I like Markdown files
@maxkratz
Max Kratz maxkratz
PhD student @Echtzeitsysteme TU Darmstadt

Technical University of Darmstadt Germany

@mikucionisaau
Marius Mikučionis mikucionisaau
Software Engineer and Lecturer at Department of Computer Science, Aalborg University. I develop and maintain Uppaal, also teach Selected Topics in Programming.

Aalborg University Aalborg, Denmark