Autor: "MOSKAL, MICHAŁ" - OpacWWW

Skocz do pozycji: 1.

Tytuł:: MakeCode and CODAL: Intuitive and efficient embedded systems programming for education
Autorzy:: Devine, James
Finney, Joe
de Halleux, Peli
Moskal, Michał
Ball, Thomas
Hodges, Steve; Pokaż więcej
Źródło:: In Journal of Systems Architecture September 2019 98:468-483

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Influence of Selected Deoxidizers on Chemical Composition of Molten Inclusions in Liquid Steel
Autorzy:: Kalisz, Dorota
Migas, Piotr
Karbowniczek, Mirosław
Moskal, Michał
Hornik, Andrzej; Pokaż więcej
Źródło:: Journal of Materials Engineering and Performance. 29(3):1479-1487

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A System-General Model for the Detection of Gaming the System Behavior in CTAT and LearnSphere
Autorzy:: Paquette, Luc
Baker, Ryan S.
Moskal, Michal; Pokaż więcej
Źródło:: Artificial Intelligence in Education : 19th International Conference, AIED 2018, London, UK, June 27–30, 2018, Proceedings, Part II. 10948:257-260

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler
Autorzy:: Auler, Rafael
Borin, Edson
de Halleux, Peli
Moskal, Michał
Tillmann, Nikolai; Pokaż więcej
Źródło:: Compiler Construction : 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. 8409:218-237

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Co-induction Simply : Automatic Co-inductive Proofs in a Program Verifier
Autorzy:: Leino, K. Rustan M.
Moskal, Michał; Pokaż więcej
Źródło:: FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. 8442:382-398

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 6.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Pełny tekst Pełny tekst Szczegóły

Skocz do pozycji: 7.

Tytuł:: Verifying Implementations of Security Protocols by Refinement
Autorzy:: Polikarpova, Nadia
Moskal, Michał; Pokaż więcej
Źródło:: Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings. 7152:50-65

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: The Boogie Verification Debugger (Tool Paper)
Autorzy:: Le Goues, Claire
Leino, K. Rustan M.
Moskal, Michał; Pokaż więcej
Źródło:: Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. 7041:407-414

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Heaps and Data Structures: A Challenge for Automated Provers
Autorzy:: Böhme, Sascha
Moskal, Michał; Pokaż więcej
Źródło:: Automated Deduction – CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings. 6803:177-191

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Evidential Authorization*
Autorzy:: Blass, Andreas
Gurevich, Yuri
Moskal, Michał
Neeman, Itay; Pokaż więcej
Źródło:: The Future of Software Engineering. :73-99

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Local Verification of Global Invariants in Concurrent Programs
Autorzy:: Cohen, Ernie
Moskal, Michał
Schulte, Wolfram
Tobies, Stephan; Pokaż więcej
Źródło:: Computer Aided Verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. 6174:480-494

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Invariants, Modularity, and Rights
Autorzy:: Cohen, Ernie
Alkassar, Eyad
Boyarinov, Vladimir
Dahlweid, Markus
Degenbaev, Ulan
Hillebrand, Mark
Langenstein, Bruno
Leinenbach, Dirk
Moskal, Michał
Obua, Steven
Paul, Wolfgang
Pentchev, Hristo
Petrova, Elena
Santen, Thomas
Schirmer, Norbert
Schmaltz, Sabine
Schulte, Wolfram
Shadrin, Andrey
Tobies, Stephan
Tsyban, Alexandra
Tverdyshev, Sergey; Pokaż więcej
Źródło:: Perspectives of Systems Informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. 5947:43-55

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: VCC: A Practical System for Verifying Concurrent C
Autorzy:: Cohen, Ernie
Dahlweid, Markus
Hillebrand, Mark
Leinenbach, Dirk
Moskal, Michał
Santen, Thomas
Schulte, Wolfram
Tobies, Stephan; Pokaż więcej
Źródło:: Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. 5674:23-42

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving
Autorzy:: Maus, Stefan
Moskal, Michał
Schulte, Wolfram; Pokaż więcej
Źródło:: Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings. 5140:284-298

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Rocket-Fast Proof Checking for SMT Solvers
Autorzy:: Moskal, Michał; Pokaż więcej
Źródło:: Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. 4963:486-500

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: The BBC micro:bit— From the U.K. to the World.
Autorzy:: AUSTIN, JONNY
BAKER, HOWARD
BALL, THOMAS
DEVINE, JAMES
FINNEY, JOE
HALLEUX, PELI DE
HODGES, STEVE
MOSKAL, MICHAŁ
STOCKDALE, GARETH; Pokaż więcej
Temat:: BBC Microcomputer
COMPUTER science education
COMPUTER engineering
Źródło:: Communications of the ACM; Mar2020, Vol. 63 Issue 3, p62-69, 8p, 1 Color Photograph, 6 Diagrams
Przedsiębiorstwo/ jednostka:: BRITISH Broadcasting Corp.

Periodyk

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 17.

Tytuł:: Verifying Functional Correctness of C Programs with VCC
Autorzy:: Moskal, Michał; Pokaż więcej
Źródło:: NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings. 6617:56-57

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Deductive Verification of System Software in the Verisoft XT Project
Autorzy:: Beckert, Bernhard
Moskal, Michał; Pokaż więcej
Źródło:: KI - Künstliche Intelligenz: Organ des Fachbereichs "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. -German Journal on Artificial Intelligence. April 2010 24(1):57-61

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: HOL-Boogie—An Interactive Prover-Backend for the Verifying C Compiler
Autorzy:: Böhme, Sascha
Moskal, Michał
Schulte, Wolfram
Wolff, Burkhart; Pokaż więcej
Źródło:: Journal of Automated Reasoning. February 2010 44(1-2):111-144

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: From C to Infinity and Back: Unbounded Auto-active Verification with VCC
Autorzy:: Moskal, Michał; Pokaż więcej
Źródło:: Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. 7358:6-6

Książka elektroniczna

na półce

Szczegóły

Informacja

Wyszukujesz frazę ""MOSKAL, MICHAŁ"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język

Rok publikacji