20 Veröffentlichungen mit Beteiligung.
Um Ihnen das Referenzieren zu vereinfachen, können Sie eine .
| (554) |
Einer, S.: Szenarienspezifikation zur Systemverhaltensanalyse mit Petrinetzen. at - Automatisierungstechnik. 53(6), S. 261-272, 2005. ( Kurzfassung ) |
| (525) |
Einer, S.: STOP - Specification Technique of Operational Processes. In Ehrig, H., Hrsg.: Integration of Software Specification Techniques for Applications in Engineering. Bandnummer 3147 von Serie LNCS. Springer Verlag GmbH, S. 227-248, 2004. |
| (512) |
Einer, S.: Petrinetzbasierte Spezifikation und Analyse operationaler Prozesse am Beispiel Eisenbahnsicherung. Dissertation, Technische Universität Braunschweig, Institut für Verkehrssicherheit und Automatisierungstechnik, VDI Verlag Düsseldorf, 2003. ( Kurzfassung ) |
| (500) |
Schnieder, E.; Chouikha, M.; Einer, S.; Meyer zu Hörste, M.: BASYNET - An Integrated Approach for Automated Control System Developement. In Ehrig, H.; Reisig, W.; Rozenberg, G.; Weber, H., Hrsg.: Petri Net Technology for Communication-Based System. Springer Verlag, S. 352-362, 2003. ( Kurzfassung ) |
| (1237) |
Einer, S.; Schnieder, E.: Formale Technik zur Spezifikation von Betriebsverfahren. DFG SPP Softwarespezifikation, 2002. |
| (385) |
Einer, S.; Schrom, H.; Slovak, R.; Schnieder, E.: A Railway Demonstrator Model for Experimental Investigation of Integrated Specification Techniques. In: Ehrig, H.; Grosse-Rhode, M., Hrsg.: ETAPS 2002 - Integration of Software Specification Techniques, S. 84-93, Berlin, April 2002. TU Berlin, DFG. ( Kurzfassung ) |
| (1231) |
Einer, S.; Schrom, H.; Slovak, R.; Schnieder, E.: A Railway demonstrator model for experimental investigation of intergrated specification techniques. ETAPS, 2002. |
| (413) |
Einer, S.; Schrom, H.; Slovak, R.; Schnieder, E.: Experimental validation of train control systems by using a railway model. In: Allan, J.; Hill, R. J.; Brebbia, C. A.; Sciutto, G.; Sone, S., Hrsg.: Computers in Railways VIII, S. 925-934, Ashurst Lodge, Ashurst, Southampton, SO40 7AA, UK, 2002. 8th International Conference on Computer Aided Design, Manufacture and Operation in the Railway and Other Advanced Mass Transit Systems (COMPRAIL 2002), Lemnos, Greece, WITPRESS. ( Kurzfassung ) |
| (424) |
Slovak, R.; Einer, S.; Tomasov, P.: A Petri Net Based Method for Proof of Safety of Railway Operation Control System. Integrated Design and Process Technology, Juni 2002. IDPT-2002, USA, Society for Design and Process Science. ( Kurzfassung ) |
| (224) |
Einer, S.; Meyer zu Hörste, M.; Schnieder, E.: Potenziale "Formaler Methoden" für die Eisenbahnsicherung. Tagungsband des 8. Internationalen Symposiums Zel 2001, S. 145-156, Zilina, Mai 2001. Zilina/Slowakei 27.-29.05.2001. ( Kurzfassung ) |
| (358) |
Schnieder, E.; Bikker, G.; Chouikha, M.; Einer, S.; Meyer zu Hörste, M.: BASYSNET - An integrated Approach for automated Control System Design. In: Weber, H.; Ehrig, H.; Reisig, W., Hrsg.: 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, S. 163-170, Berlin, ''5 2001. Berlin, 14.-15.09.2001. ( Kurzfassung ) |
| (417) |
Chouikha, M.; Einer, S.; Meyer zu Hörste, M.; Schnieder, E.: Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen. In: Schnieder, E., Hrsg.: Forms 2000 - Formale Techniken für die Eisenbahnsicherung; VDI-Fortschrittbericht, Reihe 12, Nr. 441, S. 57-84, Düsseldorf, November 2000. Forms 2000/Braunschweig, 03.11.2000, VDI-Verlag. ( Kurzfassung ) |
| (321) |
Einer, S.: Bericht von der FORMS'99. Signal + Draht. 92(3), S. 34, März 2000. |
| (302) |
Einer, S.; Schnieder, E.: A Petri net based Modelling Approach for Operating Methods in Train Control Systems. Control Systems Design CSD 2000, 18.-20. Juni, S. 275-280, Juni 2000. Bratislava. ( Kurzfassung ) |
| (418) |
Einer, S.; Slovak, R.; Schnieder, E.: Modeling train control systems with Petrinets - an operational specification. In: IEEE, Hrsg.: Proceedings of the 2000 IEEE International Conference on Systems, Man & Cybernetics, S. 3207-3211, Nashville, USA, Oktober 2000. 2000 IEEE International Conference on Systems, Man & Cybernetics/ 08.-11.10.2000, Nashville, Omnipress. ( Kurzfassung ) |
| (307) |
Einer, S.; Slovak, R.; Schnieder, E.: Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme. In: VDI, Hrsg.: Sicherheit komplexer Verkehrssysteme 25.-26.05.00, S. 179-195, ''7 2000. Bonn. ( Kurzfassung ) |
| (373) |
Einer, S.; Slovak, R.; Schnieder, E.: Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnsysteme. Der Eisenbahningenieur. 51(10), S. 40-46, Oktober 2000. |
| (311) |
Einer, S.; Slovak, R.; Tomasov, P.; Schnieder, E.: Funktionale Entwurfspezifikation eines Eisenbahnsicherungssystems mit zeitbewerteten Petrinetzen (EDSPN). Tagungsband des 7. Internationalen Symposiums Zel 2000, S. 186-193, Zilina, ''7 2000. Zilina/Slovakei. ( Kurzfassung ) |
| (310) |
Einer, S.; Schnieder, E.: Formale Techniken für die Eisenbahnsicherungstechnik - Anforderungskatalog. Signal + Draht. 91(10), S. 38-42, Oktober 1999. |
| (419) |
Einer, S.; Schnieder, E.: Formale Techniken für die Eisenbahnsicherungstechnik - Anforderungskatalog. In: Schnieder, E., Hrsg.: Forms 99 - Formale Techniken für die Eisenbahnsicherung, S. 1-23, 1999. VDI Verlag. |