210. Keralapura R, Cormode G, Ramamirtham J (2006) Communication-efficient distributed monitoring of thresholded counts. In: Proceedings of the 2006 ACM SIGMOD Int’l conference on management of data (SIGMOD’06). ACM, pp 289–300

211. KeY (2017) https://www.key-project.org/applications/program-verification

212. Kim ES, Sadraddini S, Belta C, Arcak M, Seshia SA (2017) Dynamic contracts for distributed temporal logic control of traffic networks. In: Proceedings of the IEEE 56th annual conference on decision and control (CDC’17). IEEE, pp 3640–3645

213. Kong S, Gao S, Chen W, Clarke E (2015) dReach: δ-reachability analysis for hybrid systems. In: Proceedings of the 21st Int’l conference on tools and algorithms for the construction and analysis of systems (TACAS’15), volume 9035 of LNCS. Springer, pp 200–205

214. Koymans R (1990) Specifying real-time properties with metric temporal logic. Real Time Syst 2(4):255–299

215. Kuhn T (2014) A survey and classification of controlled natural languages. J Comput Linguist 40(1):121–170

216. Kuhtz L, Finkbeiner B (2009) LTL path checking is efficiently parallelizable. In: Proceedings of the 36th Int’l colloquium on automata, languages and programming (ICALP’09): Part II, volume 5556 of LNCS. Springer, pp 235–246

217. Kuhtz L, Finkbeiner B (2012) Efficient parallel path checking for linear-time temporal logic with past and bounds. Log Methods Comput Sci 8(4):1–24

218. Lamport L (1978) Time, clocks, and the ordering of events in a distributed system. Commun ACM 21(7):558–565

219. Lamport L (1998) The part-time parliament. ACM Trans Comput Syst 16(2):133–169

220. Le Guernic G, Banerjee A, Jensen TP, Schmidt DA (2006) Automata-based confidentiality monitoring. In: Proceedings of the 11th Asian computing science conference—secure software and related issues (ASIAN’06), volume 4435 of LNCS. Springer

221. Lee JC, Gardnerd AS, Lysecky R (2011) Hardware observability framework for minimally intrusive online monitoring of embedded systems. Proceedings 18th international conference on engineering of computer based systems (ECBS’11). IEEE Computer Sociery, Las Vegas, USA, pp 52–60

222. Lee JC, Lysecky R (2015) System-level observation framework for non-intrusive runtime monitoring of embedded systems. ACM Trans Des Autom Electron Syst 20(42):42:1–42:27

223. Lessig L (1999) Code and other laws of cyberspace. Basic Books, New York

224. Leucker M, Sánchez C (2007) Regular linear temporal logic. In: Proceedings of The 4th Int’l colloquium on theoretical aspects of computing (ICTAC’07), volume 4711 of LNCS. Springer, pp 291–305

225. Leucker M, Schallhart C (2009) A brief account of runtime verification. J Logi Algebraic Program 78(5):293–303

226. Liskov B, Ghemawat S, Gruber R, Johnson P, Shrira L, Williams M (1991) Replication in the harp file system. In: Proceedings of the 13th ACM symposium on operating systems principles (SOSP’91). ACM, pp 226–238

227. Lomet DB (1977) Process structuring, synchronization, and recovery using atomic actions. SIGSOFT Softw Eng Notes 2(2):128–137

228. Lomuscio A, Sergot MJ (2003) Deontic interpreted systems. Studia Logica 75(1):63–92

229. Loreti D, Chesani F, Ciampolini A, Mello P (2017) Distributed compliance monitoring of business processes over MapReduce architectures. In: Proceedings of the 8th ACM/SPEC Int’l conference on performance engineering companion (ICPE’17). ACM, pp 79–84

230. Lourenço JM, Dias RJ, Luís J, Rebelo M, Pessanha V (2009) Understanding the behavior of transactional memory applications. In: Proceedings of the 7th workshop on parallel and distributed systems: testing, analysis, and debugging (PADTAD’09). ACM, Chicago, Illinois, pp 31–39

