Cargando…

Runtime verification: 17th international conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, proceedings

Detalles Bibliográficos
Autores principales:	Lahiri, Shuvendu, Reger, Giles
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2017
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2764247

Ejemplares similares

Runtime verification: 16th international conference, RV 2016, Madrid, Spain, September 23-30, 2016, proceedings
por: Falcone, Yliès, et al.
Publicado: (2016)

Runtime verification: 6th international conference, RV 2015, Vienna, Austria, September 22-25, 2015 proceedings
por: Bartocci, Ezio, et al.
Publicado: (2015)

Specification of temporal properties of functions for runtime verification
por: Dawes, Joshua Heneage, et al.
Publicado: (2019)

Proceedings of the 4th Biennial Conference of the Society for Implementation Research Collaboration (SIRC) 2017: implementation mechanisms: what makes implementation work and why? part 2: Seattle, WA, USA. September 7-9, 2017
Publicado: (2018)

Runtime verification: 19th international conference, RV 2019, Porto, Portugal, October 8-11, 2019, proceedings
por: Finkbeiner, Bernd, et al.
Publicado: (2019)

Runtime verification: 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedings
por: Colombo, Christian, et al.
Publicado: (2018)

Automated technology for verification and analysis: 16th international symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, proceedings
por: Lahiri, Shuvendu K, et al.
Publicado: (2018)

117th Annual Meeting Medical Library Association, Inc. Seattle, WA May 26–31, 2017
por: Mitchell, Nicole
Publicado: (2018)

On Benchmarking for Concurrent Runtime Verification
por: Aceto, Luca, et al.
Publicado: (2021)

Highlights of the Conference on Retroviruses and Opportunistic Infections, 4–9 March 2019, Seattle, WA, USA
por: Psomas, Christina K, et al.
Publicado: (2019)

DNA computing and molecular programming: 25th international conference, DNA 25, Seattle, WA, USA, August 5-9, 2019, proceedings
por: Thachuk, Chris, et al.
Publicado: (2019)

Highlights from the 24(th) Conference on Retroviruses and Opportunistic Infections: 13–16 February 2017, Seattle, Washington, USA
por: Crowell, Trevor A., et al.
Publicado: (2017)

Social media processing: 6th national conference, SMP 2017, Beijing, China, September 14-17, 2017, proceedings
por: Cheng, Xueqi, et al.
Publicado: (2017)

Proceedings of the 3rd Biennial Conference of the Society for Implementation Research Collaboration (SIRC) 2015: advancing efficient methodologies through community partnerships and team science: Seattle, WA, USA. 24-26 September 2015
por: Lewis, Cara, et al.
Publicado: (2016)

Research in attacks, intrusions, and defenses: 20th international symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017, proceedings
por: Dacier, Marc, et al.
Publicado: (2017)

Decision and game theory for security: 9th international conference, GameSec 2018, Seattle, WA, USA, October 29-31, 2018, proceedings
por: Bushnell, Linda, et al.
Publicado: (2018)

Runtime verification of embedded real-time systems
por: Reinbacher, Thomas, et al.
Publicado: (2013)

Discourje: Runtime Verification of Communication Protocols in Clojure
por: Hamers, Ruben, et al.
Publicado: (2020)

Topics in cryptology - CT-RSA 2017: the cryptographers' track at the RSA conference 2017, San Francisco, CA, USA, February 14-17, 2017, proceedings
por: Handschuh, Helena
Publicado: (2017)

Proceedings of the 14th annual conference of INEBRIA: New York, NY, USA, September 14–15, 2017
por: Holloway, Aisha S., et al.
Publicado: (2017)

Proceedings of the Fifth Biennial Conference of the Society for Implementation Research Collaboration (SIRC) 2019: where the rubber meets the road: the intersection of research, policy, and practice - part 2: Seattle, WA, USA. 12-14 September 2019
Publicado: (2020)

The 68(th) American Epilepsy Society Annual Meeting Seattle (WA), USA, December 5-9, 2014
por: Al-Baradie, Raidah S.
Publicado: (2015)

Towards Automated Performance Analysis of Programs by Runtime Verification
por: Dawes, Joshua Heneage
Publicado: (2021)

Security in computing and communications: 5th international symposium, SSCC 2017, Manipal, India, september 13-16, 2017, proceedings
por: Thampi, Sabu M, et al.
Publicado: (2017)

Cognitive computing - ICCC 2018: second international conference, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Xiao, Jing, et al.
Publicado: (2018)

Internet of things - ICIOT 2018: third international conference, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Georgakopoulos, Dimitrios, et al.
Publicado: (2018)

Edge computing - EDGE 2018: second international conference, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Liu, Shijun, et al.
Publicado: (2018)

Services - SERVICES 2018: 14th world congress, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Yang, Alvin, et al.
Publicado: (2018)

43-September 2017
Publicado: (2017)

In the September 2017 issue
por: Nitrini, Ricardo
Publicado: (2017)

Data privacy management, cryptocurrencies and blockchain technology: ESORICS 2017 international workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, proceedings
por: Garcia-Alfaro, Joaquin, et al.
Publicado: (2017)

Web services - ICWS 2018: 25th international conference, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Jin, Hai, et al.
Publicado: (2018)

Wireless internet: 10th international conference, WICON 2017, Tianjin, China, December 16-17, 2017, proceedings
por: Li, Cheng, et al.
Publicado: (2018)

Information systems: 10th SIGSAND/PLAIS EuroSymposium 2017, Gdansk, Poland, September 22, 2017, proceedings
por: Wrycza, Stanisław, et al.
Publicado: (2017)

Advances in computing: 12th Colombian conference, CCC 2017, Cali, Colombia, September 19-22, 2017, proceedings
por: Solano, Andrés, et al.
Publicado: (2017)

IoT as a service: third international conference, IOTAAS 2017, Taichung, Taiwan, September 20-22, 2017, proceedings
por: Lin, Yi-Bing, et al.
Publicado: (2018)

Critical systems: joint 22nd international workshop on formal methods for industrial critical systems and 17th international workshop on automated verification of critical systems, FMICS-AVOCS 2017, Turin, Italy, September 18-20, 2017, proceedings
por: Petrucci, Laure, et al.
Publicado: (2017)

Initial experience of an anal dysplasia clinic for HIV-infected men in Seattle, WA
por: Aboulafia, D, et al.
Publicado: (2009)

716. Molecular Epidemiology of Respiratory Syncytial Virus in Children and Adults in Seattle, WA
por: Scott, Emily, et al.
Publicado: (2018)

HLola: a Very Functional Tool for Extensible Stream Runtime Verification
por: Gorostiaga, Felipe, et al.
Publicado: (2021)

Cannot write session to /tmp/vufind_sessions/sess_t31gm32e1qrue3itviqk2qe252