×

Real-Time Systems

The International Journal of Time-Critical Computing Systems

Short Title: Real-Time Syst.
Publisher: Springer US, New York, NY
ISSN: 0922-6443; 1573-1383/e
Online: https://link.springer.com/journal/11241/volumes-and-issues
Comments: Journal
Documents Indexed: 421 Publications (since 1992)
References Indexed: 304 Publications with 10,149 References.
all top 5

Latest Issues

60, No. 1 (2024)
59, No. 3 (2023)
58, No. 3 (2022)
56, No. 1 (2020)
55, No. 4 (2019)
55, No. 3 (2019)
55, No. 2 (2019)
55, No. 1 (2019)
54, No. 4 (2018)
54, No. 3 (2018)
54, No. 2 (2018)
54, No. 1 (2018)
53, No. 6 (2017)
53, No. 5 (2017)
53, No. 4 (2017)
53, No. 3 (2017)
53, No. 2 (2017)
53, No. 1 (2017)
52, No. 6 (2016)
52, No. 5 (2016)
52, No. 4 (2016)
52, No. 3 (2016)
52, No. 2 (2016)
52, No. 1 (2016)
51, No. 6 (2015)
51, No. 5 (2015)
51, No. 4 (2015)
51, No. 3 (2015)
51, No. 2 (2015)
51, No. 1 (2015)
50, No. 5-6 (2014)
50, No. 4 (2014)
50, No. 3 (2014)
50, No. 2 (2014)
50, No. 1 (2014)
49, No. 6 (2013)
49, No. 5 (2013)
49, No. 4 (2013)
49, No. 3 (2013)
49, No. 2 (2013)
49, No. 1 (2013)
48, No. 6 (2012)
48, No. 5 (2012)
48, No. 4 (2012)
48, No. 3 (2012)
48, No. 2 (2012)
48, No. 1 (2012)
47, No. 6 (2011)
47, No. 5 (2011)
47, No. 4 (2011)
47, No. 3 (2011)
47, No. 2 (2011)
47, No. 1 (2011)
46, No. 3 (2010)
46, No. 2 (2010)
46, No. 1 (2010)
45, No. 3 (2010)
45, No. 1-2 (2010)
44, No. 1-3 (2010)
43, No. 3 (2009)
43, No. 2 (2009)
43, No. 1 (2009)
42, No. 1-3 (2009)
41, No. 3 (2009)
41, No. 2 (2009)
41, No. 1 (2009)
40, No. 3 (2008)
40, No. 2 (2008)
40, No. 1 (2008)
39, No. 1-3 (2008)
38, No. 3 (2008)
38, No. 2 (2008)
38, No. 1 (2008)
37, No. 3 (2007)
37, No. 2 (2007)
37, No. 1 (2007)
36, No. 3 (2007)
36, No. 1-2 (2007)
35, No. 2 (2007)
35, No. 1 (2007)
34, No. 3 (2006)
34, No. 2 (2006)
34, No. 1 (2006)
33, No. 1-3 (2006)
32, No. 3 (2006)
32, No. 1-2 (2006)
31, No. 1-3 (2005)
30, No. 3 (2005)
30, No. 1-2 (2005)
29, No. 2-3 (2005)
29, No. 1 (2005)
28, No. 2-3 (2004)
28, No. 1 (2004)
27, No. 3 (2004)
27, No. 2 (2004)
27, No. 1 (2004)
26, No. 3 (2004)
26, No. 2 (2004)
26, No. 1 (2004)
25, No. 2-3 (2003)
...and 13 more Volumes
all top 5

Authors

22 Baruah, Sanjoy K.
20 Burns, Alan D.
20 Davis, Robert I.
14 Anderson, James H.
12 Goossens, Joël
11 Buttazzo, Giorgio C.
9 Chen, Jian-Jia
9 Lu, Chenyang
8 Abdelzaher, Tarek F.
8 Bini, Enrico
8 Fisher, Nathan Wayne
8 Lipari, Giuseppe
8 Thiele, Lothar
7 Altmeyer, Sebastian A.
7 Sha, Lui
6 Bertogna, Marko
6 Bletsas, Konstantinos
6 Pellizzoni, Rodolfo
6 Roychoudhury, Abhik
6 Tovar, Eduardo
6 Zeng, Haibo
5 Andersson, Björn
5 Baker, Theodore P.
5 Caccamo, Marco
5 Easwaran, Arvind
5 George, Laurent
5 Nélis, Vincent
5 Nelissen, Geoffrey
5 Schmidt, Douglas C.
5 Yi, Wang
4 Årzén, Karl-Erik
4 Behnam, Moris
4 Brandt, Scott A.
4 Crespo, Alfons
4 Devi, UmaMaheswari C.
4 Di Natale, Marco
4 Ernst, Rolf
4 Fohler, Gerhard
4 Maiza, Claire
4 Mitra, Tulika
4 Müller, Frank
4 Nolte, Thomas
4 Puschner, Peter
4 Richard, Pascal
4 Shih, Chi-Sheng
4 Son, Sang Hyuk
4 Stankovic, John A.
4 Zhu, Dakai
3 Abeni, Luca
3 Agrawal, Kunal
3 Åkesson, Benny
3 Aydin, Hakan
3 Balbastre, Patricia
3 Bettati, Riccardo
3 Bonifaci, Vincenzo
3 Brandenburg, Björn B.
3 Bril, Reinder J.
3 Cervin, Anton
3 Chakraborty, Samarjit
3 Cucinotta, Tommaso
3 Díaz, José Luis
3 Ekberg, Pontus
3 Eles, Petru
3 García, Daniel Fernando
3 Gaujal, Bruno
3 Goddard, Steve
3 Grolleau, Emmanuel
3 Han, Song
3 Kirner, Raimund
3 Lam, Kam-Yiu
3 Lee, Chang-Gun
3 Lee, Insup
3 Lehoczky, John P.
3 Leontyev, Hennadiy
3 Levin, Greg
3 Li, Jing
3 López, José María
3 Lundberg, Lars-Erik
3 Mok, Aloysius K.-L.
3 Nasri, Mitra
3 Navet, Nicolas
3 Ng, Joseph Kee-Yin
3 Pathan, Risat Mahmud
3 Peng, Zebo
3 Pop, Paul
3 Punnekkat, Sasikumar
3 Ramamritham, Krithi
3 Raravi, Gurulingesh
3 Reineke, Jan
3 Ripoll, Ismael
3 Ruan, Da
3 Shin, Insik
3 Wellings, Andy
3 Zhao, Yecheng
2 Almeida, Luís
2 Ashjaei, Mohammad
2 Bernat, Guillem
2 Biondi, Alessandro
2 Brun, Olivier
2 Cerqueira, Felipe
...and 683 more Authors