231. Luckham DC (2005) The power of events–an introduction to complex event processing in distributed enterprise systems. ACM, New York

232. Lundqvist T, Stenstrom P (1999) Timing anomalies in dynamically scheduled microprocessors. In: Proceedings of the 20th IEEE real-time systems symposium (RTSS’99). IEEE Computer Society

233. Luo Q, Roşu G (2013) EnforceMOP: A runtime property enforcement system for multithreaded programs. In: Proceedings of the 2013 Int’l symposium on software testing and analysis (ISSTA’13). ACM, pp 156–166

234. Maler O, Nickovic D (2004) Monitoring temporal properties of continuous signals. In: Proceedings of the joint Int’l conferences on formal modelling and analysis of timed systems (FORMATS’04) and formal techniques in real-time and fault-tolerant systems (FTRTFT’04), volume 3253 of LNCS. Springer, pp 152–166

235. Maler O, Nickovic D (2013) Monitoring properties of analog and mixed-signal circuits. STTT 15(3):247–268
236. Manjhi A, Shkapenyuk V, Dhamdhere K, Olston C (2005) Finding (recently) frequent items in distributed data streams. In: Proceedings of the 21st Int’l conference on data engineering (ICDE’05). IEEE Computer Society, Washington, DC, USA, pp 767–778

237. Margara A, Cugola G (2011) Processing flows of information: from data stream to complex event processing. In: Proceedings of the 5th ACM Int’l conference on distributed event-based systems (DEBS’11). ACM, pp 359–360

238. Meyer B (1992) Eiffel: the language. Prentice Hall, Upper Saddle River

239. Mims C (2017) All IT jobs are cybersecurity jobs now. Wall Street J. https://www.wsj.com/articles/all-it-jobs-are-cybersecurity-jobs-now-1495364418

240. Misra J, Gries D (1982) Finding repeated elements. Sci Comput Program 2(2):143–152

241. Mittal N, Sen A, Garg VK (2007) Solving computation slicing using predicate detection. IEEE Trans Parallel Distrib Syst (TPDS) 18(12):1700–1713

242. Molina-Jiménez C, Shrivastava SK (2013) Establishing conformance between contracts and choreographies. In: Proceedings of the IEEE 15th conference on business informatics (CBI’13). IEEE Computer Society, pp 69–78

243. Morris R (1978) Counting large numbers of events in small registers. Commun ACM 21(10):840–842

244. Mozafari B (2017) Approximate query engines: commercial challenges and research opportunities. In: Proceedings of the 2017 ACM Int’l conference on management of data (SIGMOD’17). ACM, pp 521–524

245. Mozafari B, Ramnarayan J, Menon S, Mahajan Y, Chakraborty S, Bhanawat H, Bachhav K (2017) Snappydata: a unified cluster for streaming, transactions and interactice analytics. In: Proceedings of the 8th biennial conference on innovative data systems research (CIDR’17)

246. Murray DG, McSherry F, Isaacs R, Isard M, Barham P, Abadi M (2013) Naiad: a timely dataflow system. In: ACM SIGOPS 24th symposium on operating systems principles, SOSP ’13, Farmington, PA, USA, November 3–6, 2013, pp 439–455

247. Nakamoto S (2008) Bitcoin: A peer-to-peer electronic cash system. Bitcoin.org

248. Nam TH (2017) Cache memory aware priority assignment and scheduling simulation of real-time embedded systems. PhD thesis, Université de Bretagne Occidentale, Brest, France

249. Nazarpour H, Falcone Y, Bensalem S, Bozga M (2017) Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Formal Asp Comput 29(6):951–986

250. Nelson J (2012) Sketching and streaming algorithms for processing massive data. ACM Crossroads 19(1):14–19

251. Nenzi L, Bortolussi L, Ciancia V, Loreti M, Massink M (2015) Qualitative and quantitative monitoring of spatio-temporal properties. In: Proceedings of the 6th Int’l conference on runtime verification (RV’15), volume 9333 of LNCS. Springer, pp 21–37

