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