Index file section E for sttt.bib
Last update: Thu Feb 8 02:07:22 MST 2024
Return to index directory
E
-
E-LOTOS, 2(1)68--88
-
Earle, Clara Benac, 5(2)205--220
-
Earle, Clara Benac, see Arts, Thomas
-
early, 15(1)29--39, 21(4)365--400
-
Easy, 3(4)456--468
-
Ebnenasir, Ali, 10(5)455--471
-
Ebnenasir:2008:FFA, 10(5)455--471
-
Ecdar, 14(6)703--720
-
Eclipse-based, 11(6)469--484
-
Eddy, 11(1)13--25
-
Edelkamp, Stefan, 5(2)247--267, 6(4)277--301, 12(2)89--95, 13(1)21--35,
20(5)515--528
-
Edelkamp, Stefan, see Bosnacki, Dragan
-
Edelkamp:2004:DES, 5(2)247--267
-
Edelkamp:2004:POR, 6(4)277--301
-
Edelkamp:2018:CSP, 20(5)515--528
-
edelta, 24(2)247--260
-
edge-specified, 24(1)89--109
-
edges, 24(1)89--109
-
editor, 2(2)95--97, 3(3)247--249, 3(4)369--371, 4(2)139--141,
4(3)266--270, 4(4)401--404, 6(1)1--3, 6(2)99--101, 8(6)605--606,
11(3)173--174, 13(2)107--109
-
Editorial, 1(1)1--5
-
EdSketch, 21(3)249--265
-
education, 2(3)203--207, 16(1)67--80
-
educational, 3(4)372--381
-
Edwards, Stephen H., 16(1)67--80
-
Edwards, Stephen H., see Snyder, Jason
-
effect, 17(1)1--16, 18(1)93--108
-
effective, 16(1)49--65
-
effectiveness, 10(2)111--112, 10(2)145--160
-
efficiency, 10(2)145--160, 23(6)931--952
-
efficient, 2(1)46--67, 3(2)171--181, 4(2)173--188, 4(3)335--348,
5(2)185--204, 6(1)77--97, 6(2)158--173, 8(1)26--36, 8(3)248--260,
8(4)387--396, 10(2)113--129, 12(1)23--37, 18(4)409--426,
19(5)585--603, 20(1)1--18, 21(2)143--163, 22(6)729--740,
22(6)759--780, 23(3)335--368, 23(6)853--856, 24(4)563--587,
25(4)453--479
-
Ehlers, Rüdiger, 19(3)367--390, see Jacobs, Swen
-
Eichelberger, Holger, 17(5)559--584
-
Eichelberger:2015:MDS, 17(5)559--584
-
eighth, 23(6)905--916
-
Eisner, Cindy, 4(1)107--124
-
Eisner:2002:USC, 4(1)107--124
-
El Ballouli, Rim, 23(5)701--719
-
El Guemhioui, Karim, 4(3)381--396
-
El-Fakih, Khaled, 18(3)251--264
-
El-Fakih, Khaled, see Kushik, Natalia
-
El-Hokayem, Antoine, 24(2)159--181
-
El-Hokayem:2022:BRV, 24(2)159--181
-
El-Katerji, Mostafa, 20(1)1--18
-
El-Katerji, Mostafa, see Jaber, Mohamad
-
ElBallouli:2021:PDR, 23(5)701--719
-
electronic, 1(1)9--30, 10(1)15--28, 10(4)285--289
-
Electrum, 22(3)281--296
-
Eles, Petru, 18(5)517--534
-
Eles, Petru, see Ganjei, Zeinab
-
ElGuemhioui:2003:FDO, 4(3)381--396
-
elimination, 17(6)757--781
-
Ellen, Christian, 17(4)485--504
-
Ellen:2015:SMC, 17(4)485--504
-
Elsborg, Ebbe, 8(6)485--516
-
Elsborg, Ebbe, see Andersen, Jesper
-
embeddable, 12(2)97--111
-
embedded, 4(4)437--455, 8(2)93--96, 8(2)146--155, 8(2)167--176,
8(6)471--484, 8(6)517--530, 8(6)531--545, 8(6)605--606,
9(5)471--487, 11(3)175--185, 11(3)187--202, 15(1)41--52,
15(3)149--154, 15(3)171--187, 15(3)229--245, 16(3)247--267,
18(1)21--40, 22(1)3--32, 22(1)33--34
-
Emerson, E. Allen, 9(1)89--101
-
Emerson, E. Allen, see Vasudevan, Shobha
-
EMF, 12(3)245--261
-
Emmi, Michael, 16(2)127--146
-
Emmi, Michael, see Bouajjani, Ahmed
-
empirical, 20(6)689--704, 25(4)431--452
-
emptiness, 19(6)653--673
-
emulated, 8(4)321--335
-
Enabling, 22(6)667--683
-
encoding, 6(1)38--66, 11(3)239--253
-
Encrenaz, Emmanuelle, 9(1)77--88, 12(5)337--352
-
Encrenaz, Emmanuelle, see Beaudenon, Vincent,
see Braunstein, Cécile
-
end, end-to-, 15(3)171--187
-
end-of-production, 7(4)326--340
-
end-to-end, 15(3)171--187
-
energy, 21(6)679--689, 23(5)765--781
-
Enevoldsen, S{\o}ren, 22(5)635--654, 24(1)49--65
-
Enevoldsen:2020:DGA, 22(5)635--654
-
Enevoldsen:2022:EAD, 24(1)49--65
-
enforce, 14(3)349--382
-
enforcement, 19(3)341--365, 23(4)601--614
-
Engblom, Jakob, 4(4)437--455
-
Engblom:2003:WCE, 4(4)437--455
-
engine, 23(6)867--870
-
engineering, 4(1)1--7, 4(3)323--334, 5(4)301--307, 8(6)607--620,
9(5)415--416, 10(3)233--245, 10(4)309--326, 10(4)337--346,
14(5)613--630, 16(6)647--667, 20(1)95--117, 22(2)219--247,
22(3)349--363, 22(4)389--397, 22(4)399--415, 25(5)617--624
-
enhancing, 11(6)469--484
-
Enoiu, Eduard P., 18(3)335--353
-
Enoiu:2016:ATG, 18(3)335--353
-
enough, 5(2)237--246, 25(2)185--204
-
enriched, 8(2)156--166
-
ensembles, 22(4)497--509, 22(4)511--522
-
ensure, 5(2)237--246
-
Enterprise, 10(3)247--261
-
Envelopes, 24(3)371--394
-
environment, 3(2)235--245, 3(4)431--455, 4(3)335--348, 7(4)326--340,
8(6)517--530, 11(6)469--484, 14(1)41--52, 15(4)363--374,
21(3)267--286
-
Environment-driven, 19(2)229--245
-
environments, 4(2)189--210, 7(4)326--340, 18(6)581--586
-
EOP, 7(4)326--340
-
equation, 2(3)242--259, 8(1)37--56, 22(2)163--181, 24(5)735--756
-
equivalence, 9(3)305--326, 18(3)265--283, 18(4)359--374, 18(6)685--706
-
Erdogan, Gencer, 16(5)627--642
-
Erdogan:2014:ACU, 16(5)627--642
-
Erdogmus, Hakan, 21(3)247--248
-
Erdogmus:2019:ISP, 21(3)247--248
-
ERLANG, 4(4)405--420
-
Erlang, 5(2)205--220, 13(4)355--376
-
Ermedahl, Andreas, 4(4)437--455, 15(1)53--63
-
Ermedahl, Andreas, see Engblom, Jakob,
see Lisper, Björn
-
Ermel, Claudia, 12(3)245--261
-
Ermel, Claudia, see Biermann, Enrico
-
Ernst, Gidon, 17(6)677--694
-
Ernst, Michael D., 6(1)67--76, 7(3)212--232
-
Ernst, Michael D., see Burdy, Lilian,
see Win, Toh Ne
-
Ernst, Rolf, 15(3)171--187
-
Ernst, Rolf, see Rox, Jonas
-
Ernst:2015:KOV, 17(6)677--694
-
error, 6(2)102--116, 8(3)177--179, 8(3)229--247, 13(1)89--106,
21(4)365--400, 24(6)1025--1042
-
ERTMS, 22(3)297--313
-
ERTMSash, 22(3)249--255, 22(3)265--279, 22(3)281--296, 22(3)333--347,
22(3)349--363, 24(3)351--370
-
Esparza, Javier, 10(2)161--166, 24(4)635--659
-
Esparza:2008:NRD, 10(2)161--166
-
Esparza:2022:LTL, 24(4)635--659
-
Essen, Christian von, 18(2)227--243
-
estimating, 8(6)531--545, 11(6)503--515
-
estimation, 15(1)29--39, 15(1)65--84, 21(5)515--543, 23(4)641--654
-
ETCS, 22(3)249--255, 22(3)265--279, 22(3)281--296, 22(3)315--332,
22(3)333--347, 22(3)349--363, 24(3)351--370
-
Etessami, Kousha, 13(6)537--551
-
Etessami:2011:AAM, 13(6)537--551
-
ETI, 1(1)31--48, 1(1)49--63
-
evaluate, 12(3)183--199, 25(2)185--204
-
evaluating, 10(2)145--160, 13(3)207--221, 18(1)93--108
-
evaluation, 3(2)193--206, 10(2)145--160, 12(3)273--285, 12(5)391--403,
16(6)753--773, 18(3)335--353, 25(1)115--128, 25(3)267--285
-
Evangelista, Sami, 12(2)155--170
-
Evangelista:2010:SIP, 12(2)155--170
-
event, 8(6)547--563, 9(5)417--427, 10(1)57--74, 11(3)239--253,
11(4)291--305, 17(2)223--243, 22(6)759--780, 23(2)157--183,
24(5)821--841, 25(1)1--17, 25(4)481--501
-
event, Discrete-, 9(3)213--254
-
Event-B, 12(6)447--466, 19(1)31--52, 19(2)141--166, 19(2)167--186,
19(2)205--228, 21(2)165--181, 22(3)257--264, 22(3)297--313,
24(6)1043--1077
-
event-B, 12(1)39--51
-
event-condition-action, 16(5)493--505
-
event-driven, 18(3)285--304
-
evergreens, 12(2)89--95
-
evolution, 10(4)281--283, 11(6)419--425, 13(2)107--109, 14(5)613--630,
16(3)227--246, 16(3)269--283, 17(3)245--250, 24(2)247--260
-
evolutionary, 20(6)689--704
-
evolving, 17(3)267--289
-
Exact, 20(1)35--55
-
examination, 16(5)457--464
-
example, 5(2)237--246, 11(5)409--418
-
example, Counter-, 5(2)158--164
-
examples, counter-, 5(1)34--48
-
exceptions, 18(6)653--684
-
Exchange, 9(3)305--326
-
executable, 2(2)168--181, 3(4)394--404, 10(1)15--28
-
executing, 14(5)567--588
-
execution, 2(2)133--143, 6(1)67--76, 9(3)353--369, 11(1)53--67,
11(2)133--152, 11(4)339--353, 14(1)95--108, 15(3)229--245,
19(4)487--510, 21(5)485--513, 21(5)515--543, 23(3)289--311,
23(6)867--870, 23(6)875--877
-
execution-driven, 21(3)249--265
-
execution-time, 4(4)437--455
-
exemplified, 17(3)251--266
-
experience, 4(4)421--436, 5(4)351--369, 8(6)587--603, 10(1)75--93,
15(1)53--63, 19(3)325--339, 20(3)263--288, 24(3)351--370
-
experiment, 2(1)68--88, 3(2)193--206, 11(3)175--185, 12(6)405--408,
18(3)251--264, 19(2)133--140
-
experimental, 8(6)547--563, 10(2)145--160, 12(3)211--230
-
experimentally, 10(2)145--160
-
experimentation, 3(2)107--111
-
Expert, 10(3)233--245
-
ExPLAIn, 25(3)241--247
-
explainability, 25(3)267--285
-
explainable, 25(3)249--266
-
explanation, 8(3)177--179, 8(3)229--247, 23(5)783--796, 25(3)241--247,
25(3)287--299
-
explicit, 8(3)180--194, 8(3)195--203, 13(4)319--335, 19(6)653--673
-
explicit-state, 4(4)505--528, 5(2)247--267
-
exploiting, 6(4)320--341, 10(2)131--144, 12(5)319--335, 15(5)541--561,
25(2)185--204
-
exploits, 21(1)105--119
-
exploration, 8(1)4--25, 8(6)587--603, 9(3)393--411, 9(5)429--445,
14(1)73--93, 15(1)29--39, 15(3)229--245, 24(2)261--285
-
exploring, 6(2)117--127, 11(1)39--51, 24(3)351--370
-
explosion, 10(1)29--56
-
explosion, State-, 9(1)53--62
-
Expressing, 4(1)34--56
-
expression, 5(1)4--14, 10(2)113--129, 23(4)565--577
-
expressive, 12(3)263--271, 16(4)363--380, 25(4)453--479
-
expressiveness, 9(1)1--4
-
extended, 2(4)350--365, 16(4)437--455, 20(5)563--587, 22(6)709--728,
22(6)741--758, 24(1)49--65, 24(5)783--802, 24(6)949--972,
25(1)77--94, 25(4)575--592
-
Extending, 24(1)67--87
-
extensible, 8(3)280--299
-
extension, 5(2)237--246, 6(2)99--101, 23(4)547--563
-
extension, protocol-, 18(6)685--706
-
external, 25(2)185--204
-
Extracting, 22(5)565--581
-
extrapolating, 11(5)393--407, 14(2)119--143
-
Extrapolation, 8(3)204--215