252. Nghiem T, Sankaranarayanan S, Fainekos GE, Ivancic F, Gupta A, Pappas GJ (2010) Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. In: Proceedings of the 13th ACM Int’l conference on hybrid systems: computation and control (HSCC’10). ACM, pp 211–220

253. Nguyen T, Bartocci E, Ničković D, Grosu R, Jaksic S, Selyunin K (2016) The HARMONIA project: hardware monitoring for automotive systems-of-systems. In: Proceedings of 7th Int’l symposium on leveraging applications of formal methods, verification and validation (ISoLA’16), volume 9953 of LNCS. Springer, pp 371–379

254. Nickovic D, Lebeltel O, Maler O, Ferrere T (2018) AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. In: Proceedings of the Int’l conference on tools and algorithms for the construction and analysis of systems (TACAS’18), volume 10806 of LNCS. Springer, pp 303–319

255. Orme W (2008) Debug and trace for multicore SoCs: How to build an efficient and effective debug and trace system for complex, multicore SoCs. ARM White paper

256. Orosa L, Lourenço JM (2016) A hardware approach for detecting, exposing and tolerating high level atomicity violations. In: Proceedings of the 24th Euromicro Int’l conference on parallel, distributed, and network-based processing (PDP’16). IEEE Computer Society, pp 159–167

257. Pace GJ, Schneider G (2009) Challenges in the specification of full contracts. In: Proceedings of the 7th Int’l conference on integrated formal methods (IFM’09), volume 5423 of LNCS. Springer, pp 292–306

258. Pant YV, Abbas H, Mangharam R (2017) Smooth operator: control using the smooth robustness of temporal logic. In: Proceedings of the 2017 IEEE conference on control technology and applications (CCTA’17). IEEE, pp 1235–1240

259. Pardo R, Colombo C, Pace G, Schneider G (2016) An automata-based approach to evolving privacy policies for social networks. In: Proceedings of the 16th Int’l conference on runtime verification (RV’16), volume 10012 of LNCS. Springer, pp 285–301
260. Pardo R, Kellyérová I, Sánchez C, Schneider G (2016) Specification of evolving privacy policies for online social networks. In: Proceedings of the 23rd international symposium on temporal representation and reasoning (TIME’16). IEEE Computer Society, pp 70–79

261. Pardo R, Sánchez C, Schneider G (2018) Timed epistemic knowledge bases for social networks. In: Proceedings of the 22nd Int’l symposium on formal methods (FM’18), volume 10951 of LNCS. Springer, pp 185–202

262. Pardo R, Schneider G (2014) A formal privacy policy framework for social networks. In: 12th International conference on software engineering and formal methods (SEFM’14), volume 8702 of LNCS. Springer, pp 378–392

263. Passmore GO, Ignatovich D (2017) Formal verification of financial algorithms. In: Proceedings of the 26th Int’l conference on automated deduction (CADE’17), volume 10395 of LNCS. Springer, pp 26–41

264. Patel P, Bansal D, Yuan L, Murthy A, Greenberg A, Maltz DA, Kern R, Kumar H, Zikos M, Wu H, Kim C, Karri N (2013) Ananta: cloud scale load balancing. In: Proceedings of the ACM SIGCOMM 2013 conference (SIGCOMM ’13), SIGCOMM ’13. ACM, pp 207–218

265. Pellizzoni R, Meredith P, Caccamo M, Rosu G (2008) Hardware runtime monitoring for dependable COTS-based real-time embedded systems. In: Proceedings of the IEEE real-time systems symposium (RTSS’08). IEEE Computer Society, pp 481–491

266. Phan LTX, Lee I, Sokolsky O (2011) A semantic framework for mode change protocols. In: Proceedings of the 17th IEEE real-time and embedded technology and applications symposium (RTAS’11). IEEE Computer Society, pp 91–100

267. Picazo-Sánchez P, Schneider G, Tapiador J (2019) After you, please: browser extensions order attacks and countermeasures. CoRR - arXiv.org. https://arxiv.org/abs/1908.02205

268. Pike L, Niller S, Wegmann N (2011) Runtime verification for ultra-critical systems. In: Proceedings of the 2nd Int’l conference on runtime verification (RV’11), volume 7186 of LNCS. Springer, pp 310–324

