Search results for "Pinger"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
102	Cliff Randell, Henk L. Muller	The Shopping Jacket: Wearable Computing for the Consumer.	Pers. Ubiquitous Comput.	2000	DBLP DOI BibTeX RDF	Pinger, Shopping jacket, Wearable computer, GPS, Location sensing
38	Ashkan Khakzar, Sabrina Musatian, Jonas Buchberger, Icxel Valeriano Quiroz, Nikolaus Pinger, Soroosh Baselizadeh, Seong Tae Kim 0001, Nassir Navab	Towards Semantic Interpretation of Thoracic Disease and COVID-19 Diagnosis Models.	CoRR	2021	DBLP BibTeX RDF
38	Jan Peleska 0001, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger	Efficient data validation for geographical interlocking systems.	Formal Aspects Comput.	2021	DBLP DOI BibTeX RDF
38	Ashkan Khakzar, Sabrina Musatian, Jonas Buchberger, Icxel Valeriano Quiroz, Nikolaus Pinger, Soroosh Baselizadeh, Seong Tae Kim 0001, Nassir Navab	Towards Semantic Interpretation of Thoracic Disease and COVID-19 Diagnosis Models.	MICCAI (3)	2021	DBLP DOI BibTeX RDF
38	Jan Peleska 0001, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger	Efficient Data Validation for Geographical Interlocking Systems.	RSSRail	2019	DBLP DOI BibTeX RDF
38	Thierry Lecomte, Ralf Pinger, Alexander B. Romanovsky (eds.)	Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings	RSSRail	2016	DBLP DOI BibTeX RDF
38	Sabine Teufl, Wolfgang Böhm 0002, Ralf Pinger	Understanding and closing the gap between requirements on system and subsystem level.	MoDRE	2014	DBLP DOI BibTeX RDF
38	Wolfgang Böhm 0002, Maximilian Junker, Andreas Vogelsang, Sabine Teufl, Ralf Pinger, Karsten Rahn	A formal systems engineering approach in practice: an experience report.	SER&IPs	2014	DBLP DOI BibTeX RDF
38	Anne E. Haxthausen, Jan Peleska 0001, Ralf Pinger	Applied Bounded Model Checking for Interlocking System Designs.	SEFM Workshops	2013	DBLP DOI BibTeX RDF
38	Mariëlle Stoelinga, Ralf Pinger (eds.)	Formal Methods for Industrial Critical Systems - 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings	FMICS	2012	DBLP DOI BibTeX RDF
38	Olivera Pavlovic, Ralf Pinger, Maik Kollmann	Automation of Formal Verification of PLC Programs Written in IL.	VERIFY	2007	DBLP BibTeX RDF
38	Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger	Checking Object System Designs Incrementally.	J. Univers. Comput. Sci.	2003	DBLP DOI BibTeX RDF
38	Ralf Pinger	Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking.		2002	RDF
38	Ralf Pinger, Hans-Dieter Ehrich	Compositional Checking of Communication among Observers.	FASE	2001	DBLP DOI BibTeX RDF	distributed logic, modelling and design, object system, model checking, verification, temporal logic, compositionality
38	Ralf Pinger	Ein Ansatz zur Verifikation mehrerer Agenten durch Model Checking.	Grundlagen von Datenbanken	1999	DBLP BibTeX RDF
38	Antonio Grau, Juliana Küster Filipe, Mojgan Kowsari, Silke Eckstein, Ralf Pinger, Hans-Dieter Ehrich	The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools.	ER	1998	DBLP DOI BibTeX RDF
38	Ralf Pinger	Verifikation von Informationssystemen durch Model Checking.	Grundlagen von Datenbanken	1998	DBLP BibTeX RDF
37	Saqib Ali, Guojun Wang 0001, Bebo White, Roger Leslie Cottrell	A Blockchain-Based Decentralized Data Storage and Access Framework for PingER.	TrustCom/BigDataSE	2018	DBLP DOI BibTeX RDF
37	Wei Zhang, Xiaofei Xing, Saqib Ali, Guojun Wang 0001	Internet Performance Prediction Framework Based on PingER Dataset.	ICA3PP (3)	2018	DBLP DOI BibTeX RDF
37	Saqib Ali, Guojun Wang 0001, Roger Les Cottrell, Tayyba Anwar	Detecting Anomalies from End-to-End Internet Performance Measurements (PingER) Using Cluster Based Local Outlier Factor.	ISPA/IUCC	2017	DBLP DOI BibTeX RDF
37	Aqsa Hameed, Saqib Ali, Roger Les Cottrell, Bebo White	Applying big data warehousing and visualization techniques on pingER data.	BDCAT	2016	DBLP DOI BibTeX RDF
37	Warren Matthews, Les Cottrell	The PingER project: active Internet performance monitoring for the HENP community.	IEEE Commun. Mag.	2000	DBLP DOI BibTeX RDF