artefact.zip
Heat-Pump_Control_by_Stratego-TASE_extension
.gitignore
417 Bytes
CTSMR_model_identification
PlotRoomTempDeviations.py
514 Bytes
Return_Temperature.R
1.3 kB
Return_Temperature_mean_error.R
1.8 kB
data.csv
31.5 MB
functions
TiThTe_room1.R
3.9 kB
TiThTe_room2.R
5.0 kB
TiThTe_room3.R
5.0 kB
TiThTe_room4.R
5.1 kB
analyzeFit_room1.R
7.2 kB
analyzeFit_room2.R
7.2 kB
analyzeFit_room3.R
7.2 kB
analyzeFit_room4.R
7.2 kB
asP.R
667 Bytes
per.R
79 Bytes
plotTSBeg.R
194 Bytes
plotTSXAxis.R
79 Bytes
purl2.R
1.2 kB
scalerange.R
119 Bytes
room1.R
2.0 kB
room2.R
2.0 kB
room3.R
2.0 kB
room4.R
2.0 kB
Control_by_Stratego
LIBS0
compile_libraries.sh
560 Bytes
compile_libstrategy.sh
170 Bytes
connectUPPAALCTRL.cpp
4.0 kB
connectUPPAALCTRL.h
3.3 kB
connectUPPAALCTRL.so
84.3 kB
csv.h
57.6 kB
data_reader.cpp
4.4 kB
data_reader.h
1.9 kB
data_reader.so
166.1 kB
libParam.cpp
4.2 kB
libParam.h
377 Bytes
libParam.so
39.9 kB
start_em.cpp
1.3 kB
start_em.h
185 Bytes
start_em.so
24.0 kB
store_data.cpp
2.3 kB
store_data.h
283 Bytes
store_data.so
29.7 kB
useStrategy.cpp
3.3 kB
useStrategy.h
270 Bytes
useStrategy.so
279.2 kB
weights.cpp
786 Bytes
weights.h
134 Bytes
weights.so
23.9 kB
LIBS1
compile_libraries.sh
560 Bytes
compile_libstrategy.sh
170 Bytes
connectUPPAALCTRL.cpp
4.0 kB
connectUPPAALCTRL.h
3.3 kB
connectUPPAALCTRL.so
84.3 kB
csv.h
57.6 kB
data_reader.cpp
4.4 kB
data_reader.h
1.9 kB
data_reader.so
166.1 kB
libParam.cpp
4.2 kB
libParam.h
377 Bytes
libParam.so
39.9 kB
start_em.cpp
1.3 kB
start_em.h
185 Bytes
start_em.so
24.0 kB
store_data.cpp
2.3 kB
store_data.h
283 Bytes
store_data.so
29.7 kB
useStrategy.cpp
3.3 kB
useStrategy.h
270 Bytes
useStrategy.so
279.2 kB
weights.cpp
786 Bytes
weights.h
134 Bytes
weights.so
23.9 kB
LIBS2
compile_libraries.sh
560 Bytes
compile_libstrategy.sh
170 Bytes
connectUPPAALCTRL.cpp
4.0 kB
connectUPPAALCTRL.h
3.3 kB
connectUPPAALCTRL.so
84.3 kB
csv.h
57.6 kB
data_reader.cpp
4.4 kB
data_reader.h
1.9 kB
data_reader.so
166.1 kB
libParam.cpp
4.2 kB
libParam.h
377 Bytes
libParam.so
39.9 kB
libdata_reader.so
166.1 kB
start_em.cpp
1.4 kB
start_em.h
213 Bytes
start_em.so
24.1 kB
store_data.cpp
2.3 kB
store_data.h
283 Bytes
store_data.so
29.7 kB
useStrategy.cpp
3.8 kB
useStrategy.h
270 Bytes
useStrategy.so
283.5 kB
weights.cpp
786 Bytes
weights.h
134 Bytes
weights.so
23.9 kB
LIBS3
compile_libraries.sh
560 Bytes
compile_libstrategy.sh
170 Bytes
connectUPPAALCTRL.cpp
4.0 kB
connectUPPAALCTRL.h
3.3 kB
connectUPPAALCTRL.so
84.3 kB
csv.h
57.6 kB
data_reader.cpp
4.4 kB
data_reader.h
1.9 kB
data_reader.so
166.1 kB
libParam.cpp
4.2 kB
libParam.h
377 Bytes
libParam.so
39.9 kB
libdata_reader.so
166.1 kB
start_em.cpp
1.3 kB
start_em.h
185 Bytes
start_em.so
24.1 kB
store_data.cpp
2.8 kB
store_data.h
328 Bytes
store_data.so
29.7 kB
useStrategy.cpp
3.3 kB
useStrategy.h
292 Bytes
useStrategy.so
283.5 kB
weights.cpp
786 Bytes
weights.h
134 Bytes
weights.so
23.9 kB
LIBS4
compile_libraries.sh
560 Bytes
compile_libstrategy.sh
170 Bytes
connectUPPAALCTRL.cpp
4.0 kB
connectUPPAALCTRL.h
3.3 kB
connectUPPAALCTRL.so
84.3 kB
csv.h
57.6 kB
data_reader.cpp
4.4 kB
data_reader.h
1.9 kB
data_reader.so
166.1 kB
libParam.cpp
4.2 kB
libParam.h
377 Bytes
libParam.so
39.9 kB
libdata_reader.so
166.1 kB
start_em.cpp
1.3 kB
start_em.h
185 Bytes
start_em.so
24.1 kB
store_data.cpp
3.3 kB
store_data.h
398 Bytes
store_data.so
29.7 kB
useStrategy.cpp
3.6 kB
useStrategy.h
291 Bytes
useStrategy.so
283.5 kB
weights.cpp
786 Bytes
weights.h
134 Bytes
weights.so
23.9 kB
MODELS0
EM.xml
16.1 kB
LM.xml
14.3 kB
compute_strategy.q
269 Bytes
load_strategy.q
239 Bytes
MODELS1
EM.xml
16.1 kB
LM.xml
14.3 kB
compute_strategy.q
269 Bytes
load_strategy.q
239 Bytes
MODELS2
EM.xml
16.1 kB
LM.xml
14.8 kB
compute_strategy.q
269 Bytes
load_strategy.q
239 Bytes
MODELS3
EM.xml
17.6 kB
LM.xml
14.4 kB
compute_strategy.q
269 Bytes
load_strategy.q
239 Bytes
MODELS4
EM.xml
19.1 kB
LM.xml
18.6 kB
compute_strategy.q
284 Bytes
load_strategy.q
254 Bytes
README.md
2.6 kB
Run_binary_mode.sh
2.5 kB
Run_fixed_target.sh
2.5 kB
Run_full_observability.sh
804 Bytes
Run_more_intervals.sh
3.8 kB
Run_more_runs.sh
828 Bytes
Run_noisy_weather.sh
804 Bytes
Run_partial_observability.sh
804 Bytes
Run_predicted_Th_and_Ti.sh
804 Bytes
Run_realistic.sh
828 Bytes
Run_setbacks.sh
2.5 kB
Run_target_band.sh
2.5 kB
ShowBars_more_intervals.py
5.5 kB
ShowBars_more_runs.py
3.7 kB
ShowBars_more_weeks.py
3.9 kB
Th_Te_trajectories.py
1.6 kB
data
observed_data.csv
24.1 MB
weather_and_electricity.csv
651.0 kB
data_files
apr_cost_comfort.csv
607 Bytes
feb_cost_comfort.csv
614 Bytes
jan_cost_comfort.csv
612 Bytes
mar_cost_comfort.csv
609 Bytes
extract.sh
714 Bytes
extract_Th_Ti.sh
710 Bytes
intial_th_ti_for_LM
LM_envelop_temp_room0.txt
8 Bytes
LM_envelop_temp_room1.txt
8 Bytes
LM_envelop_temp_room2.txt
8 Bytes
LM_envelop_temp_room3.txt
8 Bytes
LM_floor_temp_room0.txt
8 Bytes
LM_floor_temp_room1.txt
8 Bytes
LM_floor_temp_room2.txt
8 Bytes
LM_floor_temp_room3.txt
8 Bytes
libraries
libstrategy
CMakeLists.txt
2.2 kB
LICENSE
7.7 kB
README.md
13 Bytes
src
CMakeLists.txt
1.5 kB
SimpleTree.cpp
49.5 kB
SimpleTree.h
6.3 kB
ZonotopStrategy.cpp
15.9 kB
ZonotopStrategy.h
2.9 kB
errors.h
1.4 kB
libz2s.cpp
3.4 kB
libz2s.h
1.4 kB
main.cpp
3.2 kB
test
CMakeLists.txt
748 Bytes
inconsistent_lookup.cpp
2.0 kB
strategies
inconsistent1.strategy
1.8 kB
unordered_load.cpp
11.3 kB
normalization_factor
0103
1365404827
EM_envelop_temp_log.txt
3.0 kB
EM_floor_temp_log.txt
3.0 kB
Result.txt
2.6 kB
Result_discounted.txt
13 Bytes
cost_and_discomfort_discounted_values.txt
10 Bytes
cost_and_discomfort_values.txt
16 Bytes
1809622824
EM_envelop_temp_log.txt
3.0 kB
EM_floor_temp_log.txt
3.0 kB
Result.txt
2.6 kB
Result_discounted.txt
12 Bytes
cost_and_discomfort_discounted_values.txt
10 Bytes
cost_and_discomfort_values.txt
16 Bytes
0128
1867292187
EM_envelop_temp_log.txt
3.0 kB
EM_floor_temp_log.txt
3.0 kB
Result.txt
1.2 kB
cost_and_discomfort_values.txt
16 Bytes
1897276245
EM_envelop_temp_log.txt
3.0 kB
EM_floor_temp_log.txt
3.0 kB
Result.txt
1.2 kB
cost_and_discomfort_values.txt
16 Bytes
2240769431
EM_envelop_temp_log.txt
3.0 kB
EM_floor_temp_log.txt
3.0 kB
Result.txt
1.2 kB
cost_and_discomfort_values.txt
16 Bytes
3322096423
EM_envelop_temp_log.txt
3.0 kB
EM_floor_temp_log.txt
3.0 kB
Result.txt
1.2 kB
cost_and_discomfort_values.txt
16 Bytes
4052100732
EM_envelop_temp_log.txt
3.0 kB
EM_floor_temp_log.txt
3.0 kB
Result.txt
1.2 kB
cost_and_discomfort_values.txt
16 Bytes
425301079
EM_envelop_temp_log.txt
3.0 kB
EM_floor_temp_log.txt
3.0 kB
Result.txt
1.2 kB
cost_and_discomfort_values.txt
16 Bytes
593773825
EM_envelop_temp_log.txt
3.0 kB
EM_floor_temp_log.txt
3.0 kB
Result.txt
1.2 kB
cost_and_discomfort_values.txt
16 Bytes
pareto.py
2.5 kB
results
cb07ae7
M1D10H0P1I24C0
A0.00G1.000000N37.73
R10I1
1365404827
LM_envelop_temp_log.txt
32 Bytes
LM_envelop_temp_room0.txt
7 Bytes
LM_envelop_temp_room1.txt
7 Bytes
LM_envelop_temp_room2.txt
7 Bytes
LM_envelop_temp_room3.txt
7 Bytes
LM_floor_temp_log.txt
31 Bytes
LM_floor_temp_room0.txt
6 Bytes
LM_floor_temp_room1.txt
7 Bytes
LM_floor_temp_room2.txt
7 Bytes
LM_floor_temp_room3.txt
7 Bytes
Result_discounted.txt
13 Bytes
cost_and_discomfort_discounted_values.txt
4 Bytes
cost_and_discomfort_values.txt
4 Bytes
strategy.json
1.5 kB
1809622824
EM_envelop_temp_log.txt
3.0 kB
EM_floor_temp_log.txt
3.0 kB
LM_envelop_temp_log.txt
3.0 kB
LM_envelop_temp_room0.txt
7 Bytes
LM_envelop_temp_room1.txt
7 Bytes
LM_envelop_temp_room2.txt
7 Bytes
LM_envelop_temp_room3.txt
7 Bytes
LM_floor_temp_log.txt
3.0 kB
LM_floor_temp_room0.txt
7 Bytes
LM_floor_temp_room1.txt
7 Bytes
LM_floor_temp_room2.txt
7 Bytes
LM_floor_temp_room3.txt
7 Bytes
Result.txt
45.6 kB
Result_discounted.txt
13 Bytes
control_choices_log.txt
6.2 kB
cost_and_discomfort_discounted_values.txt
9 Bytes
cost_and_discomfort_values.txt
15 Bytes
strategy.json
1.5 kB
strategy1.json
1.6 kB
strategy2.json
1.5 kB
strategy3.json
1.6 kB
temps_and_choice.txt
4.7 kB
M2D4H0P1I24C0
A0.00G1.000000N131.44
R10I1
1867292187
EM_envelop_temp_log.txt
3.1 kB
EM_floor_temp_log.txt
3.0 kB
LM_envelop_temp_log.txt
3.2 kB
LM_envelop_temp_room0.txt
7 Bytes
LM_envelop_temp_room1.txt
7 Bytes
LM_envelop_temp_room2.txt
8 Bytes
LM_envelop_temp_room3.txt
7 Bytes
LM_floor_temp_log.txt
3.0 kB
LM_floor_temp_room0.txt
7 Bytes
LM_floor_temp_room1.txt
7 Bytes
LM_floor_temp_room2.txt
7 Bytes
LM_floor_temp_room3.txt
6 Bytes
Result.txt
44.2 kB
control_choices_log.txt
13.3 kB
cost_and_discomfort_values.txt
15 Bytes
strategy.json
3.4 kB
strategy1.json
3.4 kB
strategy2.json
3.4 kB
strategy3.json
3.4 kB
temps_and_choice.txt
4.1 kB
1897276245
EM_envelop_temp_log.txt
797 Bytes
EM_floor_temp_log.txt
749 Bytes
LM_envelop_temp_log.txt
824 Bytes
LM_envelop_temp_room0.txt
7 Bytes
LM_envelop_temp_room1.txt
7 Bytes
LM_envelop_temp_room2.txt
9 Bytes
LM_envelop_temp_room3.txt
7 Bytes
LM_floor_temp_log.txt
784 Bytes
LM_floor_temp_room0.txt
7 Bytes
LM_floor_temp_room1.txt
7 Bytes
LM_floor_temp_room2.txt
7 Bytes
LM_floor_temp_room3.txt
7 Bytes
control_choices_log.txt
3.4 kB
cost_and_discomfort_values.txt
15 Bytes
strategy.json
3.4 kB
strategy1.json
3.5 kB
temps_and_choice.txt
1.0 kB
2240769431
EM_envelop_temp_log.txt
3.1 kB
EM_floor_temp_log.txt
3.0 kB
LM_envelop_temp_log.txt
3.1 kB
LM_envelop_temp_room0.txt
7 Bytes
LM_envelop_temp_room1.txt
7 Bytes
LM_envelop_temp_room2.txt
8 Bytes
LM_envelop_temp_room3.txt
7 Bytes
LM_floor_temp_log.txt
3.0 kB
LM_floor_temp_room0.txt
7 Bytes
LM_floor_temp_room1.txt
7 Bytes
LM_floor_temp_room2.txt
7 Bytes
LM_floor_temp_room3.txt
6 Bytes
Result.txt
44.2 kB
control_choices_log.txt
13.6 kB
cost_and_discomfort_values.txt
15 Bytes
strategy.json
3.4 kB
strategy1.json
3.5 kB
strategy2.json
3.5 kB
strategy3.json
3.4 kB
temps_and_choice.txt
4.1 kB
3322096423
EM_envelop_temp_log.txt
3.1 kB
EM_floor_temp_log.txt
3.0 kB
LM_envelop_temp_log.txt
3.2 kB
LM_envelop_temp_room0.txt
7 Bytes
LM_envelop_temp_room1.txt
7 Bytes
LM_envelop_temp_room2.txt
8 Bytes
LM_envelop_temp_room3.txt
7 Bytes
LM_floor_temp_log.txt
3.0 kB
LM_floor_temp_room0.txt
7 Bytes
LM_floor_temp_room1.txt
7 Bytes
LM_floor_temp_room2.txt
7 Bytes
LM_floor_temp_room3.txt
7 Bytes
Result.txt
44.2 kB
control_choices_log.txt
13.2 kB
cost_and_discomfort_values.txt
15 Bytes
strategy.json
3.5 kB
strategy1.json
3.5 kB
strategy2.json
3.4 kB
strategy3.json
3.4 kB
temps_and_choice.txt
4.1 kB
4052100732
EM_envelop_temp_log.txt
3.1 kB
EM_floor_temp_log.txt
3.0 kB
LM_envelop_temp_log.txt
3.1 kB
LM_envelop_temp_room0.txt
7 Bytes
LM_envelop_temp_room1.txt
7 Bytes
LM_envelop_temp_room2.txt
8 Bytes
LM_envelop_temp_room3.txt
7 Bytes
LM_floor_temp_log.txt
3.0 kB
LM_floor_temp_room0.txt
7 Bytes
LM_floor_temp_room1.txt
7 Bytes
LM_floor_temp_room2.txt
6 Bytes
LM_floor_temp_room3.txt
7 Bytes
Result.txt
44.2 kB
control_choices_log.txt
13.5 kB
cost_and_discomfort_values.txt
15 Bytes
strategy.json
3.4 kB
strategy1.json
3.5 kB
strategy2.json
3.5 kB
strategy3.json
3.4 kB
temps_and_choice.txt
4.1 kB
425301079
EM_envelop_temp_log.txt
3.1 kB
EM_floor_temp_log.txt
3.0 kB
LM_envelop_temp_log.txt
3.2 kB
LM_envelop_temp_room0.txt
7 Bytes
LM_envelop_temp_room1.txt
7 Bytes
LM_envelop_temp_room2.txt
8 Bytes
LM_envelop_temp_room3.txt
7 Bytes
LM_floor_temp_log.txt
3.0 kB
LM_floor_temp_room0.txt
7 Bytes
LM_floor_temp_room1.txt
7 Bytes
LM_floor_temp_room2.txt
7 Bytes
LM_floor_temp_room3.txt
7 Bytes
Result.txt
44.1 kB
control_choices_log.txt
13.6 kB
cost_and_discomfort_values.txt
15 Bytes
strategy.json
3.4 kB
strategy1.json
3.5 kB
strategy2.json
3.5 kB
strategy3.json
3.4 kB
temps_and_choice.txt
4.1 kB
593773825
EM_envelop_temp_log.txt
3.1 kB
EM_floor_temp_log.txt
3.0 kB
LM_envelop_temp_log.txt
3.1 kB
LM_envelop_temp_room0.txt
7 Bytes
LM_envelop_temp_room1.txt
7 Bytes
LM_envelop_temp_room2.txt
8 Bytes
LM_envelop_temp_room3.txt
7 Bytes
LM_floor_temp_log.txt
3.0 kB
LM_floor_temp_room0.txt
7 Bytes
LM_floor_temp_room1.txt
7 Bytes
LM_floor_temp_room2.txt
7 Bytes
LM_floor_temp_room3.txt
6 Bytes
Result.txt
44.1 kB
control_choices_log.txt
13.5 kB
cost_and_discomfort_values.txt
15 Bytes
strategy.json
3.4 kB
strategy1.json
3.4 kB
strategy2.json
3.4 kB
strategy3.json
3.5 kB
temps_and_choice.txt
4.1 kB
run_EM_local.sh
2.0 kB
run_feb_local.sh
803 Bytes
show_bars.py
2.8 kB
uppaal
AddLinks.sh
2.1 kB
AddLinks.vbs
5.9 kB
README
3.8 kB
bin
libprlearn.so
89.1 kB
libstrategy.so
262.3 kB
server
6.8 MB
socketserver
446 Bytes
socketserver.bin
27.5 kB
verifyta
6.7 MB
demo
2doors.xml
5.5 kB
ModelDemo.java
17.5 kB
SchedulingFramework.xml
12.8 kB
bridge.xml
4.6 kB
fischer.xml
2.5 kB
fischer_symmetry.xml
2.3 kB
interrupt.xml
4.4 kB
lsc_example.xml
5.1 kB
lsc_train-gate_parameters.xml
8.3 kB
scheduling3.xml
6.2 kB
scheduling4.xml
10.4 kB
smc
ClientServer.xml
6.1 kB
ball.xml
7.5 kB
bluetooth.cav.xml
19.8 kB
csma-ca.xml
13.5 kB
dice.xml
13.7 kB
ex-proba1.xml
3.8 kB
ex-proba2.xml
4.1 kB
firewire.cav.xml
23.6 kB
fischer-stat.xml
2.7 kB
genosc-hybrid.xml
3.0 kB
genosc.xml
9.6 kB
leader-election.xml
11.4 kB
lmac6.xml
15.6 kB
oscillate.xml
1.5 kB
samplesmc.xml
6.1 kB
train-gate-stat.xml
12.8 kB
trig.xml
4.4 kB
stratego
cruise.xml
20.1 kB
newspaper.xml
14.8 kB
traffic.xml
13.3 kB
train-gate-orig.xml
10.0 kB
train-gate.xml
7.5 kB
yggdrasil
onoff
app
App.java
363 Bytes
AppC.java
341 Bytes
AppM.java
363 Bytes
onoff.xml
2.1 kB
test.bat
210 Bytes
test.sh
191 Bytes
testMutant.bat
210 Bytes
testMutant.sh
191 Bytes
tutorial
System.jpg
4.6 kB
System2.png
14.5 kB
User.jpg
3.2 kB
index.html
7.1 kB
index2.html
5.5 kB
index3.html
1.8 kB
testcode-state.png
11.2 kB
testcode.png
9.9 kB
ygg-generate.png
39.1 kB
ygg-generate2.png
40.6 kB
ygg-generate3.png
43.0 kB
ygg-generate4.png
42.6 kB
ygg-output.png
32.7 kB
ygg-output2.png
33.7 kB
ygg-simulator.png
54.3 kB
ygg-simulator2.png
63.4 kB
ygg-simulator4.png
63.9 kB
ygg-tab-options.png
33.7 kB
ygg-tab.png
36.8 kB
ygg-tab2.png
47.4 kB
ygg-user2.png
3.1 kB
ygg-verifier.png
29.9 kB
updown
app
App.java
393 Bytes
AppC.java
394 Bytes
AppM.java
393 Bytes
test.bat
210 Bytes
test.sh
192 Bytes
testMutant.bat
210 Bytes
testMutant.sh
192 Bytes
updown.xml
3.8 kB
fonts
JetBrainsMono-Bold.ttf
173.3 kB
JetBrainsMono-BoldItalic.ttf
175.8 kB
JetBrainsMono-Italic.ttf
175.7 kB
JetBrainsMono-License.txt
4.4 kB
JetBrainsMono-Regular.ttf
171.9 kB
lib
editor.jar
71.8 kB
flatlaf-1.6.jar
562.8 kB
freehep-graphics2d-javadoc.jar
172.8 kB
freehep-graphics2d-sources.jar
38.9 kB
freehep-graphics2d.jar
127.3 kB
freehep-graphicsbase-javadoc.jar
232.8 kB
freehep-graphicsbase-sources.jar
59.6 kB
freehep-graphicsbase.jar
79.7 kB
freehep-graphicsio-emf-javadoc.jar
811.3 kB
freehep-graphicsio-emf-sources.jar
137.3 kB
freehep-graphicsio-emf.jar
174.2 kB
freehep-graphicsio-java-javadoc.jar
88.6 kB
freehep-graphicsio-java-sources.jar
17.2 kB
freehep-graphicsio-java.jar
35.0 kB
freehep-graphicsio-javadoc.jar
715.2 kB
freehep-graphicsio-pdf-javadoc.jar
209.0 kB
freehep-graphicsio-pdf-sources.jar
48.1 kB
freehep-graphicsio-pdf.jar
76.4 kB
freehep-graphicsio-ps-javadoc.jar
121.5 kB
freehep-graphicsio-ps-sources.jar
38.9 kB
freehep-graphicsio-ps.jar
50.5 kB
freehep-graphicsio-sources.jar
640.0 kB
freehep-graphicsio-svg-javadoc.jar
49.5 kB
freehep-graphicsio-svg-sources.jar
18.4 kB
freehep-graphicsio-svg.jar
24.1 kB
freehep-graphicsio-swf-javadoc.jar
947.9 kB
freehep-graphicsio-swf-sources.jar
85.2 kB
freehep-graphicsio-swf.jar
186.2 kB
freehep-graphicsio.jar
192.7 kB
freehep-io.jar
72.6 kB
jdom.jar
153.3 kB
jena-core.jar
1.7 MB
jena-iri.jar
136.4 kB
jh.jar
531.7 kB
jlfgr-1_0.jar
114.6 kB
jsr311-api-1.1.1.jar
41.8 kB
model.jar
411.8 kB
oslc4j-core-javadoc.jar
466.4 kB
oslc4j-core-sources.jar
98.5 kB
oslc4j-core.jar
100.1 kB
oslc4j-jena-provider.jar
60.0 kB
oslc4j-json4j-provider.jar
39.6 kB
oslc4j-wink-javadoc.jar
75.2 kB
oslc4j-wink-sources.jar
11.9 kB
oslc4j-wink.jar
15.3 kB
servlet-api-3.0.jar
198.0 kB
slf4j-api.jar
26.9 kB
slf4j-nop.jar
2.5 kB
svgSalamander.jar
311.2 kB
swixml.jar
58.8 kB
uppaal-oslc4j-common.jar
53.0 kB
wink-client.jar
56.9 kB
wink-common.jar
588.7 kB
xerces.jar
1.4 MB
xml-apis.jar
220.5 kB
readme.txt
3.8 kB
res
Docker.md
1.4 kB
Dockerfile
90 Bytes
icon-128x128.png
8.4 kB
icon-16x16.png
503 Bytes
icon-24x24.png
759 Bytes
icon-32x32.png
1.8 kB
icon-48x48.png
2.9 kB
icon-64x64.png
4.1 kB
icon-96x96.png
6.3 kB
uppaal-ta-mimetype.xml
390 Bytes
uppaal-ugi-mimetype.xml
394 Bytes
uppaal-xml-mimetype.xml
604 Bytes
uppaal-xta-mimetype.xml
394 Bytes
uppaal.ico
140.2 kB
uppaal
1.1 kB
uppaal-extra
1.2 kB
uppaal.jar
1.7 MB
README.md
10.1 kB