269. Pinisetty S, Sands D, Schneider G (2018) Runtime verification of hyperproperties for deterministic programs. In: Proceedings of the 6th Int’l conference on formal methods in software engineering (FormalISE’18). ACM

270. Pinto RC, Rufino J (July 2014) Towards non-invasive runtime verification of real-time systems. In: Proceedings of the 26th Euromicro conference on real-time systems—WIP session. Euromicro, pp 25–28

271. Pnueli A, Zaks A (2006) PSL model checking and run-time verification via testers. In: Proceedings of the 14th Int’l symposium on formal methods (FM’06), volume 4085 of LNCS. Springer, pp 573–586

272. Prakken H, Sartor G (2013) Formalising arguments about norms. In: Proceedings of the 26th annual conference on legal knowledge and information systems (JURIX’13), volume 259 of Frontiers in artificial intelligence and applications. IOS Press, pp 121–130

273. Prisacariu C, Schneider G (2012) A dynamic deontic logic for complex contracts. J Log Algebraic Program 81(4):458–490

274. Prybila C, Schulte S, Hochreiner C, Weber I (2017) Runtime verification for business processes utilizing the Bitcoin Blockchain. CoRR. arXiv:1706.04404

275. Rahmatian M, Kooti H, Harris IG, Bozorgzadeh E (2012) Adaptable intrusion detection using partial run-time reconfiguration. In: Proceedings of the IEEE 30th Int’l conference on computer design (ICCD’12). IEEE Computer Society, pp 147–152

276. Raman V, Donzé A, Maasoumy M, M RM, Sangiovanni-Vincentelli A, Seshia SA (2014) Model predictive control with signal temporal logic specifications. In: Proceedings of the 53rd annual conference on decision and control (CDC’14). IEEE, pp 81–87

277. Raman V, Donzé A, Sadigh D, Murray RM, Seshia SA (2015) Reactive synthesis from signal temporal logic specifications. In: Proceedings HSCC’15: the 18th international conference on hybrid systems: computation and control. ACM, pp 239–248

278. Ravichandran K, Gavrilovska A, Pande S (2014) DeSTM: harnessing determinism in STMs for application development. In: Proceedings of the Int’l conference on parallel architectures and compilation (PACT). ACM, pp 213–224

279. Reger G, Rydeheard D (2015) From first-order temporal logic to parametric trace slicing. In: Proceedings of the 6th Int’l conference on runtime verification (RV’15), LNCS. Springer, pp 216–232

280. Reinbacher T, Fugger M, Brauer J (2014) Runtime verification of embedded real-time systems. Formal Methods Syst Des 24(3):203–239

281. Reinbacher T, Rozier KY, Schumann J (2014) Temporal-logic based runtime observer pairs for system health management of real-time systems. In: Proceedings 20th international conference on tools and algorithms for the construction and analysis of systems (TACAS’14), volume 8413 of LNCS. Springer, pp 357–372

282. Reinders J (2013) Intel processor tracing. Intel Corporation, Santa Clara
283. Reliable smart contracts: State-of-the-art, applications, challenges and future directions. http://www.isp.uni-luebeck.de/Isola2018-SmartContracts. ISoLA'18 track (http://www.isola-conference.org/isola2018/tracks.html)

284. Rizk A, Batt G, Fages F, Soliman S (2008) On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology. In: Proceedings of the 6th Int'l conference on computational methods in systems biology (CMSB'08), volume 5307 of LNCS. Springer, pp 251–268

285. Rodionova A, Bartocci E, Ničković D, Grosu R (2016) Temporal logic as filtering. In: Proceedings of HSCC 2016: the 19th International conference on hybrid systems: computation and control. ACM, pp 11–20

286. Rufino J (2016) Towards integration of adaptability and non-intrusive runtime verification in avionic systems. ACM SIGBED Rev 13(1):60–65 (Special Issue on 5th Embedded Operating Systems Workshop)

