|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
Results
Found 24 publication records. Showing 22 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
102 | Cliff Randell, Henk L. Muller |
The Shopping Jacket: Wearable Computing for the Consumer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pers. Ubiquitous Comput. ![In: Pers. Ubiquitous Comput. 4(4), pp. 241-244, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.02481, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
38 | Jan Peleska 0001, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger |
Efficient data validation for geographical interlocking systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 33(6), pp. 925-955, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (3) ![In: Medical Image Computing and Computer Assisted Intervention - MICCAI 2021 - 24th International Conference, Strasbourg, France, September 27 - October 1, 2021, Proceedings, Part III, pp. 499-508, 2021, Springer, 978-3-030-87198-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
38 | Jan Peleska 0001, Niklas Krafczyk, Anne E. Haxthausen, Ralf Pinger |
Efficient Data Validation for Geographical Interlocking Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings, pp. 142-158, 2019, Springer, 978-3-030-18743-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSSRail ![Springer, 978-3-319-33950-4 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDRE ![In: IEEE 4th International Model-Driven Requirements Engineering Workshop, MoDRE 2014, 25 August, 2014, Karlskrona, Sweden, pp. 77-86, 2014, IEEE Computer Society, 978-1-4799-6343-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SER&IPs ![In: 1st International Workshop on Software Engineering Research and Industrial Practices, SER&IPs 2014, Hyderabad, India, June 1, 2014, pp. 34-41, 2014, ACM, 978-1-4503-2859-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
38 | Anne E. Haxthausen, Jan Peleska 0001, Ralf Pinger |
Applied Bounded Model Checking for Interlocking System Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, pp. 205-220, 2013, Springer, 978-3-319-05031-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![Springer, 978-3-642-32468-0 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
38 | Olivera Pavlovic, Ralf Pinger, Maik Kollmann |
Automation of Formal Verification of PLC Programs Written in IL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
38 | Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger |
Checking Object System Designs Incrementally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 9(2), pp. 106-119, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Ralf Pinger |
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2002 |
RDF |
|
38 | Ralf Pinger, Hans-Dieter Ehrich |
Compositional Checking of Communication among Observers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 32-44, 2001, Springer, 3-540-41863-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grundlagen von Datenbanken ![In: 11. Workshop Grundlagen von Datenbanken, GvD 1999, Arbeitskreis `Grundlagen von Informationssystemen` im GI-Fachausschuß 2.5, Luisenthal, 25.-28. Mai 1999., pp. 82-86, 1999, Friedrich-Schiller-Universität Jena. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER '98, 17th International Conference on Conceptual Modeling, Singapore, November 16-19, 1998, Proceedings, pp. 277-290, 1998, Springer, 3-540-65189-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Ralf Pinger |
Verifikation von Informationssystemen durch Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grundlagen von Datenbanken ![In: Kurzfassungen - 10. Workshop `Grundlagen von Datenbanken`, Workshop des GI-Arbeitskreises in Konstanz, 2.6.-5.6.1998, pp. 98-103, 1998, Universität Konstanz. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom/BigDataSE ![In: 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications / 12th IEEE International Conference On Big Data Science And Engineering, TrustCom/BigDataSE 2018, New York, NY, USA, August 1-3, 2018, pp. 1303-1308, 2018, IEEE, 978-1-5386-4388-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
37 | Wei Zhang, Xiaofei Xing, Saqib Ali, Guojun Wang 0001 |
Internet Performance Prediction Framework Based on PingER Dataset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP (3) ![In: Algorithms and Architectures for Parallel Processing - 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III, pp. 118-131, 2018, Springer, 978-3-030-05056-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA/IUCC ![In: 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC), Guangzhou, China, December 12-15, 2017, pp. 982-989, 2017, IEEE, 978-1-5386-3790-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDCAT ![In: Proceedings of the 3rd IEEE/ACM International Conference on Big Data Computing, Applications and Technologies, BDCAT 2016, Shanghai, China, December 6-9, 2016, pp. 67-72, 2016, ACM, 978-1-4503-4617-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
37 | Warren Matthews, Les Cottrell |
The PingER project: active Internet performance monitoring for the HENP community. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Mag. ![In: IEEE Commun. Mag. 38(5), pp. 130-136, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|