StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

mariusm

Rating
1487.78 (4,446,934th)
Reputation
660 (218,249th)
Page: 1 2
Title Δ
How to save variables from Uppaal created during the modeling process 0.00
UPPAAL - Query Regarding Channel Related Property 0.00
UPPAAL Verifier 0.00
Check whether OS is supported error in Uppaal 4.1.23 on Mac OS Cata... 0.00
CSP-like synchronizations 0.00
What if Uppaal removes relative time? 0.00
Understanding Urgent Channels in Uppaal +4.15
How does Uppaal clock evolve? I have two locations 1 and 2 without... 0.00
UPPAAL SMC avoid State Space Explosion 0.00
can you decalare a json array in uppaal? 0.00
Uppaal Verification not working as intended 0.00
How to cast a double value to a integer value in UPPAAL? 0.00
Unable to verify UPPAAL properties 0.00
Unbounded delay but no positive rate 0.00
how can i reset my automaton in the UPPAAL 0.00
UPPAAL: Do clocks given as function parameters have methods or attr... 0.00
Finding total number of states and transitions in UPPAAL 0.00
UPPAAL: Checking member of array 0.00
How to get the PID of a process that was started with system() in a... +0.86
How to feed sensor data to UPPAAL model checker? 0.00
Channel Declaration in UPPAAL 0.00
checking value of variable with respect to time in UPPAAL 0.00
Condition Variable vs Semaphore example 0.00
State Space Explosion in UPPAAL 0.00
Is there any way to specify a maximum time for each state in UPPAAL... 0.00
How to take back some files from a commit? -1.89
Model checking synchronous circuit in UPPAAL 0.00
How can I analyse the data from UPPAAL simulator eps file? 0.00
How to define automatically a unique object/symbol name based on a... +4.03
Generating objects of variable types from combinations of construct... -2.74
Flashing Graphics 0.00
GCC Cross compile to a i586 architecture (Vortex86DX) 0.00
Call derived class' function from a base class' instance -4.39
Trying to extract three names from one line using getline 0.00
Pairwise swap elements of a given linked list (Java solution) -3.79
Valgrind permission denied on file 0.00
passing commandline parameter to .sh (shell) file +0.02
How to fix Illegal use of floating point error in C++ 0.00
JTextField - separation of numbers (ArrayList) -2.20
Further customizing coloring using aliases, ls, and dircolors in .b... 0.00
Self de-/registering Observer over multiple threads 0.00
Deny acces to all Internet hosts except several 0.00
Using polymorphism to create 'array of types' -2.06
install JDK8 in ubuntu 14.04 -3.76
What does /proc/pid/maps mean? 0.00
segmentation fault due to strcpy() -3.12
how do typical chatting application like yahoo messenger implement... 0.00
C++ cin.getline to char array +4.09
Searching a document with a Scanner object? 0.00
how to use CURL to login site 0.00