287. Rufino J, Gouveia I (July 2016) Timeliness runtime verification and adaptation in avionic systems. In: Proceedings of the 12th workshop on operating systems platforms for embedded real-time applications (OSPERT'16). Euromicro, Toulouse, France, pp 14–20

288. RuleML conferences. http://2018.ruleml-rr.org

289. Russo A, Sabelfeld A (2010) Dynamic vs. static flow-sensitive security analysis. In: Proceedings of the 23rd IEEE computer security foundations symposium (CSF'10). IEEE Computer Society, pp 186–199

290. Sabelfeld A, Myers AC (2003) Language-based information-flow security. J Sel Areas Commun 21(1):5–19

291. Saini A, Gaur MS, Laxmi V, Conti M (2016) Colluding browser extension attack on user privacy and its implication for web browsers. Comput Secur 63:14–28

292. Salem MB, Hershkop S, Stolfo SJ (2008) A survey of insider attack detection research. In: Insider attack and cyber security—beyond the hacker. Springer, pp 69–90

293. Sánchez C, Leucker M (2010) Regular linear temporal logic with past. In: Proceedings of the 11th Int'l conference on verification, model checking, and abstract interpretation, (VMCAI'10), volume 5944 of LNCS. Springer, pp 295–311

294. Santos JF, Jensen T, Rezk T, Schmitt A (2015) Hybrid Typing of Secure Information Flow in a JavaScript-like Language. In: Proceedings of the 10th Int'l symposium on on trustworthy global computing (TGC'15), volume 9533 of LNCS. Springer

295. Schneider FB (1990) Implementing fault-tolerant services using the state machine approach: a tutorial. ACM Comput Surv 22(4):299–319

296. Schultz-Møller NP, Migliavacca M, Pietzuch P (2009) Distributed complex event processing with query rewriting. In: Proceedings of the 3rd ACM Int'l conference on distributed event-based systems (DEBS'09). ACM, pp 4:1–4:12

297. Selyunin K, Jaksic S, Nguyen T, Reidl C, Hafner U, Bartocci E, Nickovic D, Grosu R (2017) Runtime monitoring with recovery of the SENT communication protocol. In: Proceedings of the 29th Int'l conference on computer aided verification (CAV'17), volume 10426 of LNCS. Springer, pp 336–355

298. Sen K, Vardhan A, Agha G, Rosu G (2004) Efficient decentralized monitoring of safety in distributed systems. In: Proceedings of 26th Int'l conference on software engineering (ICSE 2004). IEEE CS Press, pp 418–427

299. Shabtai A, Elovici Y, Rokach L (2012) A survey of data leakage detection and prevention solutions. Springer briefs in computer science. Springer, Berlin

300. Shekita JREJ, Tata S (2011) Using Paxos to build a scalable, consistent, and highly available datastore. Proc VLDB Endow 4(4):243–254

301. Shobaki ME, Lindh L (2001) A hardware and software monitor for high-level system-on-chip verification. In: Proceedings of the 2nd IEEE Int'l symposium on quality electronic design (ISQED 2001). pp 56–61

302. Spoth W, Arab BS, Chan ES, Dieter G, Ghoneimy A, Glavic B, Hammerschmidt B, Kennedy O, Lee S, Liu ZH, Niu X, Yang Y (2017) Adaptive schema databases. In: Proceedings of the 8th biennial Int'l on innovative data systems research (CIDR'17). CIDRDB

303. Stoller SD, Bartocci E, Seyster J, Grosu R, Havelund K, Smolka SA, Zadok E (2011) Runtime verification with state estimation. In: Proceedings of the 2nd Int'l conference on runtime verification (RV'11), volume 7186 of LNCS. Springer, pp 193–207

304. Suiche M (2017) WannaCry—the largest ransom-ware infection in history. https://blog.comae.io/wannacry-the-largest-ransom-ware-infection-in-history-f37da8e30a58

305. Szabo N (1996) Smart contracts: building blocks for digital markets. Extropy 16

