Real-Time SystemsThe 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 all top 5 Fields 408 Computer science (68-XX) 27 General and overarching topics; collections (00-XX) 22 Systems theory; control (93-XX) 13 Operations research, mathematical programming (90-XX) 2 Numerical analysis (65-XX) 1 Statistics (62-XX) 1 Mechanics of particles and systems (70-XX) 1 Optics, electromagnetic theory (78-XX) 1 Relativity and gravitational theory (83-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 12 Fields 399 Computer science (68-XX) 100 Operations research, mathematical programming (90-XX) 60 Systems theory; control (93-XX) 12 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Combinatorics (05-XX) 6 Mathematical logic and foundations (03-XX) 4 Probability theory and stochastic processes (60-XX) 4 Numerical analysis (65-XX) 2 Information and communication theory, circuits (94-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Convex and discrete geometry (52-XX) 1 Mechanics of particles and systems (70-XX) Citations by Year