Index file section B for sttt.bib

Last update: Fri Aug 30 02:15:44 MDT 2024

Return to index directory

B

B, 6(2)143--157, 8(6)547--563, 10(2)185--203, 11(3)239--253, 12(1)9--21, 22(3)315--332, 24(6)1043--1077
\,B, 19(1)73--96
B, CLPS-, 6(2)143--157
B, Event-, 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, 26(3)331--346, 26(3)347--363
B, event-, 12(1)39--51
B, iUML-, 22(3)297--313
Bab, Kinan, Dak-Al-, 20(1)1--18
Babar, Junaid, 24(1)89--109
Babar:2022:CBD, 24(1)89--109
Babi{\'c}, Domagoj, 11(4)325--338
Babic:2009:ASR, 11(4)325--338
Back, Christoffer Olling, 24(4)563--587
Back:2022:DAE, 24(4)563--587
backjumping, 16(1)103--121
backtracking, 21(4)365--400
bad, 24(6)889--910
Badings, Thom, 24(5)803--819, 25(3)375--391
Badings:2022:SBV, 24(5)803--819
Badings:2023:DMU, 25(3)375--391
Bae, Kyungmin, 24(6)911--948
Bae, Kyungmin, see Lee, Jaehun
Bagnara, Roberto, 9(3)413--414
Bagnara:2007:WOP, 9(3)413--414
Baier, Christel, 10(5)425--441, 19(6)649--652, 20(2)179--194, 21(6)651--666
Baier, Christel, see Herrmann, Linda, see Klein, Joachim, see Ossowski, Jörn
Baier:2017:SAT, 19(6)649--652
Bainczyk, Alexander, 25(3)287--299
Bainczyk, Alexander, see Murtovi, Alnis
Baire, Anthony, 10(4)337--346
Baire, Anthony, see Sabiguero, Ariel
Bak, Stanley, 21(1)87--104, 25(3)329--339
Bak, Stanley, see Brix, Christopher
Bak:2019:HAV, 21(1)87--104
Bakewell, Adam, 12(5)373--389
Bakewell:2010:DAR, 12(5)373--389
Baldini, Andrea, 7(4)326--340
Baldini:2005:SLF, 7(4)326--340
Ball, Thomas, 5(1)49--58
Ball:2003:BCA, 5(1)49--58
Ballarini, Paolo, 17(4)505--526
Ballarini:2015:AOT, 17(4)505--526
Ballis, D., 8(6)565--585
Ballis, D., see Alpuente, M.
Ballouli, Rim, El, 23(5)701--719
Banach, Richard, 19(2)205--228
Banach:2017:LGS, 19(2)205--228
Bandera, 4(1)34--56
Bañuelos, Luciano, García-, 24(2)183--203
Bar-Ilan, Omer, 13(3)263--272
Bar-Ilan:2011:RSR, 13(3)263--272
Barais, Olivier, 12(3)273--285, 17(5)585--600
Barais, Olivier, see Filho, João Bosco Ferreira, see Moha, Naouel
Barany, Gergö, 15(1)41--52, see Schreiner, Dietmar
Baras, Dorit, 13(3)247--261
Baras:2011:ABC, 13(3)247--261
Barbot, Benoît, 25(3)341--354, see Khmelnitsky, Igor
Barcelona, M. A., 19(3)325--339
Barcelona:2017:PEU, 19(3)325--339
Bardin, Sébastien, 10(5)401--424
Bardin:2008:FAT, 10(5)401--424
Barnat, J., 12(2)139--153
Barnat, Jirí, 24(3)493--510, see Rockai, Petr
Barnat:2010:SSM, 12(2)139--153
Baron, Mickael, 8(6)547--563, 11(3)239--253
Baron, Mickael, see Ait-Ameur, Yamine
Barringer, Howard, 2(4)350--365
Barringer, Howard, see Visser, Willem
Bartocci, Ezio, 18(4)355--357, 21(1)31--70, 21(4)401--423, 23(5)783--796, 25(4)503--517
Bartocci, Ezio, see Gurung, Amit, see Nenzi, Laura
Bartocci:2016:PSI, 18(4)355--357
Bartocci:2019:FIC, 21(1)31--70
Bartocci:2021:CAF, 23(5)783--796
Bartoli, Alberto, 3(2)235--245
Bartoli:2001:ACM, 3(2)235--245
Bartzis, Constantinos, 8(1)26--36
Bartzis:2006:EBB, 8(1)26--36
Basagiannis, Stylianos, 23(1)1--29
Basagiannis, Stylianos, see Giantamidis, Georgios
based, 1(1)153--165, 8(6)471--484, 8(6)547--563, 9(1)37--51, 9(5)457--470, 10(2)145--160, 10(4)359--370, 11(5)359--374, 11(6)453--468, 13(4)355--376, 15(3)211--228, 17(1)91--105, 18(2)129--147, 18(3)285--304, 18(4)449--467, 20(6)665--688, 23(2)115--135, 23(3)335--368, 26(2)189--205
based, abstraction-, 11(2)85--94, 11(2)95--104
based, action-, 20(5)563--587
based, agent-, 6(3)231--244
based, alias-, 15(1)41--52
based, Assumption-, 7(1)61--73
based, Automata-, 23(2)137--154
based, BDD-, 16(5)507--518
based, Behavior-, 6(1)4--14
based, BMC-, 7(2)102--117
based, Case-, 10(3)233--245
based, checking-, 19(4)449--464
based, cloud-, 18(6)587--605
based, Component-, 15(3)155--170
based, component-, 9(2)179--192, 19(3)341--365, 25(5)717--731
based, Constraint-, 3(3)250--270, 16(1)103--121
based, constraint-, 14(5)511--530
based, DBM-, 25(1)19--47
based, Decision-diagram-, 11(2)117--131
based, Eclipse-, 11(6)469--484
based, family-, 19(5)585--603, 22(1)35--55
based, Graph-, 23(1)105--114
based, graph-, 12(3)273--285
based, Guard-, 18(4)427--448
based, intent-, 17(2)201--221
based, interval-, 13(5)449--461
based, Knowledge-, 21(2)221--246
based, Learning-, 22(4)417--436
based, logic-, 2(1)29--45, 23(3)369--410
based, MDA-, 9(2)103--117
based, method-, 24(4)511--527
based, Model-, 5(2)140--157, 8(4)303--319, 9(5)527--544, 10(1)5--14, 14(4)383--386, 16(4)437--455, 18(3)305--318, 19(1)115--131, 19(3)271--279, 20(4)441--465, 22(1)1--2, 22(2)105--114, 23(5)721--740
based, model-, 14(6)673--702, 15(5)563--583, 17(5)585--600, 18(3)265--283, 19(3)309--324, 20(1)79--93, 21(4)425--448, 22(1)3--32, 22(1)33--34, 22(2)219--247
based, Pattern-, 8(1)57--76
based, pattern-, 21(2)183--202
based, proof-, 11(3)217--238
based, property-, 22(5)617--633
based, reasoning-, 21(3)351--364
based, Refinement-, 4(3)359--370
based, refinement-, 22(3)333--347
based, Requirements-document-, 5(4)370--390
based, Risk-, 16(5)569--591
based, risk-, 16(5)559--568, 16(5)609--625
based, ROS-, 25(5)747--764
based, Rule-, 8(6)565--585, 16(3)315--334, 17(2)143--170
based, rule-, 23(3)289--311, 25(2)185--204
based, SAT-, 19(5)517--534
based, SAT-, 7(2)156--173, 8(4)387--396, 18(2)187--204
based, Scenario-, 13(5)431--448, 24(5)803--819
based, Semantics-, 2(1)29--45
based, sequentialization-, 21(5)545--565
based, SMT-, 18(1)109--120, 25(2)185--204
based, Spin-, 21(3)267--286
based, standards-, 7(4)376--387
based, state-, 15(3)155--170, 17(1)59--76
based, study-, 10(6)477--492
based, swarm-, 8(6)587--603
based, Template-, 15(5)497--518
based, Type-, 6(3)245--255
based, type-, 15(1)41--52
based, UML-, 9(2)179--192
based, unfolding-, 18(3)305--318
based, usage-, 19(3)309--324
based, verifier-, 23(3)313--333
based, Web-, 3(4)405--416, 13(2)111--129
based, zone-, 8(3)204--215
Basile, Davide, 21(6)679--689, 24(3)351--370, 25(5)641--658
Basile:2019:ASC, 21(6)679--689
Basile:2022:EEE, 24(3)351--370
Basile:2023:TSS, 25(5)641--658
basin, 20(5)499--514
Basin, David, 23(2)185--208
Basin, David, see Schneider, Joshua
Basnet, Niraj, 25(4)541--556
Basnet, Niraj, see Momtaz, Anik
Basten, Twan, 18(1)21--40, 19(4)487--510, 26(1)101--126
Basten, Twan, see Hendriks, Martijn
Basu, Ananda, 14(1)53--72
Basu:2012:SAM, 14(1)53--72
Batista, Eddie, 23(2)115--135
Batista, Eddie, see Alhawi, Omar M.
Bauer, Andreas, 12(1)23--37
Bauer, K., 13(3)273--287
Bauer, Oliver, 16(5)531--542
Bauer:2010:DCS, 12(1)23--37
Bauer:2011:UAT, 13(3)273--287
Bauer:2014:APB, 16(5)531--542
Baufreton, Philippe, 8(6)517--530
Baufreton, Philippe, see Jahier, Erwan
Baumeister, Jan, 25(4)593--616
Baumeister:2023:MVG, 25(4)593--616
Bayesian, 11(4)291--305, 13(3)247--261, 23(4)615--640
BDD, 3(2)193--206, 8(1)26--36, 8(3)261--279
BDD-based, 16(5)507--518
BDD-like, 6(1)77--97
BDDs, 3(2)156--170, 3(2)207--216, 7(2)129--142, 8(1)26--36
Beaudenon, Vincent, 12(5)337--352
Beaudenon:2010:DDD, 12(5)337--352
Becker, Benedikt, 24(5)717--733
Becker, Bernd, 26(3)269--299
Becker, Bernd, see Winterer, Leonore
Becker, Martin, 21(5)515--543
Becker:2019:SPE, 21(5)515--543
Becker:2022:CPA, 24(5)717--733
Beek, Maurice H. ter, 20(3)237--241, 20(4)355--358, 21(6)607--612, 24(3)325--330, 24(3)351--370, 25(5)641--658
Beek, Maurice H. ter, see Basile, Davide
been, 5(2)237--246, 25(2)185--204
Beg, Omar Ali, 21(1)87--104
Beg, Omar Ali, see Bak, Stanley
Begin, Laurent, Van, 5(2)268--297
behavior, 2(1)13--28, 16(5)531--542, 25(3)407--426
Behavior-based, 6(1)4--14
behavioral, 11(5)393--407, 13(5)431--448, 17(1)107--119
behaviour, 9(3)269--304, 15(4)375--396
behavioural, 9(3)213--254, 24(4)529--548
Behrmann, Gerd, 7(1)19--30, 8(3)204--215
Behrmann:2005:DRA, 7(1)19--30
Behrmann:2006:LUB, 8(3)204--215
Bell, Alexander, 7(1)43--60
Bell:2005:SDM, 7(1)43--60
Bellatreche, Ladjel, 20(1)19--34
Bellatreche, Ladjel, see Boukhari, Ilyès
Belmonte, Gina, 22(2)195--217
Belmonte, Gina, see Buonamici, Fabrizio Banci
Ben Mahfoudh, Houssem, 22(4)417--436
Ben-David, Shoham, 4(4)496--504
Ben-David:2003:SDF, 4(4)496--504
Benavides, David, 14(5)477--495
Benavides, David, see Schaefer, Ina
benchmark, 10(4)359--370, 16(5)465--479, 16(5)543--558, 21(1)31--70, 23(6)917--930, 25(2)185--204
benchmarking, 2(4)317--320, 21(1)1--29, 24(4)661--661
Bender, Axel, 10(1)75--93
Bender, Axel, see Gallasch, Guy Edward
Bender, Marc, 20(1)95--117
Bender, Marc, see Pantelic, Vera
Bendisposto, Jens, 19(2)187--203
Bendisposto, Jens, see Ladenberger, Lukas
Bengtson, Jesper, 20(2)125--137
Bengtson, Jesper, see Faithfull, Alexander
BenMahfoudh:2020:LBC, 22(4)417--436
Bensalem, Saddek, 14(1)53--72, 15(3)149--154, 16(1)1--12, 17(2)171--185, 22(1)3--32, 22(1)33--34, 23(5)701--719
Bensalem, Saddek, see Basu, Ananda, see El Ballouli, Rim, see Gioulekas, Fotios, \see{Nouri, Ayoub
Bensalem:2013:RED, 15(3)149--154
Bensalem:2014:VVM, 16(1)1--12
Benso, Alfredo, 7(4)326--340
Benso, Alfredo, see Baldini, Andrea
Berbers, Yolande, 9(2)155--168
Berbers, Yolande, see Sora, Ioana
Berg, Joachim van den, 3(3)332--352
Berg, Joachim van den, see Huisman, Marieke
Berg, Therese, 11(5)393--407
Berg, Therese, see Raffelt, Harald
Bergenti, Federico, 25(5)693--705
Bergenti, Federico, see Monica, Stefania
Bergmann, Gábor, 12(3)211--230, 22(1)57--78, see Horváth, Ákos, see Semeráth, Oszkár
Berkenkötter, Kirsten, 8(2)167--176
Berkenkotter:2006:HPU, 8(2)167--176
Bernardi, Mario Luca, 11(6)485--501
Bernardi, S., 3(4)417--430
Bernardi:2001:ICS, 3(4)417--430
Bernardi:2009:RUA, 11(6)485--501
Berthelot, Gérard, 3(4)372--381
Berthelot:2001:SVC, 3(4)372--381
Berthomieu, Bernard, 22(2)163--181
Berthomieu:2020:CPN, 22(2)163--181
Berti, Alessandro, 25(1)1--17
Berti:2023:OPA, 25(1)1--17
Bertoli, Piergiorgio, 3(1)78--92
Bertoli, Piergiorgio, see Traverso, Paolo
Bertrand, Nathalie, 23(5)797--821, 23(5)823--823
Bertrand:2021:CVR, 23(5)797--821, 23(5)823--823
Bertrand:2021:VRC, 23(5)797--821, 23(5)823--823
Berzins, V., 5(4)370--390
Berzins, V., see Luqi
better, 10(2)131--144
Bettini, Lorenzo, 14(5)477--495, 24(2)247--260, 25(5)747--764
Bettini, Lorenzo, see Schaefer, Ina
Bettini:2022:SSM, 24(2)247--260
Bettini:2023:CPM, 25(5)747--764
Beyer, Dirk, 9(5)505--525, 16(5)457--464, 16(5)507--518, 21(1)1--29, 22(6)685--687, 23(3)313--333, 23(6)829--832, 23(6)833--846, 23(6)879--881, 24(4)661--661
Beyer, Dirk, see Howar, Falk
Beyer, Sven, 8(4)411--430
Beyer:2006:PIA, 8(4)411--430
Beyer:2007:SMC, 9(5)505--525
Beyer:2014:BBS, 16(5)507--518
Beyer:2019:RBR, 21(1)1--29, 24(4)661--661
Beyer:2020:TCA, 22(6)685--687
Beyer:2021:CVB, 23(3)313--333
Beyer:2021:FIC, 23(6)833--846
Beyer:2021:TCS, 23(6)829--832
Beyer:2021:TIC, 23(6)879--881
Beyer:2022:CRB, 21(1)1--29, 24(4)661--661
beyond, 25(3)375--391
Bian, Jinting, 24(5)783--802
Bian, Jinting, see Hiep, Hans-Dieter A.
Bianco, Vieri del, 9(2)179--192
biased, Coverage-, 14(1)73--93
Bicocchi, Nicola, 22(4)399--415
Bicocchi, Nicola, see Abeywickrama, Dhaminda B.
bidirectional, 11(6)453--468
Biere, Armin, 5(2)185--204, 7(2)87--88, 7(2)156--173, 24(5)663--665, 25(2)133--144
Biere, Armin, see Kaufmann, Daniela, see Prasad, Mukul R., see Schuppan, Viktor
Biere:2005:IPH, 7(2)87--88
Biere:2022:TAC, 24(5)663--665
Biermann, Enrico, 12(3)245--261
Biermann:2010:IAE, 12(3)245--261
Biewer, Sebastian, 25(2)205--218
Biewer:2023:RR, 25(2)205--218
Bigot, Céline, 5(2)124--139, see Lugato, David
Billington, Jonathan, 2(2)144--159, 9(3)269--304, 9(3)305--326, 9(3)371--391, 10(1)29--56, 10(1)75--93
Billington, Jonathan, see Gallasch, Guy Edward, see Gordon, Steven, \see{Liu, Lin, see Vanit-Anunchai, Somsak
Billington:2007:MAF, 9(3)269--304
Bin Waez, Md Tawhid, 26(1)49--78
Bin Waez, Md Tawhid, see Schupp, Stefan
binary, 3(2)112--136, 3(2)137--155, 24(1)89--109, 24(2)205--223
Binder, Benjamin, 24(3)415--440
Binder, Walter, 13(2)167--179
Binder, Walter, see Mosincat, Adina
Binder:2022:FMV, 24(3)415--440
binding, 13(2)167--179
bioinformatics, 18(6)581--586
biological, 17(3)351--367, 17(4)527--536
Biondi, Fabrizio, 22(5)563--564
Biondi:2020:ISI, 22(5)563--564
birds, 25(5)675--691
Bisanz, Stefan, 8(2)167--176
Bisanz, Stefan, see Berkenkötter, Kirsten
bisimulation, 3(3)271--285, 7(1)74--86, 8(1)37--56, 20(2)157--177
bit, 16(2)175--190
bit-vector, 11(2)95--104
bitcode, 24(3)493--510
Bj{\o}rner, Nikolaj, 14(4)387--405, see Veanes, Margus
Blanchette, Jasmin, 24(1)67--87
Blanchette, Jasmin, see Vukmirovi{\'c}, Petar
Blast, 9(5)505--525
Blicha, Martin, 24(1)111--125
Blicha:2022:ULA, 24(1)111--125
blind, color-, 9(5)471--487
Bliudze, Simon, 23(5)679--684
Bliudze:2021:MTR, 23(5)679--684
block, 15(4)287--289, 18(6)607--628, 24(3)351--370
Bloem, Roderick, 15(5)563--583, 19(3)367--390
Bloem, Roderick, see Jacobs, Swen, see Könighofer, Robert
Bloemen, Vincent, 21(3)307--324
Bloemen:2019:MCG, 21(3)307--324
Blom, S., 23(5)741--763
Blom, Stefan, 7(1)74--86, 7(3)280--291, 17(6)757--781
Blom:2005:DAS, 7(1)74--86
Blom:2005:DSS, 7(3)280--291
Blom:2015:WEM, 17(6)757--781
Blom:2021:CPP, 23(5)741--763
Blot, Elliott, 24(4)529--548
Blot, Elliott, see Salva, Sebastien
Blue, Dale, 13(3)207--221
Blue, Dale, see Adler, Yoram
blueprint, 18(1)21--40
BMC, 7(2)89--101, 8(4)387--396, 12(5)319--335, 16(1)103--121
BMC'03, 7(2)87--88
BMC-based, 7(2)102--117
Bobot, François, 17(6)709--727
Bobot:2015:LVW, 17(6)709--727
Böcker, Joachim, 10(3)223--231, see Witting, Katrin
Bodden, Eric, 14(3)307--326
Bodden:2012:CFH, 14(3)307--326
Bodik, Rastislav, 15(5)397--411
Bodik:2013:APS, 15(5)397--411
Boer, Frank S. de, 17(1)107--119, 24(5)783--802
Boer, Frank S. de, see Hiep, Hans-Dieter A., see Wong, Peter Y. H.
Boer, Pieter-Tjerk de, 17(4)377--395
Boer, Pieter-Tjerk de, see Reijsbergen, Daniël
Bogomolov, Sergiy, 18(4)449--467, 21(1)87--104, 21(4)401--423
Bogomolov, Sergiy, see Bak, Stanley, see Gurung, Amit
Bogomolov:2016:GSH, 18(4)449--467
Bohnenkamp, Henrik, 12(5)305--318
Bohnenkamp, Henrik, see Mader, Angelika
Boigelot, Bernard, 14(2)193--206
Boigelot:2012:DSR, 14(2)193--206
Boldo, Sylvie, 5(2)237--246
Boldo:2004:PTC, 5(2)237--246
Bollig, Benedikt, 25(3)341--354
Bollig, Benedikt, see Khmelnitsky, Igor
Bolt, Alfredo, 18(6)607--628
Bolt:2016:SWP, 18(6)607--628
Bombarda, Andrea, 26(3)301--326
Bombarda, Andrea, see Leithner, Manuel
Bombino, Massimo, 15(4)363--374
Bombino:2013:MDC, 15(4)363--374
Bona, Sergio, Di, 19(3)281--308
Bonakdarpour, Borzoo, 21(1)31--70, 25(4)541--556
Bonakdarpour, Borzoo, see Bartocci, Ezio, see Momtaz, Anik
Bonfanti, Silvia, 26(3)379--401
Bonfanti, Silvia, see Arcaini, Paolo
Boniol, Frederic, 8(6)471--484
Boniol, Frederic, see Carcenac, François
Boniol, Frédéric, 12(1)1--7, 19(2)133--140, see Ameur, Yamine Ait
Boniol:2017:LGC, 19(2)133--140
Boolean, 3(2)207--216, 5(1)4--14, 5(1)49--58, 8(1)37--56, 24(5)735--756
boosting, 13(3)247--261
Borgoñón, L., García-, 19(3)325--339
Boronat, Artur, 23(3)289--311
Boronat:2021:IER, 23(3)289--311
Bortnik, Elena M., 11(5)375--392
Bortnik, Elena M., see Wijs, Anton J.
Bortolussi, Luca, 23(4)615--640, 25(4)503--517
Bortolussi, Luca, see Nenzi, Laura
Bortolussi:2021:NPM, 23(4)615--640
Bosnacki, Dragan, 11(1)39--51, 12(2)89--95, 13(1)21--35, 18(2)169--185, 20(5)493--497
Bosnacki, Dragan, see Wijs, Anton
Bo{\v{s}}na{\v{c}}ki, Dragan, 4(1)92--106
Bosnacki:2002:SS, 4(1)92--106
Bosnacki:2009:POR, 11(1)39--51
Bosnacki:2010:MCS, 12(2)89--95
Bosnacki:2011:PPM, 13(1)21--35
Bosnacki:2018:MCR, 20(5)493--497
Botella, Julien, 21(4)425--448
Botella:2019:CTS, 21(4)425--448
both, 25(2)185--204
Botlan, Didier, Le, 22(2)163--181, 25(1)95--114
Botteck, Martin, 10(4)285--289
Botteck:2008:ITP, 10(4)285--289
Botterweck, Goetz, 14(5)477--495, 14(5)497--510
Botterweck, Goetz, see Pleuss, Andreas, see Schaefer, Ina
bottom, 25(5)675--691
Bouajjani, Ahmed, 14(2)145--165, 14(2)167--191, 16(2)127--146
Bouajjani:2012:ART, 14(2)167--191
Bouajjani:2012:WTR, 14(2)145--165
Bouajjani:2014:BPA, 16(2)127--146
Boucheneb, Hanifa, 10(2)167--184
Boucheneb, Hanifa, see Hadjidj, Rachid
Boucher, Quentin, 14(5)553--566
Boucher, Quentin, see Heymans, Patrick
Boukhari, Ilyès, 20(1)19--34
Boukhari:2018:RUR, 20(1)19--34
Boulton, Richard J., 4(2)189--210
Boulton, Richard J., see Dennis, Louise A.
bound, 8(3)204--215
bound, upper-, 18(4)409--426
bounded, 7(2)174--183, 8(1)26--36, 8(4)387--396, 11(1)69--83, 11(2)117--131, 13(4)307--317, 15(5)519--539, 16(2)127--146, 16(5)519--529, 17(3)339--349, 19(1)97--114, 19(5)517--534, 23(6)857--861, 24(1)33--48, 25(1)19--47
Bouquet, Fabrice, 6(2)143--157
Bouquet:2004:CBC, 6(2)143--157
Bourdoux, Arnaud, 14(5)553--566
Bourdoux, Arnaud, see Heymans, Patrick
Bourr, Khalid, 25(5)747--764
Bourr, Khalid, see Bettini, Lorenzo
Bouyer, Patricia, 8(3)204--215, 23(2)229--253
Bouyer, Patricia, see Behrmann, Gerd
Bouyer:2021:DTA, 23(2)229--253
Bozga, L., 8(1)57--76
Bozga, Marius, 1(1)166--183, 4(2)142--152, 14(1)53--72, 15(3)149--154, 17(2)171--185, 25(5)625--639
Bozga, Marius, see Basu, Ananda, see Bensalem, Saddek, \see{Nouri, Ayoub
Bozga:1997:PVA, 1(1)166--183
Bozga:2003:USA, 4(2)142--152
Bozga:2006:PBA, 8(1)57--76
Bozga:2023:CDC, 25(5)625--639
Bozzano, Marco, 9(1)5--24
Bozzano:2007:FNS, 9(1)5--24
Braberman, Víctor, 7(1)4--18
Braberman:2005:IDT, 7(1)4--18
Brabrand, Claus, 19(5)585--603
Brabrand, Claus, see Dimovski, Aleksandar S.
Brady, Bryan, 11(2)95--104
Brady, Bryan, see Bryant, Randal E.
brainiac, 24(1)67--87
branch, 22(4)365--388, 23(6)863--866
Brassé, Marco, 19(4)487--510, see Hendriks, Martijn
Brauer, Jörg, 15(4)287--289, see Kowalewski, Stefan
Braun, Volker, 1(1)9--30, 1(1)31--48, 1(1)49--63
Braun, Volker, see Margaria, Tiziana, see Steffen, Bernhard
Braun:1997:ITE, 1(1)31--48
Braunstein, Cécile, 9(1)77--88
Braunstein:2007:CPT, 9(1)77--88
Brenguier, Romain, 19(3)367--390
Brenguier, Romain, see Jacobs, Swen
Breton, Nicolas, 20(4)423--440
Breton, Nicolas, see Ge, Ning
Breu, Ruth, 9(5)457--470, 19(1)115--131, 21(2)221--246
Breu, Ruth, see Zech, Philipp
Breu:2007:MBD, 9(5)457--470
Brglez, Franc, 3(2)193--206
Brglez, Franc, see III, Justin E. Harlow
Bride, Hadrien, 20(4)467--491
Bride:2018:ASC, 20(4)467--491
bridging, 20(1)95--117
Brim, L., 12(2)139--153
Brim, L., see Barnat, J.
Brim, Lubo{\v{s}}, 7(1)1--3, 7(1)61--73
Brim:2005:ABD, 7(1)61--73
Brim:2005:SSP, 7(1)1--3
Bringing, 24(2)159--181
Brinke, Steven te, 16(5)481--491
Brinke, Steven te, see Pol, Jaco van de
Brinksma, Ed, 3(2)107--111, 4(1)21--33, 4(2)246--259
Brinksma, Ed, see Ruys, Theo C.
Brinksma:2001:VE, 3(2)107--111
Brinksma:2002:VOP, 4(1)21--33
Brix, Christopher, 25(3)329--339
Brix:2023:FTY, 25(3)329--339
broadcast, 18(5)475--493
Broster, Ian, 15(1)9--28
Broster, Ian, see Merriam, Nicholas
Broto{\'n}, Grzegorz, 26(1)21--32, see Kosi{\'n}ska, Joanna
Brown, M., 5(4)370--390
Brown, M., see Luqi
Brucker, Achim D., 7(3)233--247
Brucker:2005:VAA, 7(3)233--247
Brukman, Olga, 13(4)377--395
Brukman:2011:ROP, 13(4)377--395
Brulé, Joshua, 24(3)371--394, see Kouskoulas, Yanni
Bruns, Daniel, 17(6)729--744
Bruns:2015:ILV, 17(6)729--744
brute-force, 16(5)481--491
Bryant, Randal E., 3(2)137--155, 11(2)95--104
Bryant:2001:VAC, 3(2)137--155
Bryant:2009:ABD, 11(2)95--104
Bu, Lei, 13(4)307--317
Bu:2011:POB, 13(4)307--317
Bubel, Richard, 7(3)197--211, 17(1)107--119, 21(5)485--513
Bubel, Richard, see Hentschel, Martin, see Wong, Peter Y. H.
Bubel:2005:IIF, 7(3)197--211
Bucci, Giacomo, 12(5)391--403
Bucci:2010:OTM, 12(5)391--403
Buchholz, Peter, 8(6)605--606
Buchholz:2006:GEI, 8(6)605--606
Büchi, 4(1)57--70, 15(2)109--123, 19(6)653--673, 20(2)179--194, 24(4)635--659
Buchwald, Sebastian, 12(3)263--271
Buchwald, Sebastian, see Jakumeit, Edgar
Budde, Carlos E., 22(6)759--780, 24(5)821--841
Budde:2020:ESM, 22(6)759--780
Budde:2022:ANM, 24(5)821--841
bugs, 13(6)495--518
build, 5(2)237--246
building, 3(4)486--497, 7(1)4--18, 8(6)607--620, 12(1)23--37, 15(4)287--289, 18(6)607--628
Bultan, Tevfik, 5(1)15--33, 8(1)26--36, 10(6)503--520
Bultan, Tevfik, see Bartzis, Constantinos, see Hughes, Graham, see Yavuz-Kahveci, Tuba
Bunker, Annette, 7(4)341--350
Bunker:2005:LSC, 7(4)341--350
Bunte, Olav, 24(3)441--472
Bunte:2022:FVO, 24(3)441--472
Buonamici, Fabrizio Banci, 22(2)195--217
Buonamici:2020:SLM, 22(2)195--217
Búr, Márton, 22(1)79--102
Bur:2020:DGQ, 22(1)79--102
Burdy, Lilian, 7(3)212--232
Burdy:2005:OJT, 7(3)212--232
Bures, Tomas, 22(4)497--509, 22(4)511--522
Bures, Tomas, see Al Ali, Rima
Bure{\v{s}}, Tom{\'a}{\v{s}}, 25(5)717--731, 25(5)733--746, see Töpfer, Michal
Bures:2020:LFD, 22(4)497--509
Bures:2023:GAR, 25(5)733--746
Bürger, Jens, 17(3)267--289
Burger:2015:RSE, 17(3)267--289
Burmester, Sven, 6(3)203--218, 10(3)207--222
Burmester:2004:TIM, 6(3)203--218
Burmester:2008:TSD, 10(3)207--222
Burns, F. P., 2(2)182--191
Burns:1998:ASP, 2(2)182--191
bus, 2(1)68--88
Busard, Simon, 21(4)449--469
Busard:2019:CAM, 21(4)449--469
business, 9(3)255--267, 10(1)95--110, 11(6)503--515, 15(2)125--147, 18(2)187--204, 24(2)183--203
Bussi, Laura, 25(5)641--658
Bussi, Laura, see Basile, Davide
Butler, Michael, 10(2)185--203, 12(6)447--466, 22(3)249--255
Butler, Michael, see Abrial, Jean-Raymond, see Leuschel, Michael
Butler, Ricky, 4(3)371--380
Butler, Ricky, see Muñoz, César
Butler:2020:ISS, 22(3)249--255
Butterfield, Andrew, 7(3)248--267
Butterfield:2005:PHC, 7(3)248--267
Buzhinsky, Igor, 20(1)35--55
Buzhinsky, Igor, see Ulyantsev, Vladimir
by-construction, Correct-, 22(1)3--32, 22(1)33--34
by-construction, correct-, 19(4)465--485
bytecode, 18(6)653--684
bytecode-level, 25(4)453--479