306. Todman T, Stilkerich S, Luk W (2015) In-circuit temporal monitors for runtime verification of reconfigurable designs. In: Proceedings of the 52nd annual design automation conference (DAC'15). ACM, pp 50:1–50:6
307. Tsankov P, Marinovic S, Dashti MT, Basin DA (2014) Decentralized composite access control. In: Abadi M, Kremer S (eds) Proceedings of the 3rd Int’l conference principles of security and trust (POST’14), volume 8414 of LNCS. Springer, pp 245–264

308. Ulus D, Ferrère T, Asarin E, Maler O (2014) Timed pattern matching. In: Proceedings of the 12th Int’l conference on Formal modeling and analysis of timed systems (FORMATS’14), volume 8711 of LNCS. Springer, pp 222–236

309. Ulus D, Ferrère T, Asarin E, Maler O (2016) Online timed pattern matching using derivatives. In: Proceedings of TACAS’16, volume 9636 of LNCS. Springer, Berlin, Germany, pp 736–751

310. Vachharajani N, Bridges MJ, Chang J, Rangan R, Ottoni G, Blome JA, Reis GA, Vachharajani M, August DI (2004) Rifle: An architectural framework for user-centric information-flow security. In: Proceedings of the 37th Int’l symposium on microarchitecture (MICRO’04). IEEE Computer Society, pp 243–254

311. Vale TM, Silva JA, Dias RJ, Lourenço JM (2016) Pot: Deterministic transactional execution. ACM Trans Arch Code Optim 13(4):52:1–52:24

312. van der Aalst WMP (2012) Distributed process discovery and conformance checking. In Proceedings of the 15th Int’l conference on fundamental approaches to software engineering (FASE’12), volume 7212 of LNCS. Springer, Berlin, Heidelberg, pp 1–25

313. Vardi MY (2008) From Church and Prior to PSL. In: 25 Years of model checking—history, achievements, perspectives, volume 5000 of LNCS. Springer, pp 150–171

314. Viswanathan M (2000) Foundations for the run-time analysis of software systems. PhD thesis, University of Pennsylvania

315. Volpano D, Irvine C, Smith G (1996) A sound type system for secure flow analysis. J Comput Secur 4(2–3):167–187

316. Watterson C, Heffernan D (2007) Runtime verification and monitoring of embedded systems. IET Softw 1(5):172–179

317. Weber I, Xu X, Riveret R, Governatori G, Ponomarev A, Mendling J (2016) Untrusted business process monitoring and execution using Blockchain. In: Proceedings of the 14th Int’l conference on business process management (BPM’16), volume 9850 of LNCS. Springer, pp 329–347

318. Weil SA, Brandt SA, Miller EL, Long DDE, Maltzahn C (2006) Ceph: a scalable, high-performance distributed file system. In: Proceedings of the 7th symposium on operating systems design and implementation (OSDI’06), OSDI ’06. USENIX Association, pp 307–320

319. White W, Riedewald M, Gehrke J, Demers A (2007) What is “next” in event processing?. In: Proceedings of the 26th ACM SIGMOD-SIGACT-SIGART symposium on principles of database systems (PODS’07). ACM, New York, NY, USA, pp 263–272

320. Wilhelm R, Engblom J, Ermedahl A, Holsti N, Thesing S, Whalley D, Bernat G, Ferdinand C, Heckmann R, Mitra T, Mueller F, Puaut I, Puschner P, Staschulat J, Stenstrom P (2008) The worst-case execution time problem—overview of methods and survey of tools. ACM Trans Embed Comput Syst 7(3):36

321. Wongpiromsarn T, Topcu U, Murray RM (2012) Receding horizon temporal logic planning. IEEE Trans Autom Control 57(11):2817–2830

322. Wood G (2014) Ethereum: A secure decentralised generalised transaction ledger. Ethereum Project Yellow Paper 151:1–32

323. Woodruff DP, Zhang Q (2012) Tight bounds for distributed functional monitoring. In: Proceedings of the 44th annual acm symposium on theory of computing (STOC’12). ACM, pp 941–960

324. Wright GHV (1951) Deontic logic. Mind 60:1–15

325. WSLA. www.research.ibm.com/wsla/

326. Wyner AZ (2015) From the language of legislation to executable logic programs. In: Logic in the theory and practice of lawmaking, volume 2 of legisprudence library. Springer, pp 409–434

327. Wyner AZ, Angelov K, Barzdins G, Damljanovic D, Davis B, Fuchs NE, Höfler S, Jones K, Kaljurand K, Kuhn T (2009) On controlled natural languages: properties and prospects. In: CNL’09, volume 5972 of LNCS. Springer, pp 281–289

328. Xiaoqing J, Donzé A, Deshmukh JV, Seshia SA (2013) Mining Requirements from closed-loop control models. In: Proceedings of the ACM international conference on hybrid systems: computation and control (HSCC’13). ACM, pp 43–52

329. Xie C, Su C, Kapritsos M, Wang Y, Yaghmazadeh N, Alvisi L, Mahajan P (2014) Salt: combining ACID and BASE in a distributed database. In: Proceedings of the 11th USENIX conference on operating systems design and implementation (OSDI’14). USENIX Association, pp 495–509

330. Xie C, Su C, Littley C, Alvisi L, Kapritsos M, Wang Y (2015) High-performance ACID via modular concurrency control. In: Proceedings of the 25th symposium on operating systems principles (SOSP’15). ACM, pp 279–294

331. Yaghoubi S, Fainekos G (2017) Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems. In: Proceedings the 2017 American control conference (ACC’17). IEEE, pp 529–534
332. Yang H, Hoxha B, Fainekos G (2012) Querying parametric temporal logic properties on embedded systems. In: Proceedings of the 24th IFIP WG 6.1 Int'l conference on testing software and systems (ICTSS'12), volume 7641 of LNCS. Springer, pp 136–151

