The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for AsmL with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1997-2003 (15) 2004-2005 (18) 2006-2008 (23) 2009-2024 (8)
Publication types (Num. hits)
article(15) book(1) inproceedings(48)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 28 occurrences of 24 keywords

Results
Found 64 publication records. Showing 64 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
96Christoph Beierle, Gabriele Kern-Isberner A Verified AsmL Implementation of Belief Revision. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
96Yuri Gurevich, Benjamin Rossman, Wolfram Schulte Semantic Essence of AsmL. Search on Bibsonomy FMCO The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
85Ali Habibi, Sofiène Tahar Design and verification of SystemC transaction-level models. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
85Xiaoxin Guo, Zhiwen Xu, Yinan Lu, Yunjie Pang An Adaptive Edge Detector Using Soft Mathematical Morphology. Search on Bibsonomy CIT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
79Michael Barnett 0001, Wolfram Schulte, Nikolai Tillmann Using AsmL for Runtime Verification. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
78Stefan Leue, Alin Stefanescu, Wei Wei 0015 An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. Search on Bibsonomy TOOLS (46) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF AsmL, Rose-RT, Spec Explorer, model checking, model-based testing, formal semantics, UML-RT, dynamic structures
67Jameleddine Hassine, Juergen Rilling, Rachida Dssouli Abstract Operational Semantics for Use Case Maps. Search on Bibsonomy FORTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF AsmL, simulation, formal semantics, abstract state machines, user requirements notation, Use Case Maps
62Ali Habibi, Sofiène Tahar An Approach for the Verification of SystemC Designs Using AsmL. Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
62Daniel Lázaro Cuadrado, Peter Koch 0001, Anders P. Ravn AsmL Specification of a Ptolemy II Scheduler. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
62Michael Barnett 0001, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes Validating Use-Cases with the AsmL Test Tool. Search on Bibsonomy QSIC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
51R. Boumen, Ivo S. M. de Jong, J. W. H. Vermunt, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda Risk-Based Stopping Criteria for Test Sequencing. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
51Mohammad Zulkernine, Mathew Graves, Muhammad Umair Ahmed Khan Integrating software specifications into intrusion detection. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Software specification languages, Intrusion detection, State machines, Attack scenarios
51Mathew Graves, Mohammad Zulkernine Bridging the gap: software specification meets intrusion detector. Search on Bibsonomy PST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF attack languages, intrusion detection, software security, software specification
51Uwe Glässer, Yuri Gurevich, Margus Veanes High-Level Executable Specification of the Universal Plug and Play Architecture. Search on Bibsonomy HICSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF distributed protocol architectures, abstract state machines, executable specifications
45Luciano García-Bañuelos An AsmL Executable Model for WS-BPEL with Orthogonal Transactional Behavior. Search on Bibsonomy Business Process Management The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
45Michael Barnett 0001, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes Towards a Tool Environment for Model-Based Testing with AsmL. Search on Bibsonomy FATES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
34R. Boumen, Ivo S. M. de Jong, J. M. G. Mestrom, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda Integration and Test Sequencing for Complex Systems. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34R. Boumen, Ivo S. M. de Jong, J. W. H. Vermunt, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda Test Sequencing in Complex Manufacturing Systems. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part A The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Bram Adams, Kris De Schutter An aspect for idiom-based exception handling: (using local continuation join points, join point properties, annotations and type parameters). Search on Bibsonomy SPLAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Louis van Gool, Teade Punter, Marc Hamilton, Remco van Engelen Compositional MDA. Search on Bibsonomy MoDELS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Haja Moinudeen, Ali Habibi, Sofiène Tahar Design for Verification of the PCI-X Bus. Search on Bibsonomy FMCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Mohammad Feroz Raihan, Mohammad Zulkernine Detecting Intrusions Specified in a Software Specification Language. Search on Bibsonomy COMPSAC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Wolfgang Grieskamp, Markus Lepper 0001, Wolfram Schulte, Nikolai Tillmann Testable Use Cases in the Abstract State Machine Language. Search on Bibsonomy APAQS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
28Marc Hijink Focus: The ASML Way - Inside the Power Struggle over the Most Complex Machine on Earth. Search on Bibsonomy 2024   RDF
28Douniel Lamghari-Idrissi, Roy van Hugten, Geert-Jan van Houtum, Rob J. I. Basten Increasing Chip Availability Through a New After-Sales Service Supply Concept at ASML. Search on Bibsonomy INFORMS J. Appl. Anal. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
28Dimitrios E. Diamantis, Dimitris K. Iakovidis ASML: Algorithm-Agnostic Architecture for Scalable Machine Learning. Search on Bibsonomy IEEE Access The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
28Mingsheng Tang, XinJun Mao, Huiping Zhou, Xueyan Tan ASML: Artificial Society Modelling Language for ACP Approach Based on Organization Metaphors. Search on Bibsonomy CGC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
28Jameleddine Hassine AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps. Search on Bibsonomy ASM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
28Anne Rozinat, Ivo S. M. de Jong, Christian W. Günther, Wil M. P. van der Aalst Process Mining Applied to the Test Process of Wafer Scanners in ASML. Search on Bibsonomy IEEE Trans. Syst. Man Cybern. Part C The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Amjad Gawanmeh, Sofiène Tahar, Haja Moinudeen, Ali Habibi A Design for Verification Approach Using an Embedding of PSL in aSML. Search on Bibsonomy J. Circuits Syst. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Tareq Hasan Khan, Ali Habibi, Sofiène Tahar, Otmane Aït Mohamed Autometic Generation of SystemC Transactors from AsmL Specification. Search on Bibsonomy FDL The full citation details ... 2007 DBLP  BibTeX  RDF
28Ali Habibi, Sofiène Tahar On the Transformation of SystemC to AsmL Using Abstract Interpretation. Search on Bibsonomy AIOOL@VMCAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Matko Botincan AsmL Specification and Verification of Lamport's Bakery Algorithm. Search on Bibsonomy J. Comput. Inf. Technol. The full citation details ... 2005 DBLP  BibTeX  RDF
28Yuri Gurevich, Benjamin Rossman, Wolfram Schulte Semantic essence of AsmL. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Amjad Gawanmeh, Ali Habibi, Sofiène Tahar Embedding and Verification of PSL using AsmL. Search on Bibsonomy Abstract State Machines The full citation details ... 2005 DBLP  BibTeX  RDF
28Ali Habibi, Sofiène Tahar AsmL Semantics in Fixpoint. Search on Bibsonomy Abstract State Machines The full citation details ... 2005 DBLP  BibTeX  RDF
28Martin Kardos An Approach to Model Checking AsmL Specifications. Search on Bibsonomy Abstract State Machines The full citation details ... 2005 DBLP  BibTeX  RDF
28Ana C. R. Paiva, João Pascoal Faria, Raul Moreira Vidal Automated Specification-based Testing of Interactive Components with AsmL. Search on Bibsonomy QUATIC The full citation details ... 2004 DBLP  BibTeX  RDF
28Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes Test Case Generation from AsmL Specifications. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
28Michael Barnett 0001, Wolfram Schulte The ABCs of specification: asml, behavior, and components. Search on Bibsonomy Informatica (Slovenia) The full citation details ... 2001 DBLP  BibTeX  RDF
28Nick Shapiro, Charles B. Owen Breacking the shackles on the physical page: Site level authoring for XML using ASML. Search on Bibsonomy WebNet The full citation details ... 1999 DBLP  BibTeX  RDF
28Charles B. Owen, Fillia Makedon Asml: Automatic Site Markup Language. Search on Bibsonomy Multim. Tools Appl. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
28Ann De Bord, James Ford, Fillia Makedon, Theodore P. Prizio, Mihalis Sasles, Charles B. Owen Documentation Multi-Targeting Using ASML & JavaScript. Search on Bibsonomy WebNet The full citation details ... 1998 DBLP  BibTeX  RDF
28Charles B. Owen, Fillia Makedon, Glen Frank, Michael Kenyon ASML: Automatic Site Markup Language. Search on Bibsonomy WebNet The full citation details ... 1997 DBLP  BibTeX  RDF
17Jameleddine Hassine Early Schedulability Analysis with Timed Use Case Maps. Search on Bibsonomy SDL Forum The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Margus Veanes, Ando Saabas On Bounded Reachability of Programs with Set Comprehensions. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description). Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Margus Veanes, Ando Saabas Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Margus Veanes, Nikolaj S. Bjørner, Alexander Raschke An SMT Approach to Bounded Reachability Analysis of Model Programs. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
17Kwangok Jeong, Andrew B. Kahng, Chul-Hong Park, Hailong Yao Dose map and placement co-optimization for timing yield enhancement and leakage power reduction. Search on Bibsonomy DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dose map, placement, timing yield, leakage power reduction
17Mohammad Feroz Raihan, Mohammad Zulkernine AsmLSec: An Extension of Abstract State Machine Language for Attack Scenario Specification. Search on Bibsonomy ARES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Hiren D. Patel, Sandeep K. Shukla Model-driven Validation of SystemC Designs. Search on Bibsonomy DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Avik Sinha, Carol S. Smidts HOTTest: A model-based test design technique for enhanced testing of domain-specific applications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF HaskellDB, database-specific test case generation, domain-specific testing, test generation tools, domain-specific languages, Haskell, model-based testing, Test case generation
17Ali Habibi, Sofiène Tahar, Amer Samarah, Donglin Li, Otmane Aït Mohamed Efficient assertion based verification using TLM. Search on Bibsonomy DATE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Bas Graaf, Sven Weber, Arie van Deursen Migrating Supervisory Control Architectures Using Model Transformations. Search on Bibsonomy CSMR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Dean Rosenzweig, Davor Runje, Wolfram Schulte Model-Based Testing of Cryptographic Protocols. Search on Bibsonomy TGC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Yuhong Zhao 0001, Martin Kardos, Simon Oberthür, Franz J. Rammig Comprehensive Verification Framework for Dependability of Self-optimizing Systems. Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann Online testing with model programs. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF conformance testing, runtime verification, interface automata
17Uwe Glässer, Yuri Gurevich, Margus Veanes Abstract Communication Model for Distributed Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Vladimir Levin Static driver verifier, a formal verification tool for Windows device drivers. Search on Bibsonomy MEMOCODE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Yuri Gurevich, Rostislav Yavorskiy Observations on the Decidability of Transitions. Search on Bibsonomy Abstract State Machines The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Martin Kardos, Franz J. Rammig Model Based Formal Verification of Distributed Production Control Systems. Search on Bibsonomy SoftSpez Final Report The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Dean Rosenzweig, Davor Runje, Neva Slani Privacy, Abstract Encryption and Protocols: An ASM Model - Part I. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Bas Graaf, Marco Lormans, Hans Toetenel Software Technologies for Embedded Systems: An Industry Inventory. Search on Bibsonomy PROFES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #64 of 64 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license