StackRating

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

Patrick Trentin

Rating
1486.86 (4,455,667th) 		Reputation
4,646 (35,788th)
Page: 1 2 3 4 5 6
Title Δ
Why is recursion taking so long? -1.32
PDDL error compiling 0.00
Is it possible to detect inconsistent equations in Z3, or before pa... +0.02
Using (U)ntil operator in SPIN ltl formula 0.00
Testing Multiple LTL Formulae with SPIN 0.00
Bug in select() statement with inlining? 0.00
LTL model checking with SPIN 0.00
Using the ne(X)t operator in a SPIN ltl formula 0.00
NuSMV Simulation Using Random Traces 0.00
Check CTL specification in SMV 0.00
How does SPIN decide the order of process execution in atomic proce... 0.00
NuXMV use of Real numbers 0.00
Reason for difference in number of reachable states 0.00
Promela modeling with Spin 0.00
Error with NuSMV 0.00
Why is the promela model timing out? 0.00
atomic sequences in Promela. Contradictory in documentation 0.00
How can I define global constants in NuSMV? 0.00
Case conditions are not exhaustive? 0.00
Spin Verification, verifying a variable reaches a certain value 0.00
how to send two number in serial port sequential using c# -0.49
distribute data received from a serial communication with 2 arduino... +0.01
Arduino RTC Module shows alternate information -0.50
Arduino Flicker Timer not working 0.00
Arduino, Breaking Stepper motor in the for loop 0.00
NuSMV passes wrong specification 0.00
How to null-terminate the keypad input? +0.14
How do I send multiple 32 byte strings to I2C master? 0.00
Faulty Arduino Logic? 0.00
Arduino is not freeing up RAM memory 0.00
How convert string to byte[]? +0.49
Getting incomplete messages when trying to read from Arduino with e... 0.00
unexpected variable behavior arduino fastLED ws2812b 0.00
Arduino-like Makefile with dependencies...? +1.22
LTL properties and promela program 0.00
Parse int values with pyserial and plot a histogram 0.00
Send array of floating point numbers from MATLAB to Arduino -0.24
Arduino Sketch works with Serial Monitor but not with pyserial +4.19
Arduino I2S sine wave 0.00
Reverse Engineering Panasonic IR Code Checksum 0.00
Strange behaviour with multiple condition IF statment -3.90
CPU cycles in Arduino uno for Digital read and counting pulses +0.45
Arduino SD card read last line 0.00
'avrdude: verification error; content mismatch' error with... 0.00
Arduino SPI connector vs D11, D12, D13 pins 0.00
Bash script arguments 0.00
Arduino create dec out of HEX 0.00
Arduino Uno Timing Issues -3.98
Arduino and Color LCD Shield 0.00
How to send and receive in a PROMELA process without timeout / dead... 0.00