333. Yang J, Hance T, Austin TH, Solar-Lezama A, Flanagan C, Chong S (June 2016) Precise, dynamic information flow for database-backed applications. In: Proceedings of the 37th ACM SIGPLAN conference on programming language design and implementation (PLDI'16). ACM, pp 631–647

334. Ye Y, Li T, Adjjeroh D, Iyengar SS (2017) A survey on malware detection using data mining techniques. ACM Comput Surv 50(3):41:1–41:40

335. Yi K, Zhang Q (2013) Optimal tracking of distributed heavy hitters and quantiles. Algorithmica 65(1):206–223

336. Yu B, Duan Z, Tian C, Zhang N (2017) Verifying temporal properties of programs: a parallel approach. J Parallel Distrib Comput 118:89–99

337. Zaharia M, Chowdhury M, Franklin MJ, Shenker S, Stoica I (2010) Spark: Cluster computing with working sets. In: Proceedings of the 2nd USENIX Workshop on hot topics in cloud computing (HotCloud'10). USENIX Association

**Publisher's Note** Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Affiliations

César Sánchez¹ · Gerardo Schneider² · Wolfgang Ahrendt³ · Ezio Bartocci⁴ ·

Domenico Bianculli⁵ · Christian Colombo⁶ · Yliès Falcone⁷ · Adrian Francalanza⁶ ·

Srdan Krstić⁸ · João M. Lourenço⁹ · Dejan Nickovic¹⁰ · Gordon J. Pace⁶ ·

Jose Rufino¹¹ · Julien Signoles¹² · Dmitriy Traytel⁸ · Alexander Weiss¹³

1. IMDEA Software Institute, Madrid, Spain

2. University of Gothenburg, Göteborg, Sweden

3. Chalmers University of Technology, Göteborg, Sweden

4. TU Wien, Vienna, Austria

5. University of Luxembourg, Luxembourg City, Luxembourg

6. University of Malta, Msida, Malta

7. Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, 38000 Grenoble, France

8. ETH Zürich, Zurich, Switzerland

9. Universidade Nova de Lisboa, Lisbon, Portugal

10. Austrian Institute of Technology, Seibersdorf, Austria

11. Universidade de Lisboa, Lisbon, Portugal

12. CEA LIST, Software Reliability and Security Lab, Palaiseau, France

13. Accemic Technologies GmbH, Kiefersfelden, Germany