Publications by Year

Citations contained in zbMATH Open

245 Publications have been cited 1,065 times in 475 Documents Cited by Year
Measuring the performance of schedulability tests. Zbl 1083.68008
Bini, Enrico; Buttazzo, Giorgio C.
48
2005
On the competitiveness of on-line real-time task scheduling. Zbl 0766.68011
Baruah, S.; Koren, G.; Mao, D.; Mishra, B.; Raghunathan, A.; Rosier, Louis E.; Shasha, D.; Wang, F.
42
1992
Priority-driven scheduling of periodic task systems on multiprocessors. Zbl 1081.68006
Goossens, Joël; Funk, Shelby; Baruah, Sanjoy
28
2003
Real time scheduling theory: A historical perspective. Zbl 1073.68537
Sha, Lui; Abdelzaher, Tarek; Årzén, Karl-Erik; Cervin, Anton; Baker, Theodore; Burns, Alan; Buttazzo, Giorgio; Caccamo, Marco; Lehoczky, John; Mok, Aloysius K.
25
2004
Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. Zbl 1206.68063
Davis, Robert I.; Burns, Alan
20
2011
Feedback–feedforward scheduling of control tasks. Zbl 1018.68008
Cervin, Anton; Eker, Johan; Bernhardsson, Bo; Årzén, Karl-Erik
18
2002
Dynamic- and static-priority scheduling of recurring real-time tasks. Zbl 1033.68012
Baruah, Sanjoy K.
18
2003
Feedback control real-time scheduling: Framework, modeling, and algorithms. Zbl 1018.68009
Lu, Chenyang; Stankovic, John A.; Son, Sang H.; Tao, Gang
17
2002
Scheduler modeling based on the controller synthesis paradigm. Zbl 1018.68006
Altisen, K.; Gössler, G.; Sifakis, J.
14
2002
Utilization bounds for EDF scheduling on real-time multiprocessor systems. Zbl 1067.68025
López, J. M.; Díaz, J. L.; García, D. F.
13
2004
Verification and control of partially observable probabilistic systems. Zbl 1425.68266
Norman, Gethin; Parker, David; Zou, Xueyi
13
2017
Resource reservation in dynamic real-time systems. Zbl 1078.68586
Abeni, Luca; Buttazzo, Giorgio
12
2004
Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems. Zbl 1243.68094
Altmeyer, Sebastian; Davis, Robert I.; Maiza, Claire
12
2012
Tardiness bounds under global EDF scheduling on a multiprocessor. Zbl 1141.68021
Devi, UmaMaheswari C.; Anderson, J. H.
11
2008
Multi-core real-time scheduling for generalized parallel task models. Zbl 1291.68096
Saifullah, Abusayeed; Li, Jing; Agrawal, Kunal; Lu, Chenyang; Gill, Christopher
11
2013
Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption. Zbl 1185.68106
Bril, Reinder J.; Lukkien, Johan J.; Verhaegh, Wim F. J.
10
2009
Optimal online multiprocessor scheduling of sporadic real-time tasks is impossible. Zbl 1197.68027
Fisher, Nathan; Goossens, Joël; Baruah, Sanjoy
10
2010
{DP-Fair}: a unifying theory for optimal hard real-time multiprocessor scheduling. Zbl 1243.68106
Funk, Shelby; Levin, Greg; Sadowski, Caitlin; Pye, Ian; Brandt, Scott
10
2011
Schedulability analysis of global EDF. Zbl 1141.68015
Baruah, Sanjoy; Baker, Theodore
9
2008
Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. Zbl 1291.68075
Ekberg, Pontus; Yi, Wang
9
2014
Combinatorial abstraction refinement for feasibility analysis of static priorities. Zbl 1343.68037
Stigge, Martin; Yi, Wang
8
2015
A timeband framework for modelling real-time systems. Zbl 1197.68032
Burns, Alan; Hayes, Ian J.
8
2010
EDZL scheduling analysis. Zbl 1194.68082
Baker, Theodore P.; Cirinei, Michele; Bertogna, Marko
8
2008
Preemption-light multiprocessor scheduling of sporadic tasks with high utilisation bound. Zbl 1230.68049
Bletsas, Konstantinos; Andersson, Björn
8
2011
Real-time supervisory control of a processor for non-preemptive execution of periodic tasks. Zbl 1012.68019
Chen, Peter C. Y.; Wonham, W. M.
7
2002
An analysis of fixed-priority schedulability on a multiprocessor. Zbl 1103.68393
Baker, Theodore P.
7
2006
The non-preemptive scheduling of periodic tasks upon multiprocessors. Zbl 1103.68394
Baruah, Sanjoy K.
7
2006
Sensitivity analysis for fixed-priority real-time systems. Zbl 1141.68020
Bini, Enrico; Di Natale, Marco; Buttazzo, Giorgio
7
2008
Exact quantification of the sub-optimality of uniprocessor fixed priority pre-emptive scheduling. Zbl 1184.68121
Davis, Robert I.; Rothvoß, Thomas; Baruah, Sanjoy K.; Burns, Alan
7
2009
Generalized tardiness bounds for global multiprocessor scheduling. Zbl 1186.68069
Leontyev, Hennadiy; Anderson, James H.
7
2010
An analysis of global EDF schedulability for arbitrary-deadline sporadic task systems. Zbl 1186.68056
Baker, Theodore P.; Baruah, Sanjoy K.
7
2009
A hierarchical multiprocessor bandwidth reservation scheme with timing guarantees. Zbl 1185.68115
Leontyev, Hennadiy; Anderson, James H.
7
2009
Assigning real-time tasks on heterogeneous multiprocessors with two unrelated types of processors. Zbl 1291.68093
Raravi, Gurulingesh; Andersson, Björn; Bletsas, Konstantinos
7
2013
Partitioned EDF scheduling on a few types of unrelated multiprocessors. Zbl 1291.68098
Wiese, Andreas; Bonifaci, Vincenzo; Baruah, Sanjoy
7
2013
Rate monotonic vs. EDF: judgment day. Zbl 1097.68530
Buttazzo, Giorgio C.
6
2005
Optimal virtual cluster-based multiprocessor scheduling. Zbl 1186.68063
Easwaran, Arvind; Shin, Insik; Lee, Insup
6
2009
Partitioned EDF scheduling for multiprocessors using a \(C=D\) task splitting scheme. Zbl 1243.68101
Burns, A.; Davis, R. I.; Wang, P.; Zhang, F.
6
2012
QoS management through adaptive reservations. Zbl 1083.68007
Abeni, L.; Cucinotta, T.; Lipari, G.; Marzario, L.; Palopoli, L.
6
2005
Quantitative characterization of event streams in analysis of hard real-time applications. Zbl 1083.68528
Wandeler, Ernesto; Maxiaguine, Alexander; Thiele, Lothar
6
2005
Feasibility analysis of real-time periodic tasks with offsets. Zbl 1083.68012
Pellizzoni, Rodolfo; Lipari, Giuseppe
6
2005
Adaptive workload management through elastic scheduling. Zbl 1018.68007
Buttazzo, Giorgio; Abeni, Luca
5
2002
Mode change protocols for real-time systems: a survey and a new proposal. Zbl 1069.68532
Real, Jorge; Crespo, Alfons
5
2004
Real-time databases and data services. Zbl 1094.68559
Ramamritham, Krithi; Son, Sang H.; DiPippo, Lisa Cingiser
5
2004
Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: integrated analysis and evaluation. Zbl 1409.68054
Bril, Reinder J.; Altmeyer, Sebastian; van den Heuvel, Martijn M. H. P.; Davis, Robert I.; Behnam, Moris
5
2017
Integrated QoS-aware resource management and scheduling with multi-resource constraints. Zbl 1152.90442
Ghosh, Sourav; Raj Rajkumar, Ragunathan; Hansen, Jeffery; Lehoczky, John
5
2006
Timing analysis of the flexRay communication protocol. Zbl 1140.68337
Pop, Traian; Pop, Paul; Eles, Petru; Peng, Zebo; Andrei, Alexandru
5
2008
Formal verification of real-time systems with preemptive scheduling. Zbl 1185.68429
Lime, Didier; Roux, Olivier H.
5
2009
Implementation of algebraic controllers for non-conventional sampled-data systems. Zbl 1117.93348
Cuenca, Ángel; Salt, Julián; Albertos, Pedro
5
2007
The partitioned dynamic-priority scheduling of sporadic task systems. Zbl 1118.68378
Baruah, Sanjoy K.; Fisher, Nathan Wayne
5
2007
Schedulability and sensitivity analysis of multiple criticality tasks with fixed-priorities. Zbl 1213.68145
Dorin, François; Richard, Pascal; Richard, Michaël; Goossens, Joël
5
2010
Improved multiprocessor global schedulability analysis. Zbl 1204.68034
Baruah, Sanjoy; Bonifaci, Vincenzo; Marchetti-Spaccamela, Alberto; Stiller, Sebastian
5
2010
Compact data structures and state-space reduction for model-checking real-time systems. Zbl 1081.68010
Larsen, Kim G.; Larsson, Fredrik; Pettersson, Paul; Yi, Wang
5
2003
Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach. Zbl 1291.68095
Regnier, Paul; Lima, George; Massa, Ernesto; Levin, Greg; Brandt, Scott
5
2013
Mixed-criticality scheduling on multiprocessors. Zbl 1291.68065
Baruah, Sanjoy; Chattopadhyay, Bipasa; Li, Haohan; Shin, Insik
5
2014
Strictly periodic scheduling in IMA-based architectures. Zbl 1243.68126
Sheikh, Ahmad Al; Brun, Olivier; Hladik, Pierre-Emmanuel; Prabhu, Balakrishna J.
5
2012
Trade-off analysis of real-time control performance and schedulability. Zbl 1012.68025
Seto, Danbing; Lehoczky, John P.; Sha, Lui; Shin, Kang G.
4
2001
Schedulability-driven communication synthesis for time triggered embedded systems. Zbl 1067.68027
Pop, Paul; Eles, Petru; Peng, Zebo
4
2004
Graph-based models for real-time workload: a survey. Zbl 1337.68050
Stigge, Martin; Yi, Wang
4
2015
Efficient implementation of tight response-times for tasks with offsets. Zbl 1167.68348
Mäki-Turja, Jukka; Nolin, Mikael
4
2008
Timing predictability of cache replacement policies. Zbl 1125.68422
Reineke, Jan; Grund, Daniel; Berg, Christoph; Wilhelm, Reinhard
4
2007
Competitive analysis of online real-time scheduling algorithms under hard energy constraint. Zbl 1204.68037
Devadas, Vinay; Li, Fei; Aydin, Hakan
4
2010
A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling. Zbl 1357.68024
Sun, Youcheng; Lipari, Giuseppe
4
2016
Timing analysis of real-time communication under electromagnetic interference. Zbl 1086.68513
Broster, I.; Burns, A.; RodrÍguez-Navas, G.
4
2005
Memory-centric scheduling for multicore hard real-time systems. Zbl 1291.68100
Yao, Gang; Pellizzoni, Rodolfo; Bak, Stanley; Betti, Emiliano; Caccamo, Marco
4
2012
Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm. Zbl 1291.68081
Geeraerts, Gilles; Goossens, Joël; Lindström, Markus
4
2013
Using control theory to achieve service level objectives in performance management. Zbl 1011.93074
Parekh, S.; Gandhi, N.; Hellerstein, J.; Tilbury, D.; Jayram, T.
3
2002
Data-flow frameworks for worst-case execution time analysis. Zbl 1014.68049
Blieberger, Johann
3
2002
Probabilistic schedulability analysis of harmonic multi-task systems with dual-modular temporal redundancy. Zbl 1101.68417
Kim, Jae Kwon; Kim, Byung Kook
3
2004
Scheduling of offset free systems. Zbl 1033.68016
Goossens, Joël
3
2003
Real-time operating systems. Zbl 1094.68539
Stankovic, John A.; Rajkumar, R.
3
2004
Scheduling algorithms to reduce the static energy consumption of real-time systems. Zbl 1334.68037
Legout, Vincent; Jan, Mathieu; Pautet, Laurent
3
2015
The limited-preemptive feasibility of real-time tasks on uniprocessors. Zbl 1330.68043
Thekkilakattil, Abhilash; Dobrin, Radu; Punnekkat, Sasikumar
3
2015
Combined task- and network-level scheduling for distributed time-triggered systems. Zbl 1352.68027
Craciunas, Silviu S.; Oliver, Ramon Serna
3
2016
Group-based Pfair scheduling. Zbl 1105.68010
Holman, Philip; Anderson, James H.
3
2006
Applying real-time interface and calculus for dynamic power management in hard real-time systems. Zbl 1211.68035
Huang, Daniel Julius Dara Kai; Santinelli, Luca; Chen, Jian-Jia; Thiele, Lothar; Buttazzo, Giorgio C.
3
2011
On earliest deadline first scheduling for temporal consistency maintenance. Zbl 1191.68109
Xiong, Ming; Wang, Qiong; Ramamritham, Krithi
3
2008
Exact scheduling analysis of non-accumulatively monotonic multiframe tasks. Zbl 1185.68129
Zuhily, A.; Burns, A.
3
2009
Scoped types and aspects for real-time Java memory management. Zbl 1127.68015
Andreae, Chris; Coady, Yvonne; Gibbs, Celina; Noble, James; Vitek, Jan; Zhao, Tian
3
2007
Dynamic voltage scaling under EDF revisited. Zbl 1127.68012
Gaujal, Bruno; Navet, Nicolas
3
2007
Approximation techniques for response-time analysis of static-priority tasks. Zbl 1185.68118
Nguyen, Thi Huyen Chau; Richard, Pascal; Bini, Enrico
3
2009
Schedulability analysis and task mapping for real-time on-chip communication. Zbl 1213.68153
Shi, Zheng; Burns, Alan
3
2010
{LRE}-{TL}: An optimal multiprocessor algorithm for sporadic task sets with unconstrained deadlines. Zbl 1213.68147
Funk, Maryline Mikael Shelby
3
2010
Delay composition in preemptive and non-preemptive real-time pipelines. Zbl 1180.68083
Jayachandran, Praveen; Abdelzaher, Tarek
3
2008
Periodicity of real-time schedules for dependent periodic tasks on identical multiprocessor platforms. Zbl 1392.68121
Goossens, Joël; Grolleau, Emmanuel; Cucu-Grosjean, Liliana
3
2016
Timing analysis of concurrent programs running on shared cache multi-cores. Zbl 1291.68087
Liang, Yun; Ding, Huping; Mitra, Tulika; Roychoudhury, Abhik; Li, Yan; Suhendra, Vivy
3
2012
Schedulability analysis for controller area network (CAN) with FIFO queues priority queues and gateways. Zbl 1291.68074
Davis, Robert I.; Kollmann, Steffen; Pollex, Victor; Slomka, Frank
3
2013
A bandwidth allocation scheme for compositional real-time systems with periodic resources. Zbl 1243.68105
Fisher, Nathan; Dewan, Farhana
3
2012
Numerical analysis of worst-case end-to-end delay bounds in FIFO tandem networks. Zbl 1243.68100
Bisti, Luca; Lenzini, Luciano; Mingozzi, Enzo; Stea, Giovanni
3
2012
Safety-critical Java programs from Circus models. Zbl 1285.68037
Cavalcanti, Ana; Zeyda, Frank; Wellings, Andy; Woodcock, Jim; Wei, Kun
3
2013
Optimal design of virtual links in AFDX networks. Zbl 1317.68019
Al Sheikh, Ahmad; Brun, Olivier; Chéramy, Maxime; Hladik, Pierre-Emmanuel
3
2014
Integrated end-to-end delay analysis for regulated ATM networks. Zbl 1020.68002
Ng, Joseph Kee-Yin; Song, Shibin; Zhao, Wei
2
2003
Voltage-clock scaling for low energy consumption in fixed-priority real-time systems. Zbl 1021.68014
Lee, Yann-Hang; Krishna, C. M.
2
2003
A Ravenscar-compliant run-time kernel for safety-critical systems. Zbl 1033.68026
Lundqvist, Kristina; Asplund, Lars
2
2003
How to verify a Safe real-time system: The application of model checking and timed automata to the production cell case study. Zbl 1033.68054
Burns, A.
2
2003
Fail-awareness: An approach to construct fail-safe systems. Zbl 1033.68008
Fetzer, Christof; Cristian, Flaviu
2
2003
Resource management middleware for dynamic, dependable real-time systems. Zbl 0989.68011
Ravindran, Binoy; Welch, Lonnie; Shirazi, Behrooz
2
2001
Flexible soft real-time processing in middleware. Zbl 1012.68027
Brandt, Scott A.; Nutt, Gary J.
2
2002
Computing periodic request functions to speed-up the analysis of non-cyclic task models. Zbl 1338.68042
Zeng, Haibo; Di Natale, Marco
2
2015
Global EDF scheduling for parallel real-time tasks. Zbl 1338.68041
Li, Jing; Luo, Zheng; Ferry, David; Agrawal, Kunal; Gill, Christopher; Lu, Chenyang
2
2015
Modeling control speculation for timing analysis. Zbl 1102.68015
Li, Xianfeng; Mitra, Tulika; Roychoudhury, Abhik
2
2005
Schedulability analysis of DAG tasks with arbitrary deadlines under global fixed-priority scheduling. Zbl 1436.68060
Fonseca, José; Nelissen, Geoffrey; Nélis, Vincent
2
2019
Stretching algorithm for global scheduling of real-time DAG tasks. Zbl 1436.68072
Qamhieh, Manar; George, Laurent; Midonnet, Serge
2
2019
A parallel branch-and-bound algorithm to compute a tighter tardiness bound for preemptive global EDF. Zbl 1436.68066
Leoncini, Mauro; Montangero, Manuela; Valente, Paolo
1
2019
The concept of maximal unschedulable deadline assignment for optimization in fixed-priority scheduled real-time systems. Zbl 1436.68076
Zhao, Yecheng; Zeng, Haibo
1
2019
Analysis techniques for supporting hard real-time sporadic gang task systems. Zbl 1436.68059
Dong, Zheng; Liu, Cong
1
2019
Delay-dependent partial order reduction technique for real time systems. Zbl 1484.68138
Boucheneb, Hanifa; Barkaoui, Kamel
2
2018
Enhancing timeliness and saving power in real-time databases. Zbl 1484.68059
Kang, Kyoung-Don
2
2018
Exact speedup factors and sub-optimality for non-preemptive scheduling. Zbl 1425.68045
Davis, Robert I.; Thekkilakattil, Abhilash; Gettings, Oliver; Dobrin, Radu; Punnekkat, Sasikumar; Chen, Jian-Jia
2
2018
An extensible framework for multicore response time analysis. Zbl 1398.68068
Davis, Robert I.; Altmeyer, Sebastian; Indrusiak, Leandro S.; Maiza, Claire; Nelis, Vincent; Reineke, Jan
2
2018
On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs. Zbl 1484.68035
Lesage, Benjamin; Griffin, David; Altmeyer, Sebastian; Cucu-Grosjean, Liliana; Davis, Robert I.
1
2018
An exact schedulability test for fixed-priority preemptive mixed-criticality real-time systems. Zbl 1425.68043
Asyaban, Sedigheh; Kargahi, Mehdi
1
2018
Response time analysis of digraph real-time tasks scheduled with static priority: generalization, approximation, and improvement. Zbl 1425.68047
Peng, Chao; Zeng, Haibo
1
2018
Energy-efficient real-time scheduling for two-type heterogeneous multiprocessors. Zbl 1425.68048
Thammawichai, Mason; Kerrigan, Eric C.
1
2018
A design flow for supporting component-based software development in multiprocessor real-time systems. Zbl 1436.68057
Biondi, Alessandro; Buttazzo, Giorgio; Bertogna, Marko
1
2018
On the ineffectiveness of \(1/m\)-based interference bounds in the analysis of global EDF and FIFO scheduling. Zbl 1398.68063
Biondi, Alessandro; Sun, Youcheng
1
2018
Online and offline scheduling with cache-related preemption delays. Zbl 1398.68075
Phavorin, Guillaume; Richard, Pascal; Goossens, Joël; Maiza, Claire; George, Laurent; Chapeaux, Thomas
1
2018
Verification and control of partially observable probabilistic systems. Zbl 1425.68266
Norman, Gethin; Parker, David; Zou, Xueyi
13
2017
Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: integrated analysis and evaluation. Zbl 1409.68054
Bril, Reinder J.; Altmeyer, Sebastian; van den Heuvel, Martijn M. H. P.; Davis, Robert I.; Behnam, Moris
5
2017
Real-time scheduling algorithm for safety-critical systems on faulty multicore environments. Zbl 1409.68061
Pathan, Risat Mahmud
2
2017
Schedulability analysis of Ethernet audio video bridging networks with scheduled traffic support. Zbl 1409.68051
Ashjaei, Mohammad; Patti, Gaetano; Behnam, Moris; Nolte, Thomas; Alderisi, Giuliana; Lo Bello, Lucia
2
2017
Parameter adaptation for generalized multiframe tasks: schedulability analysis, case study, and applications to self-suspending tasks. Zbl 1476.68032
Peng, Bo; Fisher, Nathan
2
2017
Mixed-criticality federated scheduling for parallel real-time tasks. Zbl 1423.68084
Li, Jing; Ferry, David; Ahuja, Shaurya; Agrawal, Kunal; Gill, Christopher; Lu, Chenyang
2
2017
Model predictive control under timing constraints induced by controller area networks. Zbl 1406.93123
Shi, Zhenwu; Zhang, Fumin
1
2017
Optimizing resource speed for two-stage real-time tasks. Zbl 1409.68060
Melani, Alessandra; Mancuso, Renato; Cullina, Daniel; Caccamo, Marco; Thiele, Lothar
1
2017
Deterministic delay analysis of AVB switched Ethernet networks using an extended trajectory approach. Zbl 1409.68034
Li, Xiaoting; George, Laurent
1
2017
Designing end-to-end resource reservations in predictable distributed embedded systems. Zbl 1476.68022
Ashjaei, Mohammad; Khalilzad, Nima; Mubeen, Saad; Behnam, Moris; Sander, Ingo; Almeida, Luis; Nolte, Thomas
1
2017
Timed-automata abstraction of switched dynamical systems using control invariants. Zbl 1425.68181
Bouyer, Patricia; Markey, Nicolas; Perrin, Nicolas; Schlehuber-Caissier, Philipp
1
2017
Attacking the one-out-of-\(m\) multicore problem by combining hardware management with mixed-criticality provisioning. Zbl 1423.68083
Kim, Namhoon; Ward, Bryan C.; Chisholm, Micaiah; Anderson, James H.; Smith, F. Donelson
1
2017
A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling. Zbl 1357.68024
Sun, Youcheng; Lipari, Giuseppe
4
2016
Combined task- and network-level scheduling for distributed time-triggered systems. Zbl 1352.68027
Craciunas, Silviu S.; Oliver, Ramon Serna
3
2016
Periodicity of real-time schedules for dependent periodic tasks on identical multiprocessor platforms. Zbl 1392.68121
Goossens, Joël; Grolleau, Emmanuel; Cucu-Grosjean, Liliana
3
2016
Schedulability analysis of a graph-based task model for mixed-criticality systems. Zbl 1351.68044
Ekberg, Pontus; Yi, Wang
2
2016
Cache related pre-emption delays in hierarchical scheduling. Zbl 1352.68029
Lunniss, Will; Altmeyer, Sebastian; Lipari, Giuseppe; Davis, Robert I.
2
2016
Using a lag-balance property to tighten tardiness bounds for global EDF. Zbl 1357.68025
Valente, Paolo
1
2016
Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems. Zbl 1357.68022
Massa, Ernesto; Lima, George; Regnier, Paul; Levin, Greg; Brandt, Scott
1
2016
Response time analysis for fixed priority real-time systems with energy-harvesting. Zbl 1352.68026
Abdeddaïm, Yasmina; Chandarli, Younès; Davis, Robert I.; Masson, Damien
1
2016
A framework for memory contention analysis in multi-core platforms. Zbl 1357.68020
Dasari, Dakshina; Nelis, Vincent; Akesson, Benny
1
2016
Federated scheduling admits no constant speedup factors for constrained-deadline DAG task systems. Zbl 1392.68116
Chen, Jian-Jia
1
2016
Combinatorial abstraction refinement for feasibility analysis of static priorities. Zbl 1343.68037
Stigge, Martin; Yi, Wang
8
2015
Graph-based models for real-time workload: a survey. Zbl 1337.68050
Stigge, Martin; Yi, Wang
4
2015
Scheduling algorithms to reduce the static energy consumption of real-time systems. Zbl 1334.68037
Legout, Vincent; Jan, Mathieu; Pautet, Laurent
3
2015
The limited-preemptive feasibility of real-time tasks on uniprocessors. Zbl 1330.68043
Thekkilakattil, Abhilash; Dobrin, Radu; Punnekkat, Sasikumar
3
2015
Computing periodic request functions to speed-up the analysis of non-cyclic task models. Zbl 1338.68042
Zeng, Haibo; Di Natale, Marco
2
2015
Global EDF scheduling for parallel real-time tasks. Zbl 1338.68041
Li, Jing; Luo, Zheng; Ferry, David; Agrawal, Kunal; Gill, Christopher; Lu, Chenyang
2
2015
Static probabilistic timing analysis for real-time systems using random replacement caches. Zbl 1334.68033
Altmeyer, Sebastian; Cucu-Grosjean, Liliana; Davis, Robert
2
2015
Cache-aware compositional analysis of real-time multicore virtualization platforms. Zbl 1343.68039
Xu, Meng; Phan, Linh Thi Xuan; Sokolsky, Oleg; Xi, Sisu; Lu, Chenyang; Gill, Christopher; Lee, Insup
2
2015
Exact comparison of fixed priority and EDF scheduling based on speedup factors for both pre-emptive and non-pre-emptive paradigms. Zbl 1337.68047
Davis, Robert I.; Burns, Alan; Baruah, Sanjoy; Rothvoß, Thomas; George, Laurent; Gettings, Oliver
2
2015
Multiprocessor real-time scheduling with arbitrary processor affinities: from practice to theory. Zbl 1338.68040
Gujarati, Arpan; Cerqueira, Felipe; Brandenburg, Björn B.
1
2015
Hard real-time guarantees in feedback-based resource reservations. Zbl 1330.68041
Papadopoulos, Alessandro Vittorio; Maggio, Martina; Leva, Alberto; Bini, Enrico
1
2015
Architecture aware semi partitioned real-time scheduling on multicore platforms. Zbl 1330.68042
Shekhar, Mayank; Ramaprasad, Harini; Sarkar, Abhik; Mueller, Frank
1
2015
Reliable social sensing with physical constraints: analytic bounds and performance evaluation. Zbl 1343.68038
Wang, Dong; Abdelzaher, Tarek; Kaplan, Lance; Ganti, Raghu; Hu, Shaohan; Liu, Hengchang
1
2015
Off-line mapping of multi-rate dependent task sets to many-core platforms. Zbl 1337.68049
Puffitsch, Wolfgang; Noulard, Eric; Pagetti, Claire
1
2015
Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. Zbl 1291.68075
Ekberg, Pontus; Yi, Wang
9
2014
Mixed-criticality scheduling on multiprocessors. Zbl 1291.68065
Baruah, Sanjoy; Chattopadhyay, Bipasa; Li, Haohan; Shin, Insik
5
2014
Optimal design of virtual links in AFDX networks. Zbl 1317.68019
Al Sheikh, Ahmad; Brun, Olivier; Chéramy, Maxime; Hladik, Pierre-Emmanuel
3
2014
Real-time scheduling with resource sharing on heterogeneous multiprocessors. Zbl 1291.68061
Andersson, Björn; Raravi, Gurulingesh
2
2014
Fair lateness scheduling: reducing maximum lateness in G-EDF-like scheduling. Zbl 1291.68077
Erickson, Jeremy P.; Anderson, James H.; Ward, Bryan C.
2
2014
Task assignment algorithms for two-type heterogeneous multiprocessors. Zbl 1291.68094
Raravi, Gurulingesh; Andersson, Björn; Nélis, Vincent; Bletsas, Konstantinos
2
2014
Static analysis of multi-core TDMA resource arbitration delays. Zbl 1291.68085
Kelter, Timon; Falk, Heiko; Marwedel, Peter; Chattopadhyay, Sudipta; Roychoudhury, Abhik
2
2014
Fault-tolerant and real-time scheduling for mixed-criticality systems. Zbl 1291.68091
Pathan, Risat Mahmud
2
2014
Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms. Zbl 1291.68064
Baruah, Sanjoy
1
2014
Compositional multiprocessor scheduling: the GMPR interface. Zbl 1291.68067
Burmyakov, Artem; Bini, Enrico; Tovar, Eduardo
1
2014
Criticality: static profiling for real-time programs. Zbl 1291.68066
Brandner, Florian; Hepp, Stefan; Jordan, Alexander
1
2014
Clairvoyance and online scheduling in real-time energy harvesting systems. Zbl 1291.68070
Chetto, Maryline; Queudet, Audrey
1
2014
Precautious-RM: a predictable non-preemptive scheduling algorithm for harmonic tasks. Zbl 1291.68089
Nasri, Mitra; Kargahi, Mehdi
1
2014
Stability of adaptive feedback-based resource managers for systems with execution time variations. Zbl 1317.68025
Rafiliu, Sergiu; Eles, Petru; Peng, Zebo
1
2014
Parameter synthesis for hierarchical concurrent real-time systems. Zbl 1314.68081
André, Étienne; Liu, Yang; Sun, Jun; Dong, Jin-Song
1
2014
Unified overhead-aware schedulability analysis for slot-based task-splitting. Zbl 1314.68095
Sousa, Paulo Baltarejo; Bletsas, Konstantinos; Tovar, Eduardo; Souto, Pedro; Åkesson, Benny
1
2014
A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets. Zbl 1314.68090
Lampka, Kai; Giannopoulou, Georgia; Pellizzoni, Rodolfo; Wu, Zheng; Stoimenov, Nikolay
1
2014
Multi-core real-time scheduling for generalized parallel task models. Zbl 1291.68096
Saifullah, Abusayeed; Li, Jing; Agrawal, Kunal; Lu, Chenyang; Gill, Christopher
11
2013
Assigning real-time tasks on heterogeneous multiprocessors with two unrelated types of processors. Zbl 1291.68093
Raravi, Gurulingesh; Andersson, Björn; Bletsas, Konstantinos
7
2013
Partitioned EDF scheduling on a few types of unrelated multiprocessors. Zbl 1291.68098
Wiese, Andreas; Bonifaci, Vincenzo; Baruah, Sanjoy
7
2013
Multiprocessor scheduling by reduction to uniprocessor: an original optimal approach. Zbl 1291.68095
Regnier, Paul; Lima, George; Massa, Ernesto; Levin, Greg; Brandt, Scott
5
2013
Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm. Zbl 1291.68081
Geeraerts, Gilles; Goossens, Joël; Lindström, Markus
4
2013
Schedulability analysis for controller area network (CAN) with FIFO queues priority queues and gateways. Zbl 1291.68074
Davis, Robert I.; Kollmann, Steffen; Pollex, Victor; Slomka, Frank
3
2013
Safety-critical Java programs from Circus models. Zbl 1285.68037
Cavalcanti, Ana; Zeyda, Frank; Wellings, Andy; Woodcock, Jim; Wei, Kun
3
2013
Design of a crossbar VOQ real-time switch with clock-driven scheduling for a guaranteed delay bound. Zbl 1291.68084
Kang, Kyungtae; Park, Kyung-Joon; Sha, Lui; Wang, Qixin
1
2013
Scheduling of hard real-time multi-phase multi-thread (MPMT) periodic tasks. Zbl 1291.68072
Courbin, Pierre; Lupu, Irina; Goossens, Joël
1
2013
Data cache organization for accurate timing analysis. Zbl 1291.68097
Schoeberl, Martin; Huber, Benedikt; Puffitsch, Wolfgang
1
2013
An optimal \(k\)-exclusion real-time locking protocol motivated by multi-GPU systems. Zbl 1291.68076
Elliott, Glenn A.; Anderson, James H.
1
2013
Resource augmentation for uniprocessor and multiprocessor partitioned scheduling of sporadic real-time tasks. Zbl 1291.68069
Chen, Jian-Jia; Chakraborty, Samarjit
1
2013
Scalable and precise refinement of cache timing analysis via path-sensitive verification. Zbl 1291.68068
Chattopadhyay, Sudipta; Roychoudhury, Abhik
1
2013
Partitioned EDF scheduling: a closer look. Zbl 1291.68063
Baruah, Sanjoy
1
2013
Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems. Zbl 1243.68094
Altmeyer, Sebastian; Davis, Robert I.; Maiza, Claire
12
2012
Partitioned EDF scheduling for multiprocessors using a \(C=D\) task splitting scheme. Zbl 1243.68101
Burns, A.; Davis, R. I.; Wang, P.; Zhang, F.
6
2012
Strictly periodic scheduling in IMA-based architectures. Zbl 1243.68126
Sheikh, Ahmad Al; Brun, Olivier; Hladik, Pierre-Emmanuel; Prabhu, Balakrishna J.
5
2012
Memory-centric scheduling for multicore hard real-time systems. Zbl 1291.68100
Yao, Gang; Pellizzoni, Rodolfo; Bak, Stanley; Betti, Emiliano; Caccamo, Marco
4
2012
Timing analysis of concurrent programs running on shared cache multi-cores. Zbl 1291.68087
Liang, Yun; Ding, Huping; Mitra, Tulika; Roychoudhury, Abhik; Li, Yan; Suhendra, Vivy
3
2012
A bandwidth allocation scheme for compositional real-time systems with periodic resources. Zbl 1243.68105
Fisher, Nathan; Dewan, Farhana
3
2012
Numerical analysis of worst-case end-to-end delay bounds in FIFO tandem networks. Zbl 1243.68100
Bisti, Luca; Lenzini, Luciano; Mingozzi, Enzo; Stea, Giovanni
3
2012
Laxity dynamics and LLF schedulability analysis on multiprocessor platforms. Zbl 1291.68086
Lee, Jinkyu; Easwaran, Arvind; Shin, Insik
2
2012
Analysis and implementation of the multiprocessor bandwidth inheritance protocol. Zbl 1291.68078
Faggioli, Dario; Lipari, Giuseppe; Cucinotta, Tommaso
2
2012
Instruction cache locking for multi-task real-time embedded systems. Zbl 1243.68117
Liu, Tiantian; Li, Minming; Xue, Chun Jason
2
2012
Globally scheduled real-time multiprocessor systems with GPUs. Zbl 1243.68104
Elliott, Glenn A.; Anderson, James H.
1
2012
FPSL, FPCL and FPZL schedulability analysis. Zbl 1291.68073
Davis, Robert I.; Kato, Shinpei
1
2012
Energy-optimal batching periods for asynchronous multistage data processing on sensor nodes: foundations and an mPlatform case study. Zbl 1243.68034
Wang, Dong; Abdelzaher, Tarek; Priyantha, Bodhi; Liu, Jie; Zhao, Feng
1
2012
Scheduling real-time divisible loads with advance reservations. Zbl 1243.68119
Mamat, Anwar; Lu, Ying; Deogun, Jitender; Goddard, Steve
1
2012
Maintaining data temporal consistency in distributed real-time systems. Zbl 1243.68130
Wang, Jiantao; Han, Song; Lam, Kam-Yiu; Mok, Aloysius K.
1
2012
State-based scheduling with tree schedules: analysis and evaluation. Zbl 1243.68095
Anand, Madhukar; Fischmeister, Sebastian; Lee, Insup; Phan, Linh T. X.
1
2012
Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. Zbl 1206.68063
Davis, Robert I.; Burns, Alan
20
2011
...and 145 more Documents
all top 5

