Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tsang-Yi Wang, Jwo-Yuh Wu |
Reliability-based detection for decode-and-forward relaying in cooperative communications. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Koen C. H. Blom, Rinse Wester, André B. J. Kokkeler, Gerard J. M. Smit |
Low-cost multi-channel underwater acoustic signal processing testbed. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shuangyu Luo, Jiangyuan Li, Athina P. Petropulu |
Physical layer security with uncoordinated helpers implementing cooperative jamming. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Brian O'Donnell, Jun Jason Zhang, Antonia Papandreou-Suppappola, Muralidhar Rangaswamy |
Waveform-agile multiple target tracking using probability hypothesis density filtering. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Oren Jean, Anthony J. Weiss |
Convex joint emitter localization and passive sensor network synchronization. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Joong Bum Rhim, Lav R. Varshney, Vivek K. Goyal |
Benefits of collaboration and diversity in teams of categorically-thinking decision makers. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lee K. Patton, Daniel E. Hack, Braham Himed |
Adaptive pulse design for space-time adaptive processing. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ami Wiesel, Amir Globerson |
Covariance estimation in time varying ARMA processes. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shawn Kraut, Daniel W. Bliss |
Analyzing the impact of MIMO radar on tracking association error. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Fischer, Jens-Peter Redlich, Björn Scheuermann 0001, Jochen H. Schiller, Mesut Günes, Kai Nagel, Peter Wagner 0003, Markus Scheidgen, Anatolij Zubow, Ingmar Eveslage, Robert Sombrutzki, Felix Juraschek |
From Earthquake Detection to Traffic Surveillance - About Information and Communication Infrastructures for Smart Cities. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Urooj Fatima, Rolv Bræk |
On Deriving Detailed Component Design from High-Level Service Specification. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Xiaorui Zhang, Birger Møller-Pedersen |
Towards Correct Product Derivation in Model-Driven Product Lines. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Henning Berg, Birger Møller-Pedersen |
Type-Safe Symmetric Composition of Metamodels Using Templates. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Azalia Shamsaei, Daniel Amyot, Alireza Pourshahid, Edna Braun, Eric S. K. Yu, Gunter Mussbacher, Rasha Tawhid, Nick Cartwright |
An Approach to Specify and Analyze Goal Model Families. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mihal Brumbulli, Joachim Fischer |
Simulation Configuration Modeling of Distributed Communication Systems. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin A. Schneider, Jürgen Großmann, Nikolay Tcholtchev, Ina Schieferdecker, Andrej Pietschker |
Behavioral Fuzzing Operators for UML Sequence Diagrams. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Birger Møller-Pedersen |
Models '67 Revisited. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Mussa, Ferhat Khendek |
Identification and Selection of Interaction Test Scenarios for Integration Testing. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Christmann, Reinhard Gotzhein |
Real-Time Tasks in SDL. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Blunk, Joachim Fischer |
Prototyping Domain Specific Languages as Extensions of a General Purpose Language. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jameleddine Hassine, Daniel Amyot |
GRL Model Validation: A Statistical Approach. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ali Kanso, Maria Toeroe, Ferhat Khendek |
Configuration-Based Service Availability Analysis for Middleware Managed Applications. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Edel Sherratt |
Relativity and Abstract State Machines. |
SAM |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Frank Alexander Kraemer, Peter Herrmann (eds.) |
System Analysis and Modeling: About Models - 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers |
SAM |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Jugel, André Preußner |
A Case Study on API Generation. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Saoussen Anssi, Sébastien Gérard, Arnaud Albinet, François Terrier |
Requirements and Solutions for Timing Analysis of Automotive Systems. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pejman Salehi, Pietro Colombo, Abdelwahab Hamou-Lhadj, Ferhat Khendek |
A Model Driven Approach for AMF Configuration Generation. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mihal Brumbulli, Joachim Fischer |
SDL Code Generation for Network Simulators. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Surya Bahadur Kathayat, Rolv Bræk |
From Flow-Global Choreography to Component Types. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Braun, Reinhard Gotzhein, Matthias Wiebel |
Integration of FlexRay into the SDL-Model-Driven Development Approach. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kraas |
The SDL-UML Profile Revisited. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Wafi Dahman, Jens Grabowski |
UML-Based Specification and Generation of Executable Web Services. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jacqueline Floch, Cyril Carrez |
A Developer-Friendly Approach for the Validation of Dynamic Compositions. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Asadullah Shaikh, Uffe Kock Wiil, Nasrullah Memon |
UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Becker, Marc Krämer |
SDL Modules - Concepts and Tool Support. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gunter Mussbacher, Daniele Barone, Daniel Amyot |
Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for Aspect-Oriented Modeling. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sören Kemmann, Thomas Kuhn 0001, Mario Trapp |
Extensible and Automated Model-Evaluations with INProVE. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Rodríguez-Cayetano |
Design and Development of a CPU Scheduler Simulator for Educational Purposes Using SDL. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Genon, Daniel Amyot, Patrick Heymans |
Analysing the Cognitive Effectiveness of the UCM Visual Notation. |
SAM |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rami Bahsoon, Licia Capra, Wolfgang Emmerich, Mohamed E. Fayad (eds.) |
Proceedings of the 1st International Workshop on Software Architectures and Mobility, SAM '08, Leipzig, Germany, May 10, 2008 |
SAM |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Amyot, Hanna Farah, Jean-François Roy |
Evaluation of Development Tools for Domain-Specific Modeling Languages. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
Timed Use Case Maps. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
timing aspects, timed UCM, Clocked Transition Systems, performance, User Requirements Notation, Use Case Maps |
1 | Tai Hyo Kim, Sung Deok Cha |
Timed High-Level Message Sequence Charts for Real-Time System Design. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Fritjof Boger Engelhardtsen, Andreas Prinz 0001 |
Application of Stuck-Free Conformance to Service-Role Composition. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Fischer, Andreas Prinz 0001, Markus Scheidgen, Merete Skjelten Tveit |
Implementing the eODL Graphical Representation. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ingmar Fliege, Rüdiger Grammes, Christian Weber |
ConTraST - A Configurable SDL Transpiler and Runtime Environment. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Grammes |
Formal Operations for SDL Language Profiles. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Hélouët, Thibaut Hénin, Christophe Chevrier |
Automating Scenario Merging. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Abdelouahed Gherbi, Ferhat Khendek |
Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jean-François Roy, Jason Kealey, Daniel Amyot |
Towards Integrated Tool Support for the User Requirements Notation. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Constantin Werner, Sebastian Kraatz, Dieter Hogrefe |
A UML Profile for Communicating Systems. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Kuhn 0001, Philipp Becker |
A Simulator Interconnection Framework for the Accurate Performance Simulation of SDL Models. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Zeiss, Helmut Neukirchen, Jens Grabowski, Dominic Evans, Paul Baker |
Refactoring and Metrics for TTCN-3 Test Suites. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tae-Hyong Kim, Jae-Woo Kim, Qi-Ping Yang, Jae-Hyoung Lee, Soon-Gi Park, Yeun-Seung Shin |
SDL Design of a Radio Resource Control Protocol for 3G Evolution Systems with Two Different Approaches. |
SAM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Gotzhein, Rick Reed (eds.) |
System Analysis and Modeling: Language Profiles, 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers |
SAM |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Amyot, Alan W. Williams (eds.) |
System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers |
SAM |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Hélouët |
Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Bill Mitchell, Robert Thomson 0002, Paul Bristow |
Scenario Synthesis from Imprecise Requirements. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Ferhat Khendek, Christophe Lohr, Li Xin Wang, Xiao-Jun Zhang, Tong Zheng 0002 |
Early Validation of Deployment and Scheduling Constraints for MSC Specifications. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Hoffmann 0001, Bertram Neubauer |
Deployment and Configuration of Distributed Systems. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paresh Jain, Amresh Paresh Jain |
Validating Wireless Protocol Conformance Test Cases. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Arjan J. Mooij, Nicolae Goga |
Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rick Reed |
Data Encoding for SDL in ITU-T Rec. Z.104. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
Text encoding, Encoding, SDL, Data, ASN.1 |
1 | Rolv Bræk, Jacqueline Floch |
ICT Convergence: Modeling Issues. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Fischer, Michael Piefel, Markus Scheidgen |
A Metamodel for SDL-2000 in the Context of Metamodelling ULF. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christian Rinderknecht |
Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
Abstract Syntax Notation One, Basic Encoding Rules, formal methods, protocol, specification, vulnerabilities, BER, ASN.1 |
1 | Ingmar Fliege, Alexander Geraldy, Reinhard Gotzhein, Philipp Schaible |
A Flexible Micro Protocol Framework. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Cas J. F. Cremers, Sjouke Mauw |
Checking Secrecy by Means of Partial Order Reduction. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Øystein Haugen |
Comparing UML 2.0 Interactions and MSC-2000. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Edel Sherratt |
SDL in a Changing World. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Margarita de Cabo, Manuel Rodríguez |
Applying eODL and SDL-Patterns for Developing TMN Managed Systems. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jameleddine Hassine, Rachida Dssouli, Juergen Rilling |
Applying Reduction Techniques to Software Functional Requirement Specifications. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
Functional requirement specification, maintenance, program slicing, comprehension, Use Case Maps |
1 | Harald Böhme, Joachim Fischer |
eODL and SDL in Combination for Components. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Frank Weil, Thomas Weigert |
Guidelines for Using SDL in Product Development. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Dorsch, Anders Ek, Reinhard Gotzhein |
SPT - The SDL Pattern Tool. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Edel Sherratt (eds.) |
Telecommunications and beyond: The Broader Applicability of SDL and MSC, Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers |
SAM |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ina Schieferdecker, Jens Grabowski |
The Graphical Format of TTCN-3 in the Context of MSC and UML. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan W. Williams |
Rapid Development of Network Software via SDL/Socket Interfaces. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
Socket Interface, SDL, Code Integration |
1 | Andreas Metzger, Stefan Queins |
Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Peter Graubmann, Ekkart Rudolph |
MSC Connectors: The Philosopher's Stone. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
Message Sequence Charts (MSC), MSC Connector, Component Oriented Software Development, System Family Engineering, Interface Protocol, Component, Interface, Compositionality |
1 | Andreas Prinz 0001, Mario Schwarz |
Object-Oriented Specification of Protocols for Reusability. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Prinz 0001 |
SDL Time Extensions from a Semantic Point of View. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Amyot, Nikolai Mansurov, Gunter Mussbacher |
Understanding Existing Software with Use Case Map Scenarios. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tong Zheng 0002, Ferhat Khendek |
An Extension for MSC-2000 and Its Application. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible |
Micro Protocol Design: The SNMP Case Study. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Frank Rößler, Birgit Geppert, Reinhard Gotzhein |
CoSDL: An Experimental Language for Collaboration Specification. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Javier Colás, Jesús M. Pérez, Javier Poncela-González, José T. Entrambasaguas |
Implementation of UMTS Protocol Layers for the Radio Access Interface. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Susanne Graf |
Expression of Time and Duration Constraints in SDL. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell |
Automatic Generation of Conformance Tests from Message Sequence Charts. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener |
Techniques for Abstracting SDL Specifications. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Amyot, Gunter Mussbacher |
URN: Towards a New Standard for the Visual Description of Requirements. |
SAM |
2002 |
DBLP DOI BibTeX RDF |
|
1 | F. A. Meijs |
Connecting Message Sequence Charts. |
SAM |
2000 |
DBLP BibTeX RDF |
|
1 | Ketil Stølen, P. Mohn |
Experience from Using MSC, UML and SDL in the Development of the FAME Communication Manager. |
SAM |
2000 |
DBLP BibTeX RDF |
|
1 | Francis Bordeleau, Donald Cameron |
On the Relationship between use-case maps and Message Sequence Charts. |
SAM |
2000 |
DBLP BibTeX RDF |
|
1 | Stefan Bläsius, Stefan Karg, Josef Maier, Günther Kohler |
Development of SDL Based Software for an Embedded System - Practical Experience. |
SAM |
2000 |
DBLP BibTeX RDF |
|
1 | François Terrier, Sébastien Gérard |
Real Time System Modeling with UML: current status and some prospects. |
SAM |
2000 |
DBLP BibTeX RDF |
|
1 | Anca Muscholl, Doron A. Peled |
Analyzing Message Sequence Charts. |
SAM |
2000 |
DBLP BibTeX RDF |
|
1 | Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent |
SDL for Real-Time: What is Missing? |
SAM |
2000 |
DBLP BibTeX RDF |
|
1 | André Engels |
Design Decisions on Data and Guards in MSC2000. |
SAM |
2000 |
DBLP BibTeX RDF |
|
1 | Nikolai Mansurov, Dmitri Vasura |
Approximation of (H)MSC Semantics By Automata. |
SAM |
2000 |
DBLP BibTeX RDF |
|