Cited by 945 Authors

20 Baruah, Sanjoy K.
17 Davis, Robert I.
15 Anderson, James H.
11 Burns, Alan D.
11 Goossens, Joël
9 Fisher, Nathan Wayne
9 Fung, Stanley P. Y.
8 Lipari, Giuseppe
8 Marchetti-Spaccamela, Alberto
8 Nelissen, Geoffrey
8 Thiele, Lothar
7 Bini, Enrico
7 Bonifaci, Vincenzo
7 Chen, Jian-Jia
7 Junges, Sebastian
7 Lu, Chenyang
7 Pellizzoni, Rodolfo
6 Altmeyer, Sebastian A.
6 Bertogna, Marko
6 Bletsas, Konstantinos
6 Brandenburg, Björn B.
6 Lee, Insup
6 Yi, Wang
6 Zeng, Haibo
5 Andersson, Björn
5 Baker, Theodore P.
5 Devi, UmaMaheswari C.
5 Katoen, Joost-Pieter
5 Megow, Nicole
5 Nélis, Vincent
5 Schmid, Ulrich
4 Abdelzaher, Tarek F.
4 Agrawal, Kunal
4 Behnam, Moris
4 Buttazzo, Giorgio C.
4 Caccamo, Marco
4 Chakrabarti, Partha Pratim
4 Cho, Hyeonjoong
4 Easwaran, Arvind
4 Eberle, Franziska
4 Epstein, Leah
4 Jansen, Nils
4 Li, Jing
4 Li, Minming
4 Li, Zhiwu
4 Nasri, Mitra
4 Park, Seong-Jin
4 Pathan, Risat Mahmud
4 Richard, Pascal
4 Sarkar, Arnab Dey
4 Schewior, Kevin
4 Sokolsky, Oleg
4 Stein, Clifford
4 von der Brüggen, Georg
3 Åkesson, Benny
3 Blieberger, Johann
3 Brandt, Scott A.
3 Chakraborty, Samarjit
3 Chen, Lin
3 Chin, Francis Y. L.
3 Cho, Kwang-Hyun
3 Cucinotta, Tommaso
3 Cuenca, Ángel
3 Di Natale, Marco
3 Dongol, Brijesh
3 Eles, Petru
3 Furfaro, Angelo
3 George, Laurent
3 Ghose, Sujoy
3 Gujarati, Arpan
3 Hanzálek, Zdeněk
3 Hayes, Ian J.
3 Jensen, E. Douglas
3 Leontyev, Hennadiy
3 Levin, Asaf
3 Levin, Greg
3 Lime, Didier
3 Maggio, Martina
3 Maiza, Claire
3 Moseley, Benjamin
3 Nigro, Libero
3 Nolte, Thomas
3 Papadopoulos, Alessandro Vittorio
3 Peng, Zebo
3 Poon, Chung Keung
3 Raravi, Gurulingesh
3 Ravindran, Binoy
3 Reineke, Jan
3 Roux, Olivier H.
3 Roychoudhury, Abhik
3 Salt, Julián
3 Schmidt, Douglas C.
3 Shin, Insik
3 Stougie, Leen
3 Tovar, Eduardo
3 Woodcock, James C. P.
3 Yang, Jung-Min
3 Zhang, Fengxiang
3 Zhao, Yecheng
3 Zheng, Feifeng
...and 845 more Authors
all top 5

Cited in 77 Journals

217 Real-Time Systems
19 Theoretical Computer Science
9 Journal of Computer and System Sciences
9 Algorithmica
9 Formal Methods in System Design
8 Automatica
8 Journal of Scheduling
7 Information Processing Letters
6 Information and Computation
5 Computing
5 Formal Aspects of Computing
5 Journal of Parallel and Distributed Computing
5 Discrete Event Dynamic Systems
4 International Journal of Control
4 Information Sciences
4 International Journal of Foundations of Computer Science
4 European Journal of Operational Research
4 Mathematical Programming. Series A. Series B
4 International Journal of Systems Science. Principles and Applications of Systems and Integration
3 International Journal of Systems Science
3 International Journal of Adaptive Control and Signal Processing
3 Journal of Computer and Systems Sciences International
3 International Transactions in Operational Research
3 International Journal of Applied Mathematics and Computer Science
2 Artificial Intelligence
2 International Journal of Parallel Programming
2 Mathematical Structures in Computer Science
2 Mathematical Problems in Engineering
2 Journal of Combinatorial Optimization
2 The Journal of Logic and Algebraic Programming
2 Journal of Discrete Algorithms
1 ACM Computing Surveys
1 Acta Informatica
1 Discrete Applied Mathematics
1 Journal of the Franklin Institute
1 Applied Mathematics and Computation
1 Archiv der Mathematik
1 Moscow University Computational Mathematics and Cybernetics
1 Science of Computer Programming
1 Operations Research Letters
1 International Journal of Production Research
1 Optimization
1 Journal of Symbolic Computation
1 Journal of Computer Science and Technology
1 International Journal of Approximate Reasoning
1 Mathematical and Computer Modelling
1 Annals of Operations Research
1 International Journal of Computer Mathematics
1 Distributed Computing
1 International Journal of Robust and Nonlinear Control
1 Advances in Engineering Software
1 Archives of Control Sciences
1 Applied Mathematics. Series B (English Edition)
1 The Journal of Artificial Intelligence Research (JAIR)
1 ACM Transactions on Modeling and Computer Simulation
1 European Journal of Control
1 Theory of Computing Systems
1 Journal of the ACM
1 Mathematical and Computer Modelling of Dynamical Systems
1 Fundamenta Informaticae
1 Optimization and Engineering
1 Computer Languages, Systems & Structures
1 Journal of Applied Logic
1 Journal of Control Theory and Applications
1 Discrete Optimization
1 Science in China. Series F
1 Mathematics in Computer Science
1 Optimization Letters
1 Computational & Mathematical Methods in Medicine
1 Discrete Mathematics, Algorithms and Applications
1 Algorithms
1 Advances in Operations Research
1 Advances in Fuzzy Systems
1 ACM Transactions on Algorithms
1 Asian Journal of Control
1 Computer